[lworld] RFR: 8349945: Implement strict static fields (proposed JVM feature) [v2]
Matias Saavedra Silva
matsaave at openjdk.org
Fri May 23 19:15:08 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 incrementally with two additional commits since the last revision:
- Copyrights
- Added reflective tests and problem listed test
-------------
Changes:
- all: https://git.openjdk.org/valhalla/pull/1465/files
- new: https://git.openjdk.org/valhalla/pull/1465/files/81a6f5a4..fefad149
Webrevs:
- full: https://webrevs.openjdk.org/?repo=valhalla&pr=1465&range=01
- incr: https://webrevs.openjdk.org/?repo=valhalla&pr=1465&range=00-01
Stats: 207 lines in 5 files changed: 204 ins; 0 del; 3 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