Class DefImpl

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternals

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 `index` in block `block`.
hasIndexInBlock	Holds if this definition (or use) has index `index` in block `block`, and is a definition (or use) of the variable `sv`
isCertain
toString	Gets a textual representation of this element.