path: root/include/assert.h
diff options
authorRich Felker <>2012-09-06 23:34:10 -0400
committerRich Felker <>2012-09-06 23:34:10 -0400
commit0c05bd3a9c165cf2f0b9d6fa23a1f96532ddcdb3 (patch)
tree124c1d65e338abece7cf55c95cbc8195be94fe2f /include/assert.h
parent453059571c9dc84dd168631eced25ec2d7afd98e (diff)
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')
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__))
+#define _Noreturn
#ifdef NDEBUG
#define assert(x) (void)0
@@ -10,7 +17,7 @@
extern "C" {
-void __assert_fail (const char *, const char *, int, const char *);
+_Noreturn void __assert_fail (const char *, const char *, int, const char *);
#ifdef __cplusplus