C2: assert(!had_error) failed: bad dominance

The attached fuzzer test fails starts to fail after JDK-8259609 (just reveals an existing bug, see comments) with the following assertion:

To reproduce:
$ java -Xcomp -XX:CompileOnly=Test Test.java
$ java -Xcomp -XX:CompileOnly=Reduced Reduced.java

#
# A fatal error has been detected by the Java Runtime Environment:
#
# Internal Error (/opt/mach5/mesos/work_dir/slaves/ff806ead-2cac-495d-9cbc-62116f99bf14-S13969/frameworks/1735e8a2-a1db-478c-8104-60c8b0af87dd-0196/executors/7ba0f8d2-063a-4d17-9102-79bc486a843e/runs/cd3aa16d-01e2-42b3-89ad-9b0251a5fc3b/workspace/open/src/hotspot/share/opto/loopnode.cpp:5287), pid=23515, tid=23528
# assert(!had_error) failed: bad dominance
#
# JRE version: Java(TM) SE Runtime Environment (18.0+32) (fastdebug build 18-ea+32-2068)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 18-ea+32-2068, compiled mode, sharing, tiered, compressed oops, compressed class ptrs, g1 gc, linux-amd64)
# Problematic frame:
# V [libjvm.so+0x1391942] PhaseIdealLoop::compute_lca_of_uses(Node*, Node*, bool)+0x6e2
.........
Command Line: -Xmx1G -Xcomp -Xbatch -XX:CompileOnly=Test -XX:CompileCommand=quiet Test
.........
Current CompileTask:
C2: 879 63 !b 4 Test::mainTest (516 bytes)

Stack: [0x00007fa7e0760000,0x00007fa7e0861000], sp=0x00007fa7e085ae60, free space=1003k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.so+0x1391942] PhaseIdealLoop::compute_lca_of_uses(Node*, Node*, bool)+0x6e2
V [libjvm.so+0x1391dc0] PhaseIdealLoop::build_loop_late_post_work(Node*, bool)+0x2a0
V [libjvm.so+0x13922ca] PhaseIdealLoop::build_loop_late(VectorSet&, Node_List&, Node_Stack&)+0xba
V [libjvm.so+0x1392d52] PhaseIdealLoop::build_and_optimize(LoopOptsMode)+0x622
V [libjvm.so+0xa8f490] PhaseIdealLoop::verify(PhaseIterGVN&)+0x2a0
V [libjvm.so+0xa8a459] Compile::Optimize()+0x8e9
V [libjvm.so+0xa8cdfe] Compile::Compile(ciEnv*, ciMethod*, int, Options, DirectiveSet*)+0x159e
V [libjvm.so+0x8a5684] C2Compiler::compile_method(ciEnv*, ciMethod*, int, bool, DirectiveSet*)+0x664
V [libjvm.so+0xa9d0f8] CompileBroker::invoke_compiler_on_method(CompileTask*)+0xc88
V [libjvm.so+0xa9deb8] CompileBroker::compiler_thread_loop()+0x648
V [libjvm.so+0x192750a] JavaThread::thread_main_inner()+0x25a
V [libjvm.so+0x192f8d0] Thread::call_run()+0x100
V [libjvm.so+0x16103d4] thread_native_entry(Thread*)+0x104