CodeQL library for C/C++
codeql/cpp-all 12.0.3 (changelog, source)
Search

Class FinalParameterUse

Import path

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

Direct supertypes

Indirect supertypes

Fields

Inherited fields

Predicates

getArgumentIndex
getIndirection

Gets the index (i.e., the number of loads required) of this definition or use.

getLocation

Gets the location of this element.

getNode

Gets the node associated with this use.

getParameter
getSourceVariable

Gets the variable that is defined or used.

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.

toString

Gets a textual representation of this element.

Inherited predicates

getBlock

Gets the block of this definition or use.

from UseImpl
getIndirectionIndex

Gets the indirection index of this use.

from UseImpl
hasIndexInBlock

Holds if this definition (or use) has index index in block block, and is a definition (or use) of the variable sv

from UseImpl

Charpred