CodeQL library for C/C++
Search

Member predicate Options::exprExits

Holds if evaluating expression e will never return, or can be assumed to never return. For example:

  __assume(0);

(note that in this case if the hint is wrong and the expression is reached at runtime, the program’s behaviour is undefined)

predicate exprExits(Expr e)