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 areEqual in block. If areEqual = false then this implies op != k.
op == k
areEqual
block
areEqual = false
op != k
predicate ensuresEq(Operand op, int k, IRBlock block, boolean areEqual)