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

Class ValueNumber

The value number assigned to a particular set of instructions that produce equivalent results.

Import path

import semmle.code.cpp.ir.implementation.aliased_ssa.gvn.ValueNumbering

Direct supertypes

Known direct subtypes

    Predicates

    getAUse

    Gets an Operand whose definition is exact and has this value number.

    getAnInstruction

    Gets the instructions that have been assigned this value number. This will always produce at least one result.

    getDebugString
    getExampleInstruction

    Gets one of the instructions that was assigned this value number. The chosen instruction is deterministic but arbitrary. Intended for use only in debugging.

    getKind
    getLocation
    toString