Predicate Make::SsaDefReaches::ssaDefRank
Same as ssaRefRank(), but restricted to a particular SSA definition def.
Import path
import codeql.ssa.Ssaint ssaDefRank(DefinitionExt def, SourceVariable v, BasicBlock bb, int i, SsaRefKind k)Same as ssaRefRank(), but restricted to a particular SSA definition def.
import codeql.ssa.Ssaint ssaDefRank(DefinitionExt def, SourceVariable v, BasicBlock bb, int i, SsaRefKind k)