2 @section @file{stdnoreturn.h}
4 POSIX specification:@* Not in POSIX yet, but we expect it will be.
5 ISO C11 (latest free draft
6 @url{http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf})
9 Gnulib module: stdnoreturn
11 Portability problems fixed by Gnulib:
14 This header file is missing on most circa-2012 platforms.
17 Portability problems not fixed by Gnulib:
20 @code{<stdnoreturn.h>} should be #included before @samp{_Noreturn} is used.
22 You cannot assume that @code{_Noreturn} is a reserved word;
25 When the macro @code{lint} is defined, standard headers define
26 @code{_Noreturn} (and therefore @code{noreturn}) to be a macro that
27 expands to the empty token sequence on some platforms:
28 Cygwin 2.5.1, FreeBSD 10.3.
30 On MSVC 9, @code{noreturn} expands to the empty token sequence, to avoid
31 problems with standard headers that use @code{__declspec (noreturn)}
32 directly. Although the resulting code operates correctly, the
33 compiler is not informed whether @code{noreturn} functions do not
34 return, so it may generate incorrect warnings at compile-time, or code
35 that is slightly less optimized. This problem does not occur with
38 Circa 2012 bleeding-edge GCC with @code{-Werror=old-style-declaration}
39 requires @code{_Noreturn} or @code{noreturn} before the returned type
40 in a declaration, and therefore rejects valid but unusually-worded
41 declarations such as @code{void _Noreturn foo (void);}.