CodeQL library for C/C++
codeql/cpp-all 1.1.2-dev (changelog, source)

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

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