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

Member predicate Make::MakeSsa::SsaDefinition::getAnUltimateDefinition

Gets a definition that ultimately defines this SSA definition and is not itself a phi definition.

Example:

def m b
  i = 0        # defines i_0
  if b
    i = 1      # defines i_1
  else
    i = 2      # defines i_2
  end
               # defines i_3 = phi(i_1, i_2); ultimate definitions are i_1 and i_2
  puts i
end
SsaDefinition getAnUltimateDefinition()