On 04/28/2017 09:40 AM, Bruno Haible wrote:
You have been thinking of this? #define _GL_NORETURN_FUNC _Noreturn #define _GL_NORETURN_FUNCPTR _Noreturn __attribute__ ((__noreturn__))
It was more like this: #define _GL_NORETURN_FUNC _Noreturn __attribute_noreturn__ #define _GL_NORETURN_FUNCPTR __attribute_noreturn__ where __attribute_noreturn__ expands to either __attribute__ ((__noreturn__)) or to nothing (much as _Noreturn already does). Perhaps your draft has an identical effect to this; I didn't look at its #ifdef forest all that carefully.
