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

Member predicate ControlFlow::ConditionGuardNode::ensuresEq

Holds if this guard ensures that i = j holds.

predicate ensuresEq(Node i, Node j)