Class DefinitionExt
An static single assignment (SSA) definition.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
Direct supertypes
Indirect supertypes
Predicates
getARead | Gets a node that represents a read of this SSA definition. |
getAnUltimateDefinition | Gets a definition that ultimately defines this SSA definition and is not itself a phi node. |
Inherited predicates
definesAt | Holds if this SSA definition defines | from DefinitionExt |
getBasicBlock | Gets the basic block to which this SSA definition belongs. | from DefinitionExt |
getLocation | Gets the location of this SSA definition. | from DefinitionExt |
getSourceVariable | Gets the source variable underlying this SSA definition. | from DefinitionExt |
toString | Gets a textual representation of this SSA definition. | from DefinitionExt |