Skip to content
charmOS docs

Assertions

include/kassert.h

Section titled “include/kassert.h”

Defines

Section titled “Defines”

kassert(x)

Section titled “kassert(x)”
#define kassert(x)                                                             \ do {                                                                       \ if (!unlikely(x)) {                                                    \ panic("Assertion " #x " failed\n");                                \ __builtin_unreachable();                                           \ }                                                                      \ } while (0)

kassert_unreachable()

Section titled “kassert_unreachable()”
#define kassert_unreachable()                                                  \ do {                                                                       \ kassert("unreachable");                                                \ __builtin_unreachable();                                               \ } while (0)