SimpleRangeAnalysis: Remove ±Inf typeBounds for FloatingPointType

If this doesn't break any tests, then this will simplify the rewrite of all SimpleRangeAnalysis floats to BigInt.
github · Jul 1, 2024 · ab15d79 · ab15d79
1 parent d9b337c
commit ab15d79
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll
@@ -405,9 +405,6 @@ private predicate typeBounds(ArithmeticType t, float lb, float ub) {
         lb = 0 and ub = limit - 1
       )
   )
-  or
-  // This covers all floating point types. The range is (-Inf, +Inf).
-  t instanceof FloatingPointType and lb = -(1.0 / 0.0) and ub = 1.0 / 0.0
 }
 
 private Type stripReference(Type t) {