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

Member predicate SsaHelper::ssa_defn

Holds if v is defined, for the purpose of SSA, at node, which is at position index in block b. This includes definitions from phi nodes.

predicate ssa_defn(StackVariable v, ControlFlowNode node, BasicBlock b, int index)