Module SsaComputeImpl::SsaDefinitionsImpl

Import path

import semmle.python.essa.SsaCompute

reachesEndOfBlock	Holds if the SSA definition of `v` at `def` reaches the end of a basic block `b`, at which point it is still live, without crossing another SSA definition of `v`.
reachesExit	Holds if `(defbb, defindex)` is an SSA definition of `v` that reaches an exit without crossing another SSA definition of `v`.
reachesUse	Holds if the SSA definition of `v` at `(defbb, defindex)` reaches `use` without crossing another SSA definition of `v`.