Predicate convertedBounded
Holds if e is bounded by b + delta
. The bound is an upper bound if
upper
is true, and can be traced back to a guard represented by reason
.
The Expr
may be a conversion.
Import path
import semmle.code.cpp.rangeanalysis.new.RangeAnalysis