Class DefImpl
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
Direct supertypes
Known direct subtypes
Fields
Predicates
getAddressOperand | |
getBaseSourceVariable | Gets the base source variable (i.e., the variable without any indirection) of this definition or use. |
getBlock | Gets the block of this definition or use. |
getIndirection | Gets the index (i.e., the number of loads required) of this definition or use. |
getIndirectionIndex | Gets the indirection index of this definition. |
getLocation | Gets the location of this element. |
getSourceVariable | Gets the variable that is defined or used. |
getValue | |
hasIndexInBlock | Holds if this definition or use has index |
hasIndexInBlock | Holds if this definition (or use) has index |
isCertain | |
toString | Gets a textual representation of this element. |