CodeQL library for C/C++
codeql/cpp-all 0.6.0 ( changelog , source )

Member predicate Options :: exprExits

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


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

predicate exprExits ( Expr e )