Predicate Make :: ssaDefReachesEndOfBlockExt
NB: If this predicate is exposed, it should be cached.
Holds if the SSA definition of v at def reaches the end of basic
block bb, at which point it is still live, without crossing another
SSA definition of v.
Import path
import codeql.ssa.Ssa
predicate
ssaDefReachesEndOfBlockExt
(
BasicBlock
bb
,
DefinitionExt
def
,
SourceVariable
v
)