CodeQL library for Go
codeql/go-all 2.1.3 (changelog, source)
Search

Member predicate ControlFlow::ConditionGuardNode::ensuresNeq

Holds if this guard ensures that i != j holds.

predicate ensuresNeq(Node i, Node j)