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.Ssapredicate ssaDefReachesEndOfBlockExt(BasicBlock bb, DefinitionExt def, SourceVariable v)