[lworld] RFR: 8343846: [lworld] implement spec changes to stack map tables

[Frederic Parain]

On Fri, 21 Feb 2025 20:10:39 GMT, Matias Saavedra Silva <matsaave at openjdk.org> wrote:

> This patch implements the spec changes needed to realize the ACC_STRICT flag. See the JBS issue for more details. 
> 
> The patch is divided across 3 major commits:
> 1. VM changes for asserting that strict fields are initialized before the super constructor is called
> 2. Javac changes for generating the stack map table entries
> 3. Test
> 
> Verified with tier 1-3 tests

src/hotspot/share/classfile/stackMapTable.cpp line 275:

> 273:       _prev_frame->verifier()->verify_error(
> 274:         ErrorContext::bad_strict_fields(_prev_frame->offset(), _prev_frame),
> 275:         "Cannot have uninitialzied strict fields after class initialization");

typo: uninitialzied -> uninitialized

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

PR Review Comment: https://git.openjdk.org/valhalla/pull/1373#discussion_r1973616461