codeql/cpp-all
0.12.12-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Gets the floor of v, with additional logic to work around issues with large numbers.
v
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
float safeFloor(float v)