Predicate Make::SsaDefReaches::varBlockReachesExit
Same as varBlockReachesExitExt, but ignores phi-reads.
Import path
import codeql.ssa.Ssapredicate varBlockReachesExit(Definition def, BasicBlock bb)Same as varBlockReachesExitExt, but ignores phi-reads.
import codeql.ssa.Ssapredicate varBlockReachesExit(Definition def, BasicBlock bb)