codeql/cpp-all
4.1.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if (determined by this guard) left == right + k must be areEqual in block. If areEqual = false then this implies left != right + k.
left == right + k
areEqual
block
areEqual = false
left != right + k
predicate ensuresEq(Operand left, Operand right, int k, IRBlock block, boolean areEqual)