tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h

   1 #ifndef BUG_ON_H
   2 #define BUG_ON_H
   3
   4 #include <assert.h>
   5
   6 #define BUG() assert(0)
   7 #define BUG_ON(x) assert(!(x))
   8
   9 /* Does it make sense to treat warnings as errors? */
  10 #define WARN() BUG()
  11 #define WARN_ON(x) (BUG_ON(x), false)
  12
  13 #endif