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

[Matias Saavedra Silva]

On Tue, 20 May 2025 22:15:29 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.

This pull request has now been integrated.

Changeset: f4bd868c
Author:    Matias Saavedra Silva <matsaave at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/f4bd868c54bcfadf621dd59d441a1a8870e30fed
Stats:     1123 lines in 34 files changed: 1096 ins; 0 del; 27 mod

8349945: Implement strict static fields (proposed JVM feature)

Co-authored-by: John R Rose <jrose at openjdk.org>
Reviewed-by: heidinga, liach, fparain

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

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