Predicate Make::SsaDefReaches::ssaRef
Holds if the ith node of basic block bb is a reference to v,
either a read (when k is SsaActualRead()), an SSA definition (when k
is SsaDef()), or a phi-read (when k is SsaPhiRead()).
Unlike Liveness::ref, this includes phi (read) nodes.
Import path
import codeql.ssa.Ssapredicate ssaRef(BasicBlock bb, int i, SourceVariable v, SsaRefKind k)