[lworld] Integrated: 8366743: [lworld]: Verifier adjustments for operations on 'uninitialized'

[Matias Saavedra Silva]

On Wed, 10 Sep 2025 22:17:45 GMT, Matias Saavedra Silva <matsaave at openjdk.org> wrote:

> The updated spec places more restrictions on the use of uninitialized and uninitializedThis with certain bytecodes. Those spec changes are implemented with this patch and tested with a new set of tests. Verified with the new test as well as tiers 1-5.

This pull request has now been integrated.

Changeset: 9a952beb
Author:    Matias Saavedra Silva <matsaave at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/9a952beb1a3fc1c9eb87afa14c9e06ea23499b4c
Stats:     467 lines in 13 files changed: 459 ins; 3 del; 5 mod

8366743: [lworld]: Verifier adjustments for operations on 'uninitialized'

Co-authored-by: Chen Liang <liach at openjdk.org>
Reviewed-by: fparain

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

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