RFR: 8346916: [REDO] align_up has potential overflow [v7]

[Albert Mingkun Yang]

On Wed, 5 Mar 2025 13:21:09 GMT, Casper Norrbin <cnorrbin at openjdk.org> wrote:

> try to expand instead of aborting.

Did the previous version abort? I thought the logic is essentially:


if (remaining == 0) {
  return;
}

aligned_bytes = align_up(min2(bytes, remaining), alignment).


The below `if (aligned_bytes == 0) { ` should not be reachable any more, since align-up-overflow can't occur.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/23711#discussion_r1981423472