Module ValueNumbering

Import path

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

valueNumber	Gets the value number assigned to `instr`, if any. Returns at most one result.
valueNumberOfOperand	Gets the value number assigned to the exact definition of `op`, if any. Returns at most one result.

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