aboutsummaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h
blob: 2a80e91f78e725f46922155a57174c296e8f8f80 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
#ifndef BUG_ON_H
#define BUG_ON_H

#include <assert.h>

#define BUG() assert(0)
#define BUG_ON(x) assert(!(x))

/* Does it make sense to treat warnings as errors? */
#define WARN() BUG()
#define WARN_ON(x) (BUG_ON(x), false)

#endif