Predicate Make::SsaDefReaches::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, DefinitionExt def, int rnk, SourceVariable v)