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

Predicate typeUpperBound

Gets the upper bound for the unspecified type t.

For example, if t is a signed 32-bit type then the result is 2^31 - 1.

Import path

import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils
float typeUpperBound(Type t)