[CLI] New config parameter to enable nested IR element offsets checks

^KT-81475

Author: ddolovov

compiler/config/configuration-keys-generator/src/org/jetbrains/kotlin/config/keys/generator/CommonConfigurationKeysContainer.kt

@@ -58,6 +58,8 @@ object CommonConfigurationKeysContainer : KeysContainer("org.jetbrains.kotlin.co
     val VERIFY_IR by key<IrVerificationMode>("IR verification mode")
     val ENABLE_IR_VISIBILITY_CHECKS by key<Boolean>("Check pre-lowering IR for visibility violations")
     val ENABLE_IR_VARARG_TYPES_CHECKS by key<Boolean>("Check IR for vararg types mismatches")
+    val ENABLE_IR_NESTED_OFFSETS_CHECKS by key<Boolean>("Check that offsets of nested IR elements conform to offsets of their containers")
+
     val PHASE_CONFIG by key<PhaseConfig>("phase configuration")
 
     val DONT_CREATE_SEPARATE_SESSION_FOR_SCRIPTS by key<Boolean>(

compiler/config/gen/org/jetbrains/kotlin/config/CommonConfigurationKeys.kt

@@ -110,6 +110,9 @@ object CommonConfigurationKeys {
     @JvmField
     val ENABLE_IR_VARARG_TYPES_CHECKS = CompilerConfigurationKey.create<Boolean>("Check IR for vararg types mismatches")
 
+    @JvmField
+    val ENABLE_IR_NESTED_OFFSETS_CHECKS = CompilerConfigurationKey.create<Boolean>("Check that offsets of nested IR elements conform to offsets of their containers")
+
     @JvmField
     val PHASE_CONFIG = CompilerConfigurationKey.create<PhaseConfig>("phase configuration")
 
@@ -249,6 +252,10 @@ var CompilerConfiguration.enableIrVarargTypesChecks: Boolean
     get() = getBoolean(CommonConfigurationKeys.ENABLE_IR_VARARG_TYPES_CHECKS)
     set(value) { put(CommonConfigurationKeys.ENABLE_IR_VARARG_TYPES_CHECKS, value) }
 
+var CompilerConfiguration.enableIrNestedOffsetsChecks: Boolean
+    get() = getBoolean(CommonConfigurationKeys.ENABLE_IR_NESTED_OFFSETS_CHECKS)
+    set(value) { put(CommonConfigurationKeys.ENABLE_IR_NESTED_OFFSETS_CHECKS, value) }
+
 var CompilerConfiguration.phaseConfig: PhaseConfig?
     get() = get(CommonConfigurationKeys.PHASE_CONFIG)
     set(value) { put(CommonConfigurationKeys.PHASE_CONFIG, requireNotNull(value) { "nullable values are not allowed" }) }