Re: clang and _Noreturn

[Bruno Haible]

I wrote:
> I guess I need to test things with some older versions of gcc and g++ as well,
> and with MSVC, before we can jump to conclusions.

Here are the results. Let 1, 2, 3, 4, 5 denote the respective positions:
XX extern void foo1 (void);
extern XX void foo2 (void);
extern void XX foo3 (void);
extern void foo4 XX (void);
extern void foo5 (void) XX;


Valid positions of _Noreturn in GCC (C mode):
1 2 3  starting with gcc 4.7

Valid positions of __attribute__((__noreturn__)) in GCC (C mode):
1 2 3 5  since 2.95.3 at least

Valid positions of __attribute__((__noreturn__)) in g++:
1 2 3 5  since 3.1 at least

Valid positions of [[noreturn]] in g++:
1 4  starting with gcc 6 or g++ -std=c++11 4.8
The positions 2 3 5 generate warnings "ignored", starting with gcc 6 or g++ 
-std=c++11 4.8


Valid positions of _Noreturn in clang (C mode):
1 2 3

Valid positions of __attribute__((__noreturn__)) in clang (C mode):
1 2 3 5

Valid positions of __attribute__((__noreturn__)) in clang (C++ mode):
1 2 3 5

Valid positions of [[noreturn]] in clang (C++ mode):
1 4  but only with option -std=c++11


Valid positions of __declspec(noreturn) in MSVC 15 (C mode):
1 2 3

Valid positions of __declspec(noreturn) in MSVC 15 (C++ mode):
1 2 3

Valid positions of [[noreturn]] in MSVC 15 (C++ mode):
1 4


Bruno