Re: new module 'noreturn'

[Bruno Haible]

> You have been thinking of this?
>   #define _GL_NORETURN_FUNC    _Noreturn
>   #define _GL_NORETURN_FUNCPTR _Noreturn __attribute__ ((__noreturn__))

This approach does not work:

===============================================================================
void func1 (void) { for (;;); }
_Noreturn void func2 (void) { for (;;); }
__attribute__ ((__noreturn__)) void func3 (void) { for (;;); }
_Noreturn __attribute__ ((__noreturn__)) void func4 (void) { for (;;); }

void (*fptr11) (void) = func1; /* GCC: OK clang: OK */
void (*fptr12) (void) = func2; /* GCC: OK clang: OK */
void (*fptr13) (void) = func3; /* GCC: OK clang: OK */
void (*fptr14) (void) = func4; /* GCC: OK clang: OK */

_Noreturn void (*fptr21) (void) = func1; /* GCC: warning clang: error */
_Noreturn void (*fptr22) (void) = func2; /* GCC: warning clang: error */
_Noreturn void (*fptr23) (void) = func3; /* GCC: warning clang: error */
_Noreturn void (*fptr24) (void) = func4; /* GCC: warning clang: error */

__attribute__ ((__noreturn__)) void (*fptr31) (void) = func1; /* GCC: warning 
clang: warning */
__attribute__ ((__noreturn__)) void (*fptr32) (void) = func2; /* GCC: OK clang: 
warning */
__attribute__ ((__noreturn__)) void (*fptr33) (void) = func3; /* GCC: OK clang: 
OK */
__attribute__ ((__noreturn__)) void (*fptr34) (void) = func4; /* GCC: OK clang: 
OK */

_Noreturn __attribute__ ((__noreturn__)) void (*fptr41) (void) = func1; /* GCC: 
warning clang: error */
_Noreturn __attribute__ ((__noreturn__)) void (*fptr42) (void) = func2; /* GCC: 
warning clang: error */
_Noreturn __attribute__ ((__noreturn__)) void (*fptr43) (void) = func3; /* GCC: 
warning clang: error */
_Noreturn __attribute__ ((__noreturn__)) void (*fptr44) (void) = func4; /* GCC: 
warning clang: error */
===============================================================================

I'm pushing the new module now.

Bruno