codeql
codeql copied to clipboard
C++ SimpleRangeAnalysis: remove float bounds
This small change should simplify the SimpleRangeAnalysis library down the line by ignoring floats, but it also reduces the precision of some queries.
Some coding standard tests are also expected to fail for the same reason. So I'll leave it to the C/C++ team's discretion whether to move forward in this direction.
Commits:
- SimpleRangeAnalysis: Remove ±Inf typeBounds for FloatingPointType
- Update tests