Holds if the ith node of bb defines v.
Import path
import semmle.go.dataflow.SsaImplpredicate defAt(BasicBlock bb, int i, SsaSourceVariable v)Holds if the ith node of bb defines v.
import semmle.go.dataflow.SsaImplpredicate defAt(BasicBlock bb, int i, SsaSourceVariable v)