1 /* Gnulib <verify.h>, simplified by assuming GCC 4.6 or later. */ 2 #define verify(R) _Static_assert (R, "verify (" #R ")") 3 4 #define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) 5