RFR: 8256401: ZGC: Improve ZList verification [v2]

Mon Nov 16 20:06:05 UTC 2020

On Mon, 16 Nov 2020 19:53:18 GMT, Per Liden <pliden at openjdk.org> wrote:

>> src/hotspot/share/gc/z/zList.inline.hpp line 57:
>> 
>>> 55:   assert(_next == this, "Should not be in a list");
>>> 56:   assert(_prev == this, "Should not be in a list");
>>> 57:   verify_links();
>> 
>> If this node is not linked, why still "verify_links"?
>
> The call to `verify_links()` is a bit superfluous here, since `_next == this && _prev == this` implies `_next->_prev == this && _prev->_next == this`. I can remove it.

Thank you.

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

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