RFR: 8331854: ubsan: copy.hpp:218:10: runtime error: addition of unsigned offset to 0x7fc2b4024518 overflowed to 0x7fc2b4024510

[Matthias Baesken]

On Wed, 5 Jun 2024 07:41:51 GMT, Stefan Karlsson <stefank at openjdk.org> wrote:

> The inserted bail-out is placed just before the assert block. This makes the function have a different structure compared to the other functions that palace the invariant checks first. I prefer to keep code consistent.

Moved the check after the asserts.
A loop improvement can be done in a separate PR  (maybe another loop is more or less efficient, might need more testing) .

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

PR Comment: https://git.openjdk.org/jdk/pull/19541#issuecomment-2149133785