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

Member predicate IRGuardCondition::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(IRBlock controlled, AbstractValue v)