mirror of
https://github.com/clearlinux/graphene.git
synced 2026-08-22 05:56:23 +00:00
ae9b49ecb1
This helps with catching errors like `assert(x = y)`.
39 lines
1.3 KiB
C
39 lines
1.3 KiB
C
/*
|
|
* Define a common interface for assertions that builds for both the PAL and libOS.
|
|
*/
|
|
|
|
#ifndef ASSERT_H
|
|
#define ASSERT_H
|
|
|
|
#include <stdnoreturn.h>
|
|
|
|
#define static_assert _Static_assert
|
|
|
|
/* All environments should implement warn, which prints a non-optional debug
|
|
* message. All environments should also implement __abort, which
|
|
* terminates the process.
|
|
*/
|
|
|
|
void warn(const char* format, ...) __attribute__((format(printf, 1, 2)));
|
|
noreturn void __abort(void);
|
|
|
|
/* TODO(mkow): We should actually use the standard `NDEBUG`, but that would require changes in the
|
|
* build system.
|
|
*/
|
|
#ifdef DEBUG
|
|
/* This `if` is weird intentionally - not to have parentheses around `expr` to catch `assert(x = y)`
|
|
* errors. */
|
|
#define assert(expr) \
|
|
({ \
|
|
if (expr) {} else { \
|
|
warn("assert failed " __FILE__ ":%d %s\n", __LINE__, #expr); \
|
|
__abort(); \
|
|
} \
|
|
(void)0; \
|
|
})
|
|
#else
|
|
#define assert(expr) ((void)0)
|
|
#endif
|
|
|
|
#endif /* ASSERT_H */
|