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

Class DefOrUseImpl

Import path

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

Direct supertypes

Known direct subtypes

Predicates

getBase

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

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.

getIndirectionIndex

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

getLocation

Gets the location of this element.

getSourceVariable

Gets the variable that is defined or used.

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

toString

Gets a textual representation of this element.