Predicate bounded

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.

Import path

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

predicate bounded(Expr e, Bound b, float delta, boolean upper, Reason reason)