On Fri, 29 May 2026 16:31:35 GMT, Vicente Romero <[email protected]> wrote:
>> src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Code.java line 1070:
>>
>>> 1068: field.owner == meth.owner &&
>>> 1069: state.peek().hasTag(UNINITIALIZED_THIS)) {
>>> 1070: state.unsetStrict.excl(field.adr);
>>
>> This is where all the magic happens -- if we see a putfield targeting a
>> strict instance field of this class and the "receiver" is uninitialized, we
>> transition that field to "init".
>
> clever
This actually much resemble the stack map generation of classfile api 👍
-------------
PR Review Comment:
https://git.openjdk.org/valhalla/pull/2487#discussion_r3325828498
