codeql/cpp-all
0.9.3
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 )