Predicate SsaComputeImpl::EssaDefinitionsImpl::phiNode
Holds if there is a phi node for v at the beginning of basic block b.
Import path
import semmle.python.essa.SsaComputepredicate phiNode(SsaSourceVariable v, BasicBlock b)Holds if there is a phi node for v at the beginning of basic block b.
import semmle.python.essa.SsaComputepredicate phiNode(SsaSourceVariable v, BasicBlock b)