Assertions

include/kassert.h View source View on GitHub

Macros

_kassert_pick

#define _kassert_pick(_1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, NAME, ...) \
    NAME

_kassert_dispatch

#define _kassert_dispatch(default, name, prefix, ...) \
    _kassert_pick(__VA_ARGS__, name##_n, name##_n, name##_n, name##_n, \
                  name##_n, name##_n, name##_n, name##_n, name##_n, name##_2, \
                  name##_1)(default, prefix, __VA_ARGS__)

_kassert_as_code

#define _kassert_as_code(x) __comptime_as_type(enum crash_code, x)

_kassert_msg

#define _kassert_msg(x) "Assertion \"" #x "\" failed"

_kassert_debug_off_dispatch

#define _kassert_debug_off_dispatch(first, ...) ({ first; })

_kassert_eval

#define _kassert_eval(prefix, x, msg_stmt) \
    __builtin_choose_expr( \
        __builtin_types_compatible_p(__comptime_decay(x), void), ({ (x); }), \
        ({ \
            __comptime_decay(x) _kassert_res = (x); \
            if (unlikely(!(_kassert_res))) { \
                msg_stmt; \
                __builtin_unreachable(); \
            } \
            _kassert_res; \
        }))

_kassert_1

#define _kassert_1(default, prefix, x) \
    _kassert_eval(prefix, x, \
                  assert_impl_assertion(CRASH_CODE_TO_PAYLOAD(default), \
                                        __FILE__, __LINE__, __func__, prefix, \
                                        _kassert_msg(x), NULL))

_kassert_2

#define _kassert_2(default, prefix, x, a) \
    __builtin_choose_expr( \
        __comptime_is_str(a), \
        _kassert_eval(prefix, x, \
                      assert_impl_assertion(CRASH_CODE_TO_PAYLOAD(default), \
                                            __FILE__, __LINE__, __func__, \
                                            prefix, _kassert_msg(x), \
                                            __comptime_as_str(a))), \
        _kassert_eval( \
            prefix, x, \
            assert_impl_assertion(CRASH_CODE_TO_PAYLOAD(_kassert_as_code(a)), \
                                  __FILE__, __LINE__, __func__, prefix, \
                                  _kassert_msg(x), NULL)))

_kassert_n

#define _kassert_n(default, prefix, x, a, b, ...) \
    __builtin_choose_expr( \
        __comptime_is_str(a), /* a is format, b is first vararg */

_kassert_fail

#define _kassert_fail(c, prefix, ...) \
    assert_impl_default(CRASH_CODE_TO_PAYLOAD(c), __FILE__, __LINE__, \
                        __func__, prefix __VA_ARGS__)

kassert_with_default

#define kassert_with_default(default, ...) \
    _kassert_dispatch(default, "", __VA_ARGS__)

kassert

#define kassert(...) \
    _kassert_dispatch(CRASH_CODE_GENERIC, _kassert, "", __VA_ARGS__)

kassert_with

#define kassert_with(x, payload, fmt, ...) \
    __builtin_choose_expr( \
        __builtin_types_compatible_p(__comptime_decay(x), void), ({ (x); }), \
        ({ \
            __comptime_decay(x) _kassert_res = (x); \
            if (unlikely(!(_kassert_res))) { \
                assert_impl_default(payload, __FILE__, __LINE__, __func__, \
                                    _kassert_msg(x) ": " fmt, ##__VA_ARGS__); \
                __builtin_unreachable(); \
            } \
            _kassert_res; \
        }))

unreachable

#define unreachable(...) \
    _kassert_fail(CRASH_CODE_GENERIC, "unreachable! ", ##__VA_ARGS__)

unimplemented

#define unimplemented(...) \
    _kassert_fail(CRASH_CODE_GENERIC, "unimplemented! ", ##__VA_ARGS__)

todo

#define todo(...) _kassert_fail(CRASH_CODE_GENERIC, "TODO: ", ##__VA_ARGS__)

kassert_debug_with_default

#define kassert_debug_with_default(default, ...) \
    _kassert_dispatch(default, _kassert, "DEBUG ", __VA_ARGS__)

kassert_debug

#define kassert_debug(...) \
    _kassert_dispatch(CRASH_CODE_GENERIC, _kassert, "DEBUG ", __VA_ARGS__)

unreachable_debug

#define unreachable_debug(...) \
    _kassert_fail(CRASH_CODE_GENERIC, "DEBUG unreachable! ", ##__VA_ARGS__)

unimplemented_debug

#define unimplemented_debug(...) \
    _kassert_fail(CRASH_CODE_GENERIC, "DEBUG unimplemented! ", ##__VA_ARGS__)

todo_debug

#define todo_debug(...) \
    _kassert_fail(CRASH_CODE_GENERIC, "DEBUG TODO: ", ##__VA_ARGS__)

kassert_debug

#define kassert_debug(...) _kassert_debug_off_dispatch(__VA_ARGS__)

unreachable_debug

#define unreachable_debug(...) _kassert_debug_off_dispatch(__VA_ARGS__)

unimplemented_debug

#define unimplemented_debug(...) _kassert_debug_off_dispatch(__VA_ARGS__)

todo_debug

#define todo_debug(...) _kassert_debug_off_dispatch(__VA_ARGS__)

---