Class RangeSsaDefinition
A definition of one or more SSA variables, including phi node definitions. An SSA variable is effectively the pair of a definition and the (non-SSA) variable that it defines. Note definitions and uses can be coincident, due to the presence of parameter definitions and phi nodes.
Import path
import cpp
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
definedByParameter |
Whether this definition is from a parameter |
getAPhiInput |
Gets a definition of |
getAUse |
Gets a use of the SSA variable represented by the pair |
getAVariable |
Gets a variable corresponding to a SSA StackVariable defined by this definition. |
getBasicBlock |
Gets the basic block containing this definition. |
getDefiningValue |
Gets the expression assigned to this SsaDefinition. |
getDefinition |
Gets the control flow node for this definition. |
getLocation |
Gets the primary location of this definition. |
isGuardPhi |
If this definition is a phi node corresponding to a guard, then return the variable guarded, the variable access and the guard. |
isPhiNode |
Whether this definition is a phi node for variable |
reachesEndOfBB |
Holds if this definition of the variable |
toString |
A string representation of the SSA variable represented by the pair |
Inherited predicates
getAPrimaryQlClass |
Gets the name of a primary CodeQL class to which this element belongs. |
from ElementBase |
getPrimaryQlClasses |
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. |
from ElementBase |
toString |
Gets a textual representation of this element. |
from ElementBase |