RFR: 8352724: Verify bounds for primitive array reads in JVMCI [v2]

Andrej Pečimúth duke at openjdk.org
Mon Apr 14 14:32:52 UTC 2025


> This PR adds a bounds check for primitive array reads in JVMCI. When a JVMCI compiler attempts to read after the last array element (from the padding of the allocated object), JVMCI should throw an exception instead of returning a garbage value. The check added in this PR handles both primitive and object reads.

Andrej Pečimúth has updated the pull request incrementally with one additional commit since the last revision:

  Test reads after last array element in JVMCI.

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/24200/files
  - new: https://git.openjdk.org/jdk/pull/24200/files/1bfeb512..7475f468

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=24200&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=24200&range=00-01

  Stats: 28 lines in 1 file changed: 22 ins; 4 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/24200.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/24200/head:pull/24200

PR: https://git.openjdk.org/jdk/pull/24200


More information about the graal-dev mailing list