inc/assert.h

   1 /* See COPYRIGHT for copyright information. */
   2
   3 #ifndef JOS_INC_ASSERT_H
   4 #define JOS_INC_ASSERT_H
   5
   6 #include <inc/stdio.h>
   7
   8 void _warn(const char*, int, const char*, ...);
   9 void _panic(const char*, int, const char*, ...) __attribute__((noreturn));
  10
  11 #define warn(...) _warn(__FILE__, __LINE__, __VA_ARGS__)
  12 #define panic(...) _panic(__FILE__, __LINE__, __VA_ARGS__)
  13
  14 #define assert(x)               \
  15         do { if (!(x)) panic("assertion failed: %s", #x); } while (0)
  16
  17 // static_assert(x) will generate a compile-time error if 'x' is false.
  18 #define static_assert(x)        switch (x) case 0: case (x):
  19
  20 #endif /* !JOS_INC_ASSERT_H */