Class FinalParameterUse

Import path

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

getArgumentIndex
getBase	Gets the instruction that computes the base of this definition or use. This is always a `VariableAddressInstruction` or an `CallInstruction`.
getIndirection	Gets the number of loads that precedence this use.
getLocation	Gets the location of this element.
getNode	Gets the node associated with this use.
getParameter
hasIndexInBlock	Holds if this definition or use has index `index` in block `block`.
isCertain	Holds if this use is guaranteed to read the associated variable.

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
getIndirectionIndex	Gets the indirection index of this use.	from UseImpl
getSourceVariable	Gets the variable that is defined or used.	from DefOrUseImpl
hasIndexInBlock	Holds if this definition (or use) has index `index` in block `block`, and is a definition (or use) of the variable `sv`	from DefOrUseImpl
toString	Gets a textual representation of this element.	from UseImpl