Remove floating point bounds

d10c · d10c · commit 2d633418e1d1 · 2024-12-04T09:53:03.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll
@@ -407,9 +407,6 @@ private predicate typeBounds(ArithmeticType t, QlBuiltins::BigInt lb, QlBuiltins
         lb = 0.toBigInt() and ub = limit - 1.toBigInt()
       )
   )
-  or
-  // This covers all floating point types. The range is (-Inf, +Inf).
-  t instanceof FloatingPointType and lb = -infinityAsBigInt() and ub = infinityAsBigInt()
 }
 
 private Type stripReference(Type t) {

Original file line number	Diff line number	Diff line change
`@@ -407,9 +407,6 @@ private predicate typeBounds(ArithmeticType t, QlBuiltins::BigInt lb, QlBuiltins`
`407`	`407`	`lb = 0.toBigInt() and ub = limit - 1.toBigInt()`
`408`	`408`	`)`
`409`	`409`	`)`
`410`		`- or`
`411`		`- // This covers all floating point types. The range is (-Inf, +Inf).`
`412`		`- t instanceof FloatingPointType and lb = -infinityAsBigInt() and ub = infinityAsBigInt()`
`413`	`410`	`}`
`414`	`411`
`415`	`412`	`private Type stripReference(Type t) {`