Predicate SsaComputeImpl::AdjacentUsesImpl::variableSourceUse
Holds if there is a variable access use
of v
in b
at index i
.
Import path
import semmle.python.essa.SsaCompute
predicate variableSourceUse(SsaSourceVariable v, ControlFlowNode use, BasicBlock b, int i)