Predicate Make::SsaDefReachesNew::ssaDefReachesEndOfBlock
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 ssaDefReachesEndOfBlock(BasicBlock bb, Definition def, SourceVariable v)