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.RangeAnalysisUtilsGets 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 semmle.code.cpp.rangeanalysis.RangeAnalysisUtils