Predicate SsaComputeImpl::EssaDefinitionsImpl::piNode
Holds if def is a pi-node for v on the edge pred -> succ
Import path
import semmle.python.essa.SsaComputepredicate piNode(SsaSourceVariable v, BasicBlock pred, BasicBlock succ)Holds if def is a pi-node for v on the edge pred -> succ
import semmle.python.essa.SsaComputepredicate piNode(SsaSourceVariable v, BasicBlock pred, BasicBlock succ)