RFR: 8335395: G1: Verification does not detect references into Free regions

Tue Jul 2 08:53:18 UTC 2024

On Tue, 2 Jul 2024 08:14:44 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote:

> references into free regions were inadvertedly considered as live

Can you provide an running example to illustrate when/how this occurs? To me, `G1CollectedHeap::is_obj_dead` should have `!hs->free()` as precondition... How come the caller can hold such an invalid pointer?

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

PR Comment: https://git.openjdk.org/jdk/pull/19983#issuecomment-2202360413