CodeQL library for Java/Kotlin
codeql/java-all 7.8.5-dev (changelog, source)
Search

Member predicate Make::MakeSsa::SsaPhiDefinition::getAnInput

Gets an input of this 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); inputs are i_1 and i_2
  puts i
end
SsaDefinition getAnInput()