RFR: 8356865: C2: Unreasonable values for debug flag FastAllocateSizeLimit can lead to left-shift-overflow, which is UB [v4]

Benoît Maillard bmaillard at openjdk.org
Mon Jun 23 07:09:15 UTC 2025


> This PR adds a range constraint for the `-XX:FastAllocateSizeLimit` debug flag. This prevents undefined behavior caused by left-shift overflow of the flag value in `GraphKit::new_array`.
> 
> ### Testing
> - [x] [GitHub Actions](https://github.com/benoitmaillard/jdk/actions?query=branch%3AJDK-8356865)
> - [x] tier1-3, plus some internal testing
> - [x] Manual testing with values known to previously cause undefined behavior
> 
> Thanks!

Benoît Maillard has updated the pull request incrementally with one additional commit since the last revision:

  8356865: Add comment for range in test

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/25834/files
  - new: https://git.openjdk.org/jdk/pull/25834/files/97f52b45..8241b218

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=25834&range=03
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=25834&range=02-03

  Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/jdk/pull/25834.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/25834/head:pull/25834

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


More information about the hotspot-dev mailing list