[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/verifier.cpp line 2421:

> 2419:             ResourceMark rm(THREAD);
> 2420:             if (!current_frame->satisfy_unset_field(fd.name(), fd.signature())) {
> 2421:               log_info(verification)("Attempting to initialize field not found in initial stict instance fields: %s%s",

typo: stict -> strict

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

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