[lworld] RFR: 8351441: [lworld] ClassFile API support generating stack maps for strict field assignment [v6]

[Chen Liang]

On Tue, 11 Mar 2025 23:38:56 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> Chen Liang has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains 10 additional commits since the last revision:
>> 
>>  - Merge branch 'lworld' of https://github.com/openjdk/valhalla into feature/cf-strict
>>  - Fix flow merge checks
>>  - wip loop work
>>  - Move test to classfile
>>  - Should check array mismatch instead of just frames (can have backward jumps)
>>  - Years
>>  - Add a cache for strict field check
>>  - Fix field transformation that add strict flag
>>  - Further optimize impl, complete tests
>>  - 8351441: [lworld] ClassFile API support generating stack maps for strict field assignment
>
> src/java.base/share/classes/jdk/internal/classfile/impl/StackMapGenerator.java line 1258:
> 
>> 1256: 
>> 1257:         // Merge this frame's unset fields into the target frame
>> 1258:         private void mergeUnsetFields(Frame target) {
> 
> what test case is stressing this code?

allowMultiAssignTest

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

PR Review Comment: https://git.openjdk.org/valhalla/pull/1392#discussion_r1990311630