http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55747
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-12-20 01:22:11 UTC --- Actually noreturns are handled special in the compiler. I filed this bug over 6 years ago and it was closed as invalid back then.
