[Bug c++/57374] c+11 attribute noreturn does not blend well

[akim.demaille at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57374

--- Comment #3 from Akim Demaille <akim.demaille at gmail dot com> ---
Also, FWIW, libstdc++ headers use __attribute__((noreturn)), so there's no way
to get some inspiration from there :)