RFR: 8339242: Fix overflow issues in AdlArena [v3]

[Casper Norrbin]

> Hi everyone,
> 
> This PR addresses an issue in `adlArena` where some allocations lack checks for overflow. This could potentially result in successful allocations when called with unrealistic values.
> 
> The fix includes:
> 
> - Adding assertions to check for potential overflow.
> - Reordering some operations to guard against overflow.

Casper Norrbin has updated the pull request incrementally with one additional commit since the last revision:

  saturated pointer adds + size asserts

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/20774/files
  - new: https://git.openjdk.org/jdk/pull/20774/files/cf0b4348..b30f188c

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

  Stats: 36 lines in 4 files changed: 20 ins; 0 del; 16 mod
  Patch: https://git.openjdk.org/jdk/pull/20774.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/20774/head:pull/20774

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