CodeQL library for Python
codeql/python-all 0.11.12 (changelog, source)
Search

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.SsaCompute
predicate phiNode(SsaSourceVariable v, BasicBlock b)