Predicate SsaComputeImpl::AdjacentUsesImpl::adjacentVarRefs

Holds if v occurs at index i1 in b1 and at index i2 in b2 and there is a path between them without any occurrence of v.

Import path

import semmle.python.essa.SsaCompute

predicate adjacentVarRefs(SsaSourceVariable v, BasicBlock b1, int i1, BasicBlock b2, int i2)