RFR: 8310275: Bug in assignment operator of ReservedMemoryRegion [v5]

Wed Aug 9 18:08:29 UTC 2023

On Wed, 9 Aug 2023 15:41:06 GMT, Ralf Schmelter <rschmelter at openjdk.org> wrote:

>> 8310275: Bug in assignment operator of ReservedMemoryRegion
>
> Ralf Schmelter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   We have to record the reserved memory by hand.

Happy to see a much improved test, thanks for the hard work.

LGTM.

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

Marked as reviewed by jsjolen (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/14440#pullrequestreview-1570253822