CodeQL library for C/C++
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)