CodeQL library for C/C++
codeql/cpp-all 0.9.3 ( 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 )