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

Member predicate ControlFlow::WriteNode::definesSsaVariable

Holds if this node defines SSA variable v to be rhs.

predicate definesSsaVariable(SsaVariable v, Node rhs)