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

Class UseImpl

Import path

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

Direct supertypes

Indirect supertypes

Known direct subtypes

Fields

Predicates

getIndirection

Gets the number of loads that precedence this use.

getIndirectionIndex

Gets the indirection index of this use.

getNode

Gets the node associated with this use.

isCertain

Holds if this use is guaranteed to read the associated variable.

toString

Gets a textual representation of this element.

Inherited predicates

getBase

Gets the instruction that computes the base of this definition or use. This is always a VariableAddressInstruction or an CallInstruction.

from DefOrUseImpl
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
getLocation

Gets the location of this element.

from DefOrUseImpl
getSourceVariable

Gets the variable that is defined or used.

from DefOrUseImpl
hasIndexInBlock

Holds if this definition or use has index index in block block.

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

Charpred