Class DefImpl

Import path

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

getAddressOperand	Gets the operand that represents the address of this definition, if any.
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	Gets the value written to the destination variable by this definition.
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	Holds if this definition is guaranteed to totally overwrite the destination buffer.
toString	Gets a textual representation of this element.