Cannot use option "VerifyLoopOptimizations" without error.

Option -XX:+VerifyLoopOptimizations will render massive/numerous failures in the test-suite (or any run-test).

Not only does verify() fail, it also fails to report the failure, as in this sample:

Mismatched loop setting for:  3	Start	===  3  0  [[ 3  5  6  7  8  9  10 ]]  #{0:control, 1:abIO, 2:memory, 3:rawptr:BotPTR, 4:return_address, 5:java/util/ImmutableCollections$SetN$SetNIterator:NotNull:exact *}
We have it as: Loop: N0/N0  has_sfpt
Verify thinks: #
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007f82d2efb517, pid=10874, tid=10886
#
# JRE version: Java(TM) SE Runtime Environment (12.0) (fastdebug build 12-internal+0-2018-12-13-1543443.phedlin.null)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 12-internal+0-2018-12-13-1543443.phedlin.null, mixed mode, sharing, tiered, compressed oops, g1 gc, linux-amd64)
# Problematic frame:
# V  [libjvm.so+0x123e517]  Node::in(unsigned int) const [clone .isra.43] [clone .constprop.257]+0x7
#
. . .