IssueTracker

Versions

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

Description

After processing the testcase source code with R8, we used JADX for decompilation and obtained the following result, which is clearly different in semantics and output from the original source code. Comparing the JADX parsing results with the source code, it is the error that eliminates one assignment of test.a, which may due to redundant store elimination. We also conducted some tests using D8 instead of R8, and no similar issues occurred, so it can be confirmed that the problem lies with R8.

package defpackage;

/* loaded from: classes.dex */
class Test {
    public static void main(String[] strArr) {
        for (int i = 0; i < 10; i++) {
        }
        System.out.println(1);
    }
}

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.R8 --pg-conf proguard.pro --release --output ./ ./classes.jar
4. env ANDROID_LOG_TAGS=*:f ANDROID_DATA=./ /path/to/art --64 --no-compile -cp ./classes.dex Test > result_1

Expected Result

7

Actual Result

1

Testcase Source Code

class Test {
    public static void main(String[] args) {
        int d = 1;
        for (int g = 0; g < 10; g++)
            d = 7;
        d >>>= 32;
        System.out.println(d);
    }
}