Predicate SsaComputeImpl::SsaDefinitionsImpl::reachesExit
Holds if (defbb, defindex) is an SSA definition of v that reaches an exit without crossing another
SSA definition of v.
Import path
import semmle.python.essa.SsaComputepredicate reachesExit(SsaSourceVariable v, BasicBlock defbb, int defindex)