CLJ-1371 Add checks in divide(Object, Object) to check for NaN

Signed-off-by: Stuart Halloway <stu@cognitect.com>

Author: puredanger

src/jvm/clojure/lang/Numbers.java

@@ -153,6 +153,11 @@ static public Number multiplyP(Object x, Object y){
 }
 
 static public Number divide(Object x, Object y){
+	if (isNaN(x)){
+		return (Number)x;
+	} else if(isNaN(y)){
+		return (Number)y;
+	}
 	Ops yops = ops(y);
 	if(yops.isZero((Number)y))
 		throw new ArithmeticException("Divide by zero");

test/clojure/test_clojure/numbers.clj

@@ -809,3 +809,73 @@ Math/pow overflows to Infinity."
        (<= 1000 Double/NaN) (<= 1000 (Double. Double/NaN))
        (> 1000 Double/NaN) (> 1000 (Double. Double/NaN))
        (>= 1000 Double/NaN) (>= 1000 (Double. Double/NaN))))
+
+(deftest test-nan-as-operand
+  (testing "All numeric operations with NaN as an operand produce NaN as a result"
+    (let [nan Double/NaN
+          onan (cast Object Double/NaN)]
+      (are [x] (Double/isNaN x)
+          (+ nan 1)
+          (+ nan 0)
+          (+ nan 0.0)
+          (+ 1 nan)
+          (+ 0 nan)
+          (+ 0.0 nan)
+          (+ nan nan)
+          (- nan 1)
+          (- nan 0)
+          (- nan 0.0)
+          (- 1 nan)
+          (- 0 nan)
+          (- 0.0 nan)
+          (- nan nan)
+          (* nan 1)
+          (* nan 0)
+          (* nan 0.0)
+          (* 1 nan)
+          (* 0 nan)
+          (* 0.0 nan)
+          (* nan nan)
+          (/ nan 1)
+          (/ nan 0)
+          (/ nan 0.0)
+          (/ 1 nan)
+          (/ 0 nan)
+          (/ 0.0 nan)
+          (/ nan nan)
+          (+ onan 1)
+          (+ onan 0)
+          (+ onan 0.0)
+          (+ 1 onan)
+          (+ 0 onan)
+          (+ 0.0 onan)
+          (+ onan onan)
+          (- onan 1)
+          (- onan 0)
+          (- onan 0.0)
+          (- 1 onan)
+          (- 0 onan)
+          (- 0.0 onan)
+          (- onan onan)
+          (* onan 1)
+          (* onan 0)
+          (* onan 0.0)
+          (* 1 onan)
+          (* 0 onan)
+          (* 0.0 onan)
+          (* onan onan)
+          (/ onan 1)
+          (/ onan 0)
+          (/ onan 0.0)
+          (/ 1 onan)
+          (/ 0 onan)
+          (/ 0.0 onan)
+          (/ onan onan)
+          (+ nan onan)
+          (+ onan nan)
+          (- nan onan)
+          (- onan nan)
+          (* nan onan)
+          (* onan nan)
+          (/ nan onan)
+          (/ onan nan) ))))