Predicate SsaComputeImpl::SsaDefinitionsImpl::reachesUse
Holds if the SSA definition of v at (defbb, defindex) reaches use without crossing another
SSA definition of v.
Import path
import semmle.python.essa.SsaComputepredicate reachesUse(SsaSourceVariable v, BasicBlock defbb, int defindex, ControlFlowNode use)