Hi Paul, > 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.
Good point. I withdraw this patch, and adjust the other patch to remove the #ifndef lines. Bruno -- In memoriam Alexander Samoylovich <http://en.wikipedia.org/wiki/Alexander_Samoylovich>
