-
Bug
-
Resolution: Unresolved
-
P4
-
repo-valhalla
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
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
- relates to
-
JDK-8343846 [lworld] implement spec changes to stack map tables
-
- Resolved
-
-
JDK-8351441 [lworld] ClassFile API support generating stack maps for strict field assignment
-
- Resolved
-