CodeQL library for C/C++
Search

Member predicate RangeSsaDefinition::isGuardPhi

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

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