Class PhiNode
An static single assignment (SSA) phi node.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
Direct supertypes
Indirect supertypes
Predicates
getAnInput | Gets a definition that is an input to this phi node. |
Inherited predicates
definesAt | Holds if this SSA definition defines | from Definition |
getAnUltimateDefinition | Gets a definition that ultimately defines this SSA definition and is not itself a phi node. | from Definition |
getBasicBlock | Gets the basic block to which this SSA definition belongs. | from Definition |
getFunction | Gets the enclosing declaration of this definition. | from Definition |
getIndirection | Gets the indirection of this definition. | from Definition |
getIndirectionIndex | Gets the indirection index of this definition. | from Definition |
getLocation | Gets the location of this SSA definition. | from Definition |
getSourceVariable | Gets the source variable underlying this SSA definition. | from Definition |
getUnderlyingType | Gets the underlying type of the variable being defined by this definition. | from Definition |
getUnspecifiedType | Gets the unspecified type of the variable being defined by this definition. | from Definition |
getValue | INTERNAL: Do not use. | from Definition |
isCertain | Holds if this definition is guaranteed to totally overwrite the buffer being written to. | from Definition |
toString | Gets a textual representation of this SSA definition. | from Definition |