JDK-8351898 : [lworld] javac is generating superfluous assert_unset_fields frame
  • Type: Bug
  • Component: tools
  • Sub-Component: javac
  • Affected Version: repo-valhalla
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2025-03-13
  • Updated: 2025-03-17
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
Other
repo-valhallaUnresolved
Related Reports
Relates :  
Relates :  
Description
javac is generating a superfluous assert_strict_fields frame for code like:

import jdk.internal.vm.annotation.Strict;

class Test {
    @Strict
    int fs;
    @Strict
    int fsf;

    Test(boolean cond) {
        if (cond) {
            fs = 3;
        } else {
            fsf = 2;
        }
        fs = 5;
        fsf = 12;
        super();
    }
}

after the `if` statement ends both fs and fsf are not DA