On Wed, 19 Aug 2026 22:02:56 GMT, Matias Saavedra Silva <[email protected]> 
wrote:

> Early_larval frames can only apply to frames with the uninitializeThis flag 
> set, however, this rule was not properly being enforced. Instead, the 
> verifier looked at the state of uninitializedThis for the previous frame, so 
> this patch moves this check until after the nested frame has been parsed. 
> Verified with a new regresson test case and tier 1-5 tests.
> 
> ---------
> - [x] I confirm that I make this contribution in accordance with the [OpenJDK 
> Interim AI Policy](https://openjdk.org/legal/ai).

This pull request has now been integrated.

Changeset: bb137952
Author:    Matias Saavedra Silva <[email protected]>
URL:       
https://git.openjdk.org/jdk/commit/bb137952badea6c88b98eb956cd38de62978ab0d
Stats:     549 lines in 16 files changed: 403 ins; 70 del; 76 mod

8390256: JEP 539: Verifier accepts early_larval_frame whose wrapped base has no 
uninitializedThis

Reviewed-by: heidinga, coleenp, fparain

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

PR: https://git.openjdk.org/jdk/pull/32459

Reply via email to