CodeQL library for C/C++
codeql/cpp-all 0.12.11 (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

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