We should allow unset fields when `uninitializedThis` is in the stack, in addition to only checking locals, as a result of https://bugs.openjdk.org/browse/JDK-8375481.
Noticed that hotspot's verifier is not up-to-date with this spec; this patch therefore only fixes classfile API and javap and leaves classfile API's verifier and hotspot in place. --------- - [x] I confirm that I make this contribution in accordance with the [OpenJDK Interim AI Policy](https://openjdk.org/legal/ai). ------------- Commit messages: - unset field allowed for uninitThis on stack Changes: https://git.openjdk.org/jdk/pull/32224/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=32224&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8388319 Stats: 254 lines in 8 files changed: 223 ins; 11 del; 20 mod Patch: https://git.openjdk.org/jdk/pull/32224.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/32224/head:pull/32224 PR: https://git.openjdk.org/jdk/pull/32224
