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

[Frederic Parain]

On Thu, 11 Sep 2025 18:06:33 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.
>
> Matias Saavedra Silva has updated the pull request incrementally with two additional commits since the last revision:
> 
>  - Merge commit 'refs/pull/1566/head' of github.com:openjdk/valhalla into uninit_implementation_8366271
>  - Added fix and tests for old verifier

HotSpot changes and tests look good to me.

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

Marked as reviewed by fparain (Committer).

PR Review: https://git.openjdk.org/valhalla/pull/1566#pullrequestreview-3218550849