Predicate SsaComputeImpl::EssaDefinitionsImpl::variableRefinement
Whether n
is a live update that is a definition of the variable v
.
Import path
import semmle.python.essa.SsaCompute
predicate variableRefinement(SsaSourceVariable v, ControlFlowNode n, BasicBlock b, int rankix, int i)