diff options
| author | Rich Felker <dalias@aerifal.cx> | 2012-09-06 23:34:10 -0400 |
|---|---|---|
| committer | Rich Felker <dalias@aerifal.cx> | 2012-09-06 23:34:10 -0400 |
| commit | 0c05bd3a9c165cf2f0b9d6fa23a1f96532ddcdb3 (patch) | |
| tree | 124c1d65e338abece7cf55c95cbc8195be94fe2f /include/assert.h | |
| parent | 453059571c9dc84dd168631eced25ec2d7afd98e (diff) | |
| download | musl-0c05bd3a9c165cf2f0b9d6fa23a1f96532ddcdb3.tar.gz musl-0c05bd3a9c165cf2f0b9d6fa23a1f96532ddcdb3.tar.xz musl-0c05bd3a9c165cf2f0b9d6fa23a1f96532ddcdb3.zip | |
further use of _Noreturn, for non-plain-C functions
note that POSIX does not specify these functions as _Noreturn, because POSIX is aligned with C99, not the new C11 standard. when POSIX is eventually updated to C11, it will almost surely give these functions the _Noreturn attribute. for now, the actual _Noreturn keyword is not used anyway when compiling with a c99 compiler, which is what POSIX requires; the GCC __attribute__ is used instead if it's available, however. in a few places, I've added infinite for loops at the end of _Noreturn functions to silence compiler warnings. presumably __buildin_unreachable could achieve the same thing, but it would only work on newer GCCs and would not be portable. the loops should have near-zero code size cost anyway. like the previous _Noreturn commit, this one is based on patches contributed by philomath.
Diffstat (limited to 'include/assert.h')
| -rw-r--r-- | include/assert.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/include/assert.h b/include/assert.h index bad2ccd0..30a43d68 100644 --- a/include/assert.h +++ b/include/assert.h @@ -1,5 +1,12 @@ #undef assert +#if __STDC_VERSION__ >= 201112L +#elif defined(__GNUC__) +#define _Noreturn __attribute__((__noreturn__)) +#else +#define _Noreturn +#endif + #ifdef NDEBUG #define assert(x) (void)0 #else @@ -10,7 +17,7 @@ extern "C" { #endif -void __assert_fail (const char *, const char *, int, const char *); +_Noreturn void __assert_fail (const char *, const char *, int, const char *); #ifdef __cplusplus } |