]> git.proxmox.com Git - mirror_ubuntu-focal-kernel.git/blame - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h
rcutorture: Add CBMC-based formal verification for SRCU
[mirror_ubuntu-focal-kernel.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / src / bug_on.h
CommitLineData
418b2977
LR
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