assume            357 lib/verify.h   # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ())
assume            359 lib/verify.h   # define assume(R) __assume (R)
assume            362 lib/verify.h   # define assume(R) ((R) ? (void) 0 : unreachable ())
assume            367 lib/verify.h   # define assume(R) ((R) ? (void) 0 : __builtin_trap ())
assume            370 lib/verify.h   # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0)