Class ValueNumberBound

A bound corresponding to the value of an Instruction.

Import path

import semmle.code.cpp.rangeanalysis.new.RangeAnalysis

getAnExpr	Gets an expression that equals this bound plus `delta`.
getLocation	Gets a representative locaiton for this bound
getValueNumber	Gets the value number that equals this bound.
toString	Gets a string representation of this bound.

Gets an expression that equals this bound.