CodeQL library for C/C++
codeql/cpp-all 0.7.1 ( changelog , source )
Search

Member predicate SsaHelper :: phi_node

Holds if there is a phi node for variable v at the start of basic block b.

predicate phi_node ( StackVariable v , BasicBlock b )