https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96054
--- Comment #1 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to H. Peter Anvin from comment #0) > __attribute__((error)) and __attribute__((warning)) are useful, but have, in > some places, poor semantics. __attribute__((error)) produces an error. __attribute__((warning)) produces a warning. It seems to me that, if following this pattern of attributes being named after the kind of diagnostic they produce, __attribute__((fatal)) ought to produce a fatal diagnostic that terminates compilation. Having it do something else would seem to violate expectations for me...
