[lworld] RFR: 8371356: [lworld] 'super' should be rejected in early construction context

Vicente Romero vromero at openjdk.org
Mon Nov 17 13:58:52 UTC 2025


There is a bug in the algo to determine what is kosher and what is not in early construction contexts. The algo was not analyzing any static symbol. But according to the `JLS 25 15.11.2 Accessing Superclass Members using super`:


It is a compile-time error if a field access expression using the keyword super
occurs in a static context (§8.1.3) or in an early construction context (§8.8.7) of
the current class.

the previous code was checking this only for instance field accesses. The current fix corrects this bug

TIA

-------------

Commit messages:
 - 8371356: [lworld] 'super' should be rejected in early construction context

Changes: https://git.openjdk.org/valhalla/pull/1740/files
  Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=1740&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8371356
  Stats: 47 lines in 5 files changed: 46 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/valhalla/pull/1740.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1740/head:pull/1740

PR: https://git.openjdk.org/valhalla/pull/1740


More information about the valhalla-dev mailing list