Class GuardedSsa
An SsaDefinition
with an additional predicate isLt
.
Import path
import semmle.code.cpp.controlflow.Guards
Direct supertypes
Indirect supertypes
Predicates
isLt | Holds if this |
Inherited predicates
definedByParameter | Holds if the SSA variable | from SsaDefinition |
getAPhiInput | Holds if the SSA variable | from SsaDefinition |
getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from ElementBase |
getAUse | Gets a use of the SSA variable represented by the pair | from SsaDefinition |
getAVariable | Gets a variable corresponding to an SSA StackVariable defined by this definition. | from SsaDefinition |
getAnUltimateDefiningValue | Gets a possible defining expression for | from SsaDefinition |
getAnUltimateSsaDefinition | Gets a definition that ultimately defines this variable and is not itself a phi node. | from SsaDefinition |
getBasicBlock | Gets the | from SsaDefinition |
getDefiningValue | Gets the expression assigned to the SSA variable | from SsaDefinition |
getDefinition | Gets the control-flow node for this definition. This will usually be the control-flow node that assigns to this variable as a side effect, but there are some exceptions. If | from SsaDefinition |
getLocation | Gets the location of this definition. | from SsaDefinition |
getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from ElementBase |
isPhiNode | Holds if this definition is a phi node for variable | from SsaDefinition |
reachesEndOfBB | Holds if | from SsaDefinition |
toString | Gets a textual representation of this element. | from ElementBase |
toString | Gets a string representation of the SSA variable represented by the pair | from SsaDefinition |