commit 8edc10c00734bbd850aedf7db4ea6c7a147f7ff6
author Christoffer Adamsen <christofferqa@google.com> Mon Mar 10 12:30:43 2025 +0100
committer Christoffer Adamsen <christofferqa@google.com> Tue Mar 11 00:25:55 2025 -0700
tree 746286b718607d2546f03fca27625e4768bb2395
parent 4f44b342e88efd1449156f13885838f7d71d353c

Reproduce R8 desugar bug when Record is only referenced from code

Bug: b/193004879
Change-Id: If21ae9294891d19f03f5af2b7de1c5366bcbcb0e

src/main/java/com/android/tools/r8/profile/rewriting/ProfileRewritingCfInstructionDesugaringEventConsumer.java

diff --git a/src/main/java/com/android/tools/r8/profile/rewriting/ProfileRewritingCfInstructionDesugaringEventConsumer.java b/src/main/java/com/android/tools/r8/profile/rewriting/ProfileRewritingCfInstructionDesugaringEventConsumer.java
index 4992198..8007796 100644
--- a/src/main/java/com/android/tools/r8/profile/rewriting/ProfileRewritingCfInstructionDesugaringEventConsumer.java
+++ b/src/main/java/com/android/tools/r8/profile/rewriting/ProfileRewritingCfInstructionDesugaringEventConsumer.java
@@ -360,6 +360,8 @@
 
   @Override
   public void acceptRecordClassContext(DexProgramClass recordTagClass, ProgramMethod context) {
+    additionsCollection.addMethodAndHolderIfContextIsInProfile(
+        recordTagClass.getProgramDefaultInitializer(), context);
     parent.acceptRecordClassContext(recordTagClass, context);
   }
 

src/test/examplesJava17/records/RecordOnlyReferencedFromCodeTest.java

diff --git a/src/test/examplesJava17/records/RecordOnlyReferencedFromCodeTest.java b/src/test/examplesJava17/records/RecordOnlyReferencedFromCodeTest.java
new file mode 100644
index 0000000..8219729
--- /dev/null
+++ b/src/test/examplesJava17/records/RecordOnlyReferencedFromCodeTest.java
@@ -0,0 +1,69 @@
+// Copyright (c) 2025, the R8 project authors. Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+package records;
+
+import com.android.tools.r8.TestBase;
+import com.android.tools.r8.TestParameters;
+import com.android.tools.r8.TestParametersCollection;
+import com.android.tools.r8.ToolHelper;
+import com.android.tools.r8.utils.AndroidApiLevel;
+import org.junit.Test;
+import org.junit.runner.RunWith;
+import org.junit.runners.Parameterized;
+import org.junit.runners.Parameterized.Parameter;
+import org.junit.runners.Parameterized.Parameters;
+
+@RunWith(Parameterized.class)
+public class RecordOnlyReferencedFromCodeTest extends TestBase {
+
+  @Parameter(0)
+  public TestParameters parameters;
+
+  @Parameters(name = "{0}")
+  public static TestParametersCollection data() {
+    return getTestParameters().withDexRuntimesAndAllApiLevels().build();
+  }
+
+  @Test
+  public void testD8() throws Exception {
+    testForD8()
+        .addInnerClassesAndStrippedOuter(getClass())
+        .addLibraryFiles(ToolHelper.getMostRecentAndroidJar())
+        .release()
+        .setMinApi(parameters)
+        .run(parameters.getRuntime(), Main.class)
+        .assertSuccessWithOutputLines("false");
+  }
+
+  @Test
+  public void testR8() throws Exception {
+    testForR8(parameters.getBackend())
+        .addInnerClassesAndStrippedOuter(getClass())
+        .addLibraryFiles(ToolHelper.getMostRecentAndroidJar())
+        .addKeepMainRule(Main.class)
+        .addDontOptimize()
+        .setMinApi(parameters)
+        .compile()
+        .run(parameters.getRuntime(), Main.class)
+        .applyIf(
+            parameters.getApiLevel().isGreaterThanOrEqualTo(AndroidApiLevel.V),
+            rr -> rr.assertSuccessWithOutputLines("false"),
+            rr ->
+                rr.assertFailureWithErrorThatThrows(
+                    parameters.getDexRuntimeVersion().isDalvik()
+                        ? NoClassDefFoundError.class
+                        : ClassNotFoundException.class));
+  }
+
+  static class Main {
+
+    public static void main(String[] args) {
+      System.out.println(isRecord(args));
+    }
+
+    static boolean isRecord(Object o) {
+      return o instanceof java.lang.Record;
+    }
+  }
+}