CodeQL library for Python
codeql/python-all 2.2.0 (changelog, source)
Search

Member predicate ComparisonControlBlock::controls

Whether this conditional guard determines that, in block b, l == r + k if eq is true, or l != r + k if eq is false,

predicate controls(ControlFlowNode l, CompareOp op, ControlFlowNode r, float k, BasicBlock b)