http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26367 --- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-12-22 01:21:00 UTC --- I think __builtin_unreachable resolved some of this already. Also probilities to noreturn functions are marked as notlikely already.