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

Member predicate ControlFlow::ConditionGuardNode::ensures

Holds if this guard ensures that the result of nd is b.

predicate ensures(Node nd, boolean b)