]>
git.proxmox.com Git - mirror_ubuntu-focal-kernel.git/blob - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h
1 /* SPDX-License-Identifier: GPL-2.0 */
7 #define BUG() assert(0)
8 #define BUG_ON(x) assert(!(x))
10 /* Does it make sense to treat warnings as errors? */
12 #define WARN_ON(x) (BUG_ON(x), false)