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

Class DefImpl

Import path

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

Direct supertypes

Known direct subtypes

    Fields

    Predicates

    getAddressOperand
    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
    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
    toString

    Gets a textual representation of this element.

    Charpred