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

/* [<][>][^][v][top][bottom][index][help] */

INCLUDED FROM

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef BUG_ON_H
   3 #define BUG_ON_H
   4 
   5 #include <assert.h>
   6 
   7 #define BUG() assert(0)
   8 #define BUG_ON(x) assert(!(x))
   9 
  10 /* Does it make sense to treat warnings as errors? */
  11 #define WARN() BUG()
  12 #define WARN_ON(x) (BUG_ON(x), false)
  13 
  14 #endif
/* [<][>][^][v][top][bottom][index][help] */