https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110220
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
#2 0x0000000000dfafd8 in patch_jump_insn (insn=0x7ffff7775360,
old_label=0x7ffff760c840, new_bb=0x7ffff776a000) at ../../gcc/cfgrtl.cc:1295
1295 gcc_assert (JUMP_LABEL (insn) == old_label);
(gdb) p debug_rtx(insn)
(jump_insn 143 142 139 3 (parallel [
(set (pc)
(if_then_else (gtu (reg:HI 57)
(const_int 6 [0x6]))
(label_ref 60)
(pc)))
(clobber (scratch:QI))
]) "t.c":12:9 683 {*cbranchhi4}
(nil))
$1 = void
Which is checking the state before the switch table.
