cosmopolitan/libc/assert.h

64 lines
1.7 KiB
C
Raw Permalink Normal View History

2023-08-13 08:44:39 +00:00
#ifdef _ASSERT_H
#undef _ASSERT_H
#undef assert
#ifdef _COSMO_SOURCE
2023-08-13 08:44:39 +00:00
#undef unassert
#undef npassert
#ifndef NDEBUG
#undef __assert_macro
#endif /* NDEBUG */
#endif /* _COSMO_SOURCE */
2023-08-13 08:44:39 +00:00
#endif /* _ASSERT_H */
#ifndef _ASSERT_H
#define _ASSERT_H
2020-06-15 14:18:57 +00:00
COSMOPOLITAN_C_START_
void __assert_fail(const char *, const char *, int) libcesque;
void unassert(const char *, const char *, int) libcesque;
2020-06-15 14:18:57 +00:00
#ifdef NDEBUG
#define assert(x) ((void)0)
2020-06-15 14:18:57 +00:00
#else
#define assert(x) ((void)((x) || (__assert_fail(#x, __FILE__, __LINE__), 0)))
2020-06-15 14:18:57 +00:00
#endif
2023-08-13 08:44:39 +00:00
#if __STDC_VERSION__ >= 201112L && !defined(__cplusplus)
#undef static_assert
2021-03-06 04:32:25 +00:00
#define static_assert _Static_assert
#endif
2021-03-06 04:32:25 +00:00
#ifdef _COSMO_SOURCE
#ifndef NDEBUG
#define unassert(x) __assert_macro(x, #x)
#define npassert(x) __assert_macro(x, #x)
#define __assert_macro(x, s) \
({ \
if (__builtin_expect(!(x), 0)) { \
(unassert)(s, __FILE__, __LINE__); \
__asm__("nop"); \
__builtin_unreachable(); \
} \
(void)0; \
})
#else
#define npassert(x) \
2022-11-06 08:16:29 +00:00
({ \
if (__builtin_expect(!(x), 0)) { \
2023-06-10 22:50:01 +00:00
__builtin_trap(); \
} \
(void)0; \
})
#define unassert(x) \
2022-11-06 08:16:29 +00:00
({ \
if (__builtin_expect(!(x), 0)) { \
2023-06-10 22:50:01 +00:00
__builtin_unreachable(); \
} \
(void)0; \
})
2023-07-03 09:47:05 +00:00
#endif /* NDEBUG */
#endif /* _COSMO_SOURCE */
2020-06-15 14:18:57 +00:00
COSMOPOLITAN_C_END_
2023-08-13 08:44:39 +00:00
#endif /* _ASSERT_H */