http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51705
--- Comment #18 from Ed Schouten <ed at 80386 dot nl> 2011-12-30 10:47:25 UTC --- Though there's nothing wrong with using __dead2, wouldn't it be better to use __attribute__((__noreturn__) directly?
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51705
--- Comment #18 from Ed Schouten <ed at 80386 dot nl> 2011-12-30 10:47:25 UTC --- Though there's nothing wrong with using __dead2, wouldn't it be better to use __attribute__((__noreturn__) directly?