G1RSLogCheckCardTable is defined as a development command line argument in g1_globals.hpp, with a default value of false. It is used in one place, in G1RemSet::updateRS(), to control whether to perform an additional invariant check. However, there is a comment in the code indicating that the invariant no longer holds, making the check invalid. And a simple test shows that comment to be correct. The code in question, including the comment that it doesn't work, goes all the way back to G1's initial integration into the hotspot mercurial repository, so it seems it has never been possible to enable this CLA.

Rather than attempting to invent some new invariant to check under the control of this CLA, the controlled code and the associated CLA should be removed.