[lworld] RFR: 8349945: Implement strict static fields (proposed JVM feature) [v5]

[Chen Liang]

On Fri, 6 Jun 2025 16:50:27 GMT, Matias Saavedra Silva <matsaave at openjdk.org> wrote:

>> This patch enables and implements verification for fields with the ACC_STATIC and ACC_STRICT modifiers. To enforce strictness on static fields, the reads and writes on the field are tracked dynamically to ensure that the field is written before being read and written to before.
>
> Matias Saavedra Silva has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 11 commits:
> 
>  - Problem listed test again
>  - Fixed path in problem list and adjusted jasm test
>  - Merge branch 'lworld' into implement_strict_statics_8349945
>  - Moved exception to guarantee and Chen comment
>  - Merge branch 'lworld' into implement_strict_statics_8349945
>  - Dan comments and new test case
>  - Chen and Dan comments and cleanup
>  - Copyrights
>  - Added reflective tests and problem listed test
>  - Added tests
>  - ... and 1 more: https://git.openjdk.org/valhalla/compare/c9a58a84...8631c3c0

test/hotspot/jtreg/ProblemList.txt line 134:

> 132: runtime/valhalla/inlinetypes/CircularityTest.java 8349037 generic-all
> 133: runtime/valhalla/inlinetypes/verifier/StrictInstanceFieldsTest.java 8357141 generic-all
> 134: runtime/valhalla/inlinetypes/verifier/StrictStaticFieldsTest.java 8357141 generic-all

8357141 is now closed. We might need a dedicated new issue to re-enable these tests.

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

PR Review Comment: https://git.openjdk.org/valhalla/pull/1465#discussion_r2133168418