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.
