[Bug c/53182] GNU C: attributes without underscores should be discouraged / no longer be documented e.g. as examples

[ericb at gcc dot gnu.org]

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

Eric Blake <ericb at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ericb at gcc dot gnu.org

--- Comment #2 from Eric Blake <ericb at gcc dot gnu.org> 2012-05-02 13:27:28 
UTC ---
It would also help to add an attribute named __attribute__((_Noreturn)) (and
therefore also adding __attribute__((___Noreturn__)), of course), for this
particular instance of <stdnoreturn.h> vs. existing code.