assume            322 lib/verify.h   # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ())
assume            324 lib/verify.h   # define assume(R) __assume (R)
assume            327 lib/verify.h   # define assume(R) ((R) ? (void) 0 : unreachable ())
assume            332 lib/verify.h   # define assume(R) ((R) ? (void) 0 : __builtin_trap ())
assume            335 lib/verify.h   # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0)