8371382: [lworld] Javac accepts field initializer that refers to a superclass field

src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java

@@ -1642,13 +1642,13 @@ public void visitVarDef(JCVariableDecl tree) {
             chk.checkDeprecatedAnnotation(tree.pos(), v);
 
             if (tree.init != null) {
+                Env<AttrContext> initEnv = memberEnter.initEnv(tree, env);
                 if ((v.flags_field & FINAL) == 0 ||
                     !memberEnter.needsLazyConstValue(tree.init)) {
                     // Not a compile-time constant
                     // Attribute initializer in a new environment
                     // with the declared variable as owner.
                     // Check that initializer conforms to variable's declared type.
-                    Env<AttrContext> initEnv = memberEnter.initEnv(tree, env);
                     initEnv.info.lint = lint;
                     // In order to catch self-references, we set the variable's
                     // declaration position to maximal possible value, effectively
@@ -1665,16 +1665,16 @@ public void visitVarDef(JCVariableDecl tree) {
                             //fixup local variable type
                             v.type = chk.checkLocalVarType(tree, tree.init.type, tree.name);
                         }
-                        if (allowValueClasses && v.owner.kind == TYP && !v.isStatic()) {
-                            // strict field initializers are inlined in constructor's prologues
-                            CtorPrologueVisitor ctorPrologueVisitor = new CtorPrologueVisitor(initEnv,
-                                    !v.isStrict() ? PrologueVisitorMode.WARNINGS_ONLY : PrologueVisitorMode.SUPER_CONSTRUCTOR);
-                            ctorPrologueVisitor.scan(tree.init);
-                        }
                     } finally {
                         initEnv.info.ctorPrologue = previousCtorPrologue;
                     }
                 }
+                if (allowValueClasses && v.owner.kind == TYP && !v.isStatic()) {
+                    // strict field initializers are inlined in constructor's prologues
+                    CtorPrologueVisitor ctorPrologueVisitor = new CtorPrologueVisitor(initEnv,
+                            !v.isStrict() ? PrologueVisitorMode.WARNINGS_ONLY : PrologueVisitorMode.SUPER_CONSTRUCTOR);
+                    ctorPrologueVisitor.scan(tree.init);
+                }
                 if (tree.isImplicitlyTyped()) {
                     setSyntheticVariableType(tree, v.type);
                 }

test/langtools/tools/javac/SuperInit/ValueClassSuperInitFails.java

@@ -7,9 +7,9 @@
  */
 import java.util.function.Function;
 abstract value class AR<V> implements java.io.Serializable {
+    int b = 5;
     public AR(V initialValue) {
     }
-
     public AR() {
     }
 }
@@ -178,4 +178,8 @@ public ValueClassSuperInitFails(int[][] z) {
     public ValueClassSuperInitFails(long[][] z) {
         super(new Inner1());            // this should FAIL
     }
+
+    // these two should FAIL
+    int a = b;
+    int aa = super.b;
 }

test/langtools/tools/javac/SuperInit/ValueClassSuperInitFails.out

@@ -14,6 +14,8 @@ ValueClassSuperInitFails.java:148:9: compiler.err.non.canonical.constructor.invo
 ValueClassSuperInitFails.java:161:46: compiler.err.cant.ref.before.ctor.called: hashCode()
 ValueClassSuperInitFails.java:175:49: compiler.err.cant.ref.before.ctor.called: x
 ValueClassSuperInitFails.java:179:15: compiler.err.cant.ref.before.ctor.called: ValueClassSuperInitFails
+ValueClassSuperInitFails.java:183:13: compiler.err.cant.ref.before.ctor.called: b
+ValueClassSuperInitFails.java:184:19: compiler.err.cant.ref.before.ctor.called: b
 ValueClassSuperInitFails.java:43:13: compiler.err.call.must.only.appear.in.ctor
 ValueClassSuperInitFails.java:47:14: compiler.err.call.must.only.appear.in.ctor
 ValueClassSuperInitFails.java:51:14: compiler.err.call.must.only.appear.in.ctor
@@ -25,4 +27,4 @@ ValueClassSuperInitFails.java:99:13: compiler.err.return.before.superclass.initi
 ValueClassSuperInitFails.java:170:18: compiler.err.call.must.only.appear.in.ctor
 - compiler.note.preview.filename: ValueClassSuperInitFails.java, DEFAULT
 - compiler.note.preview.recompile
-25 errors
+27 errors