On 07/11/11 15:18, Bruno Haible wrote: > I was under the impression that the extra function declaration was needed > because some GCC versions ignore the __attribute__ ((noreturn)) if it is found > in the function definition. No?
That may have been a problem long ago, but it hasn't been true for a while. If we can discover exactly when it stopped being a problem, we can alter the GCC version number in the _Noreturn macro to match the first GCC version where it started working. In the meantime I wouldn't worry about it.