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

Predicate varMinVal

Gets the minimum value that this variable could represent, based on its type.

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

Import path

import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils
float varMinVal(Variable v)