Class UseImpl
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
Direct supertypes
Indirect supertypes
Known direct subtypes
Fields
Predicates
getIndirection | Gets the number of loads that precedence this use. |
getIndirectionIndex | Gets the indirection index of this use. |
getNode | Gets the node associated with this use. |
isCertain | Holds if this use is guaranteed to read the associated variable. |
toString | Gets a textual representation of this element. |
Inherited predicates
getBase | Gets the instruction that computes the base of this definition or use. This is always a | from DefOrUseImpl |
getBaseSourceVariable | Gets the base source variable (i.e., the variable without any indirection) of this definition or use. | from DefOrUseImpl |
getBlock | Gets the block of this definition or use. | from DefOrUseImpl |
getLocation | Gets the location of this element. | from DefOrUseImpl |
getSourceVariable | Gets the variable that is defined or used. | from DefOrUseImpl |
hasIndexInBlock | Holds if this definition or use has index | from DefOrUseImpl |
hasIndexInBlock | Holds if this definition (or use) has index | from DefOrUseImpl |