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

[Albert Mingkun Yang]

On Tue, 2 Jul 2024 10:30:58 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote:

> I am open to changing the check in is_obj_dead to an assert, making this explicit, and handling this in the LiveChecker/verification code to (effectively) print a nice failure message.

I think that's better, as it isolates real code from verification logic.

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

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