Predicate SsaComputeImpl::ssaDefReachesRank
Holds if the SSA definition reaches the rank index rankix in its own basic block b.
Import path
import semmle.python.essa.SsaComputepredicate ssaDefReachesRank(SsaSourceVariable v, BasicBlock b, int i, int rankix)