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

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
predicate convertedBounded(Expr e, Bound b, float delta, boolean upper, Reason reason)