Re: [PATCH] stdlib: support non-GCC __attribute__

[Paul Eggert]

On 02/13/2011 03:34 AM, Bruno Haible wrote:
> it could be useful for applications to override gnulib's
> definition of _GL_ATTRIBUTE_NORETURN and _GL_ATTRIBUTE_FORMAT

While that might be useful, there's a downside to it too.
With the current approach, if a program includes two gnulib-supplied
headers (stdin.h and stdlib.h, say), and if these headers due to
some versioning screwup define _GL_ATTRIBUTE_NORETURN differently,
a C compiler is required to diagnose the screwup.  With the proposed
approach, the earlier header (whatever it happened to be) would
silently win.

As the current approach is simpler, it may be better to stick
with it until we find a real need for applications to
override these macros.