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.ValueNumberingDirect supertypes
Known direct subtypes
Predicates
| getAUse | Gets an |
| 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 |