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

[Vicente Romero]

On Tue, 11 Mar 2025 19:50:38 GMT, Chen Liang <liach at openjdk.org> wrote:

>> Works for a basic case, running tests, need more tests to ensure other features added in this patch
>
> 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?

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

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