Predicate Make::SsaDefReaches::varBlockReachesExitExt
Holds if def
is accessed in basic block bb
(either a read or a write),
bb
can reach a transitive successor bb2
where def
is no longer live,
and v
is neither read nor written in any block on the path between bb
and bb2
.
Import path
import codeql.ssa.Ssa
predicate varBlockReachesExitExt(DefinitionExt def, BasicBlock bb)