Fix for KT-10729: Accessing private const field in companion object from a function in the same companion generates run-time error

compiler/backend/src/org/jetbrains/kotlin/codegen/ExpressionCodegen.java

@@ -2119,7 +2119,7 @@ public class ExpressionCodegen extends KtVisitor<StackValue, StackValue> impleme
 
         FieldAccessorKind fieldAccessorKind = FieldAccessorKind.NORMAL;
         boolean isBackingFieldInClassCompanion = JvmAbi.isPropertyWithBackingFieldInOuterClass(propertyDescriptor);
-        if (isBackingFieldInClassCompanion && forceField) {
+        if (isBackingFieldInClassCompanion && (forceField || propertyDescriptor.isConst() && Visibilities.isPrivate(propertyDescriptor.getVisibility()))) {
             fieldAccessorKind = FieldAccessorKind.IN_CLASS_COMPANION;
         }
         else if (syntheticBackingField && context.getFirstCrossInlineOrNonInlineContext().getParentContext().getContextDescriptor() != containingDeclaration) {

compiler/backend/src/org/jetbrains/kotlin/codegen/MemberCodegen.java

@@ -601,12 +601,13 @@ public abstract class MemberCodegen<T extends KtElement/* TODO: & JetDeclaration
                 @Override
                 public void doGenerateBody(@NotNull ExpressionCodegen codegen, @NotNull JvmMethodSignature signature) {
                     boolean syntheticBackingField = accessor instanceof AccessorForPropertyBackingFieldFromLocal;
-                    boolean forceField = (JvmAbi.isPropertyWithBackingFieldInOuterClass(original) &&
+                    boolean forceFieldForCompanionProperty = JvmAbi.isPropertyWithBackingFieldInOuterClass(original) &&
-                                          !isCompanionObject(accessor.getContainingDeclaration())) ||
+                                                             !isCompanionObject(accessor.getContainingDeclaration());
+                    boolean forceField = forceFieldForCompanionProperty ||
                                          syntheticBackingField ||
                                          original.getVisibility() == JavaVisibilities.PROTECTED_STATIC_VISIBILITY;
                     StackValue property = codegen.intermediateValueForProperty(
-                            original, forceField, syntheticBackingField, accessor.getSuperCallTarget(), true, StackValue.none()
+                            original, forceField, syntheticBackingField, accessor.getSuperCallTarget(), forceFieldForCompanionProperty, StackValue.none()
                     );
 
                     InstructionAdapter iv = codegen.v;

compiler/testData/codegen/box/properties/companionPrivateField.kt

@@ -0,0 +1,10 @@
+class My {
+    companion object {
+        private val my: String = "O"
+            get() = field + "K"
+
+        fun getValue() = my
+    }
+}
+
+fun box() = My.getValue()

compiler/testData/codegen/box/properties/companionPrivateFieldInsideLambda.kt

@@ -0,0 +1,10 @@
+class My {
+    companion object {
+        private val my: String = "O"
+            get() = { field }() + "K"
+
+        fun getValue() = my
+    }
+}
+
+fun box() = My.getValue()

compiler/testData/codegen/box/properties/kt10729.kt

@@ -0,0 +1,20 @@
+class IntentionsBundle {
+    companion object {
+        fun message(key: String): String {
+            return key + BUNDLE
+        }
+
+        fun message2(key: String): String {
+            return { key + BUNDLE }()
+        }
+
+        private const val BUNDLE = "K"
+    }
+}
+
+
+fun box(): String {
+    if (IntentionsBundle.message("O") != "OK") return "fail 1: ${IntentionsBundle.message("O")}"
+
+    return IntentionsBundle.message2("O")
+}

compiler/testData/codegen/boxInline/private/accessorForConst.1.kt

@@ -0,0 +1,5 @@
+import test.*
+
+fun box(): String {
+    return IntentionsBundle.message()
+}

compiler/testData/codegen/boxInline/private/accessorForConst.2.kt

@@ -0,0 +1,14 @@
+package test
+
+class IntentionsBundle {
+    companion object {
+        internal inline fun message(): String {
+            return KEY + BUNDLE
+        }
+
+        private const val BUNDLE = "K"
+        protected const val KEY = "O"
+    }
+}
+
+

compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxCodegenTestGenerated.java

@@ -6607,6 +6607,18 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
             doTest(fileName);
         }
 
+        @TestMetadata("companionPrivateField.kt")
+        public void testCompanionPrivateField() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/box/properties/companionPrivateField.kt");
+            doTest(fileName);
+        }
+
+        @TestMetadata("companionPrivateFieldInsideLambda.kt")
+        public void testCompanionPrivateFieldInsideLambda() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/box/properties/companionPrivateFieldInsideLambda.kt");
+            doTest(fileName);
+        }
+
         @TestMetadata("field.kt")
         public void testField() throws Exception {
             String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/box/properties/field.kt");
@@ -6655,6 +6667,12 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
             doTest(fileName);
         }
 
+        @TestMetadata("kt10729.kt")
+        public void testKt10729() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/box/properties/kt10729.kt");
+            doTest(fileName);
+        }
+
         @TestMetadata("kt1159.kt")
         public void testKt1159() throws Exception {
             String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/box/properties/kt1159.kt");

compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxInlineCodegenTestGenerated.java

@@ -1308,6 +1308,12 @@ public class BlackBoxInlineCodegenTestGenerated extends AbstractBlackBoxInlineCo
     @TestDataPath("$PROJECT_ROOT")
     @RunWith(JUnit3RunnerWithInners.class)
     public static class Private extends AbstractBlackBoxInlineCodegenTest {
+        @TestMetadata("accessorForConst.1.kt")
+        public void testAccessorForConst() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/boxInline/private/accessorForConst.1.kt");
+            doTestMultiFileWithInlineCheck(fileName);
+        }
+
         @TestMetadata("accessorStability.1.kt")
         public void testAccessorStability() throws Exception {
             String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/boxInline/private/accessorStability.1.kt");

compiler/tests/org/jetbrains/kotlin/jvm/compiler/CompileKotlinAgainstInlineKotlinTestGenerated.java

@@ -1308,6 +1308,12 @@ public class CompileKotlinAgainstInlineKotlinTestGenerated extends AbstractCompi
     @TestDataPath("$PROJECT_ROOT")
     @RunWith(JUnit3RunnerWithInners.class)
     public static class Private extends AbstractCompileKotlinAgainstInlineKotlinTest {
+        @TestMetadata("accessorForConst.1.kt")
+        public void testAccessorForConst() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/boxInline/private/accessorForConst.1.kt");
+            doBoxTestWithInlineCheck(fileName);
+        }
+
         @TestMetadata("accessorStability.1.kt")
         public void testAccessorStability() throws Exception {
             String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/boxInline/private/accessorStability.1.kt");