Predicate Make::ssaDefReachesReadExt
NB: If this predicate is exposed, it should be cached.
Holds if the SSA definition of v at def reaches a read at index i in
basic block bb, without crossing another SSA definition of v.
Import path
import codeql.ssa.Ssapredicate ssaDefReachesReadExt(SourceVariable v, DefinitionExt def, BasicBlock bb, int i)