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?

Reply via email to