> And I can't get it to fail. I also can't find any place where the > label and jump table might get separated. I was expecting some trouble > with cross-jumping but it seems that it takes care of updating the > label reference, and skip_insns_after_block already expects the label > and table to be adjacent.
As well as inside_basic_block_p and delete_dead_jumptables. > So let's just see if/what breaks... > > Bootstrapped&tested on powerpc64-unknown-linux-gnu (unix{,-m32}). > Bootstrapped&tested on x86_64-unknown-linux-gnu (unix{,-m32}). > Build&tested powerpc64 X mips-elf. > > OK for trunk? Yes, but I'd go one step farther and replace next_active_insn with NEXT_INSN in tablejump_p; however it's your call. -- Eric Botcazou