http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54369
--- Comment #3 from chaoyingfu at gcc dot gnu.org <chaoyingfu at gcc dot gnu.org> 2012-08-31 00:38:39 UTC --- The fall-through path of this jump has a barrier (resulted from __builtin_unreachable), and the target of this jump has a return instruction. The algorithm in reorg.c may be more conservative to keep this jump for code correctness. Just another solution to this issue. Thanks!