codeql/cpp-all
0.12.12-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if (determined by this guard) op < k must be isLessThan in block. If isLessThan = false then this implies op >= k.
op < k
isLessThan
block
isLessThan = false
op >= k
predicate ensuresLt(Operand op, int k, IRBlock block, boolean isLessThan)