codeql icon indicating copy to clipboard operation
codeql copied to clipboard

C++ SimpleRangeAnalysis: remove float bounds

Open d10c opened this issue 1 year ago • 0 comments

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

d10c avatar Jun 27 '24 09:06 d10c