SI-9388 Fix Range behavior around Int.MaxValue

terminalElement (the element _after_ the last one!) was used to terminate foreach loops and sums of non-standard instances of Numeric.  Unfortunately, this could result in the end wrapping around and hitting the beginning again, making the first element bad.

This patch fixes the behavior by altering the loop to end after the last element is encountered.  The particular flavor was chosen out of a few possibilities because it gave the best microbenchmarks on both large and small ranges.

Test written.  While testing, a bug was also uncovered in NumericRange, and was also fixed.  In brief, the logic around sum is rather complex since division is not unique when you have overflow.  Floating point has its own complexities, too.

Also updated incorrect test t4658 that insisted on incorrect answers (?!) and added logic to make sure it at least stays self-consistent, and fixed the range.scala test which used the same wrong (overflow-prone) formula that the Range collection did.

1 files changed, 10 insertions, 1 deletions

diff --git a/test/files/run/t4658.scala b/test/files/run/t4658.scala
index 8c07c50694..7fc6d4584c 100644
--- a/test/files/run/t4658.scala
+++ b/test/files/run/t4658.scala
@@ -2,6 +2,7 @@ import scala.collection.immutable.NumericRange
 //#4658
 object Test {
 
+  // Only works for Int values!  Need to rethink explicit otherwise.
   case class R(start: Int, end: Int, step: Int = 1, inclusive: Boolean = true)
 
   val rangeData = Array(
@@ -28,6 +29,14 @@ object Test {
     numericLongRanges.foreach{range => println(range.sum)}
     println("BigIntRanges:")
     numericBigIntRanges.foreach{range => println(range.sum)}
+    println("BigInt agrees with Long: " + 
+      (numericLongRanges zip numericBigIntRanges).forall{ case (lr, bir) => lr.sum == bir.sum }
+    )
+    println("Long agrees with Int when rounded: " + 
+      (numericLongRanges zip numericIntRanges).forall{ case (lr, ir) => lr.sum.toInt == ir.sum }
+    )
+    println("Numeric Int agrees with Range: " +
+      (numericIntRanges zip ranges).forall{ case (ir, r) => ir.sum == r.sum }
+    )
   }
-
 }
\ No newline at end of file