CodeQL library for C/C++
Search

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.RangeAnalysisUtils
float typeLowerBound(Type t)