CodeQL library for C/C++
Search

Predicate safeFloor

Gets the floor of v, with additional logic to work around issues with large numbers.

Import path

import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
float safeFloor(float v)