[lworld] RFR: 8373261: [lworld] VerifyError: Strict fields not a subset of initial strict instance fields [v2]

[Vicente Romero]

On Wed, 17 Dec 2025 13:56:45 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   addressing review comments
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Flow.java line 2122:
> 
>> 2120:             for (int i = firstadr; i < nextadr; i++) {
>> 2121:                 JCVariableDecl variableDecl = vardecls[i];
>> 2122:                 if (uninits.isMember(variableDecl.sym.adr) && variableDecl.sym.isStrict()) {
> 
> This could also be replaced with `uninints.isMember(i)` right?

sure, done

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

PR Review Comment: https://git.openjdk.org/valhalla/pull/1809#discussion_r2627758602