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