codeql/cpp-all
2.0.1-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)