Predicate Make::SsaDefReaches::varBlockReachesRef
Same as varBlockReachesExt, but ignores phi-reads, and furthermore
bb2 is restricted to blocks in which the underlying variable v of
def is referenced (either a read or a write).
Import path
import codeql.ssa.Ssapredicate varBlockReachesRef(Definition def, SourceVariable v, BasicBlock bb1, BasicBlock bb2)