Integrated: 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

[Thomas Schatzl]

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

This pull request has now been integrated.

Changeset: bfcf6a29
Author:    Thomas Schatzl <tschatzl at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/bfcf6a29a16bc12d77a897fbec304868957c3188
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

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

Reviewed-by: ayang, rkennke

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

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