about summary refs log tree commit diff
path: root/include/verify.h
blob: c3db0e3c72a3a7a74cc787be54d0e7d9fbc001a8 (plain) (blame)
1
2
3
4
/* Gnulib <verify.h>, simplified by assuming GCC 4.6 or later.  */
#define verify(R) _Static_assert (R, "verify (" #R ")")

#define assume(R) ((R) ? (void) 0 : __builtin_unreachable ())