2011-02-12 05:22:29 +00:00
|
|
|
#undef assert
|
|
|
|
|
|
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.
2012-09-07 03:34:10 +00:00
|
|
|
#if __STDC_VERSION__ >= 201112L
|
|
|
|
|
#elif defined(__GNUC__)
|
|
|
|
|
#define _Noreturn __attribute__((__noreturn__))
|
|
|
|
|
#else
|
|
|
|
|
#define _Noreturn
|
|
|
|
|
#endif
|
|
|
|
|
|
2011-02-12 05:22:29 +00:00
|
|
|
#ifdef NDEBUG
|
|
|
|
|
#define assert(x) (void)0
|
|
|
|
|
#else
|
|
|
|
|
#define assert(x) ((x) || (__assert_fail(#x, __FILE__, __LINE__, __func__),0))
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
|
extern "C" {
|
|
|
|
|
#endif
|
|
|
|
|
|
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.
2012-09-07 03:34:10 +00:00
|
|
|
_Noreturn void __assert_fail (const char *, const char *, int, const char *);
|
2011-02-12 05:22:29 +00:00
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
|
}
|
|
|
|
|
#endif
|
