Predicate typeLowerBound
Gets the lower bound for the unspecified type t.
For example, if t is a signed 32-bit type then the result is
-2^31.
Import path
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtilsGets the lower bound for the unspecified type t.
For example, if t is a signed 32-bit type then the result is
-2^31.
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils