Predicate Internal::getDefinition
Gets the unique SSA definition of v whose value reaches the ith node of bb,
which is a use of v.
Import path
import semmle.go.dataflow.SsaImplGets the unique SSA definition of v whose value reaches the ith node of bb,
which is a use of v.
import semmle.go.dataflow.SsaImpl