RFR: 8275277: assert(dest_attr.is_in_cset() == (obj->forwardee() == obj)) failed: Only evac-failed objects must be in the collection set here but <addr> is not

[Roman Kennke]

On Fri, 15 Oct 2021 10:12:56 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote:

> Hi all,
> 
>   can I have reviews for this fix of an incomplete assert?
> 
> When checking whether the forwardee equals the object, we first need to check whether the object is already forwarded, otherwise we might get false positives. See CR for more details (example).
> 
> Testing: gha, failing tests do not fail after 2k repetitions
> 
> Thanks,
>   Thomas

I've stumbled over the same thing, and came up with same solution. Looks good!

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

Marked as reviewed by rkennke (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/5965