http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52139
Steven Bosscher <steven at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|FIXED | --- Comment #10 from Steven Bosscher <steven at gcc dot gnu.org> 2013-04-11 19:23:01 UTC --- The fix is wrong, if there is a jump table at the end of basic block a, and a ends in a tablejump, then the blocks cannot be merged. In the case of this PR, the jump table must be dead and someone left it lingering. The bug is the presence of a dead jump table, and the patch only papers over the issue.