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

Member predicate RangeSsaDefinition::isGuardPhi

If this definition is a phi node corresponding to a guard, then return the variable guarded, the variable access and the guard.

predicate isGuardPhi(StackVariable v, VariableAccess va, Expr guard, boolean branch)