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

Member predicate SsaDefinition::getAnUltimateDefiningValue

Gets a possible defining expression for v at this SSA definition, recursing backwards through phi definitions. Not all definitions have a defining expression—see the documentation for getDefiningValue.

Expr getAnUltimateDefiningValue(StackVariable v)