Lines Matching refs:assume
279 /* Assume that R always holds. Behavior is undefined if R is false,
282 'assume (R)' is a directive from the programmer telling the
284 test R. This is why 'assume' is in verify.h: it's related to
288 'assume (R)' can affect compilation of all the code, not just code
289 that happens to be executed after the assume (R) is "executed".
290 For example, if the code mistakenly does 'assert (R); assume (R);'
303 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ())
305 # define assume(R) __assume (R)
309 when 'assume' silences warnings even with older GCCs. */
310 # define assume(R) ((R) ? (void) 0 : __builtin_trap ())
313 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0)
Indexes created Sat Apr 18 00:22:28 UTC 2026