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