Paul Eggert wrote: > It was more like this: > > #define _GL_NORETURN_FUNC _Noreturn __attribute_noreturn__ > #define _GL_NORETURN_FUNCPTR __attribute_noreturn__
Per [1] (compare fptr33 and fptr34), this has identical effects as #define _GL_NORETURN_FUNC __attribute_noreturn__ #define _GL_NORETURN_FUNCPTR __attribute_noreturn__ In other words, when __attribute__ ((__noreturn__)) works, there is no point in even looking whether _Noreturn works as well. > Perhaps your draft has an identical effect to this Yes, it what I pushed has identical effects. Bruno [1] https://lists.gnu.org/archive/html/bug-gnulib/2017-04/msg00152.html
