181 #define _GL_VERIFY_TRUE(R, DIAGNOSTIC) \  argument
192 # define _GL_VERIFY_TYPE(R, DIAGNOSTIC) \  argument
195 # define _GL_VERIFY_TYPE(R, DIAGNOSTIC) \  argument
201 # define _GL_VERIFY_TYPE(R, DIAGNOSTIC) \  argument
216 # define _GL_VERIFY(R, DIAGNOSTIC, ...) _Static_assert (R, DIAGNOSTIC)  argument
218 # define _GL_VERIFY(R, DIAGNOSTIC, ...)                                \  argument
264 #define verify_expr(R, E) \  argument
274 # define verify(R) _GL_VERIFY (R, "verify (...)", -)  argument
276 # define verify(R) _GL_VERIFY (R, "verify (" #R ")", -)  argument
286 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ())  argument
288 # define assume(R) __assume (R)  argument
293 # define assume(R) ((R) ? (void) 0 : __builtin_trap ())  argument
296 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0)  argument