Predicate Internal::getDefReachingEndOf
Gets an SSA definition of v
that reaches the end of basic block bb
.
Import path
import semmle.go.dataflow.SsaImpl
Gets an SSA definition of v
that reaches the end of basic block bb
.
import semmle.go.dataflow.SsaImpl