IssueTracker

Versions

• r8 version: R8 main (build engineering)
• art version: ART version 2.1.0 x86_64
• java version: 17.0.10

Description

When processing jar files to generate dex files using D8 and R8 respectively, the resulting dex files behave inconsistently during execution. The dex file generated by R8 crashes upon execution, while the one generated by D8 does not. We suspect this is an issue with R8.

Step to Reproduce

1. javac -source 8 -target 8 -cp . Test.java
2. jar cvf classes.jar ./*.class
3. java -cp r8.jar com.android.tools.r8.D8 --output ./ ./classes.jar
4. env ANDROID_LOG_TAGS=*:f ANDROID_DATA=./ /path/to/art --64 --no-compile -cp ./classes.dex Test > result_d8
5. java -cp ${R8} com.android.tools.r8.R8 --pg-conf rules.pro --release --output ./ ./classes.jar
6. env ANDROID_LOG_TAGS=*:f ANDROID_DATA=./ /path/to/art --64 --no-compile -cp ./classes.dex Test > result_r8

Expected Result(D8 result)

over

Actual Result(R8 result)

Unable to find static main(String[]) in 'Test'
java.lang.VerifyError: Verifier rejected class Test: void Test.main(java.lang.String[]) failed to verify: void Test.main(java.lang.String[]): [0x15] register v0 has type Undefined but expected Precise Reference: java.lang.String (declaration of 'Test' appears in /data/proj/reduce/./classes.dex)
Exception in thread "main" java.lang.VerifyError: Verifier rejected class Test: void Test.main(java.lang.String[]) failed to verify: void Test.main(java.lang.String[]): [0x15] register v0 has type Undefined but expected Precise Reference: java.lang.String (declaration of 'Test' appears in /data/proj/reduce/./classes.dex)

Testcase Source Code

class Test {
  void mainTest() {
    int i2 = 171;
    String s3 = "sssssssssssssssssssss";
    String s2 = "s";
    String[][] ss = { { "s" } };
    for (int i = -6; i < 6; i += 1) {
      s2 = s2 + s3;
      try {
        if (ss[i2] == null) {
        }
      } catch (Throwable e) {
      }
    }
  }

  public static void main(String[] strArr) {
    Test _instance = new Test();
    _instance.mainTest();
    System.out.println("over");
  }
}

rules.pro

-injars classes.jar
-libraryjars android.jar
-keep class Test { public main(java.lang.String[]); }