Predicate Make::SsaDefReachesNew::ssaDefReachesRank
Holds if the SSA definition def reaches rank index rnk in its own
basic block bb.
Import path
import codeql.ssa.Ssapredicate ssaDefReachesRank(BasicBlock bb, Definition def, int rnk, SourceVariable v)