codeql/cpp-all
12.0.0
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import codeql.controlflow.Guards
predicate disjointValues(GuardValue a, GuardValue b)