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

Matias Saavedra Silva matsaave at openjdk.org
Thu May 29 17:02:48 UTC 2025


> 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 seven commits:

 - 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
 - 8349945: Implement strict static fields (proposed JVM feature)

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

Changes: https://git.openjdk.org/valhalla/pull/1465/files
  Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=1465&range=03
  Stats: 1139 lines in 35 files changed: 1113 ins; 0 del; 26 mod
  Patch: https://git.openjdk.org/valhalla/pull/1465.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1465/head:pull/1465

PR: https://git.openjdk.org/valhalla/pull/1465


More information about the valhalla-dev mailing list