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

Member predicate RangeSsaDefinition::isGuardPhi

DEPRECATED: Use isGuardPhi/4 instead If this definition is a phi node corresponding to a guard, then return the variable access and the guard.

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