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
)