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.Ssa
predicate
ssaDefReachesReadExt
(
SourceVariable
v
,
DefinitionExt
def
,
BasicBlock
bb
,
int
i
)