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

Member predicate GuardCondition::valueControls

Holds if this condition controls controlled, meaning that controlled is only entered if the value of this condition is v.

For details on what “controls” mean, see the QLDoc for controls.

predicate valueControls(BasicBlock controlled, AbstractValue v)