X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Farith.pure.lisp;h=88bb51516c0389206c632881ee8c7450d24640a9;hb=77d94d36bcfd3d5eea73ad51e6ee621a8938f995;hp=959e2c100340db6ff44adbade52f28063cac1327;hpb=80d37651bc4cba800bbf2ba38ea720d734fbae4a;p=sbcl.git

diff --git a/tests/arith.pure.lisp b/tests/arith.pure.lisp
index 959e2c1..88bb515 100644
--- a/tests/arith.pure.lisp
+++ b/tests/arith.pure.lisp
@@ -44,6 +44,10 @@
 (assert (= (coerce 1/2 '(complex float)) #c(0.5 0.0)))
 (assert (= (coerce 1.0d0 '(complex float)) #c(1.0d0 0.0d0)))
 
+;;; (COERCE #c(<RATIONAL> <RATIONAL>) '(complex float)) resulted in
+;;; an error up to 0.8.17.31
+(assert (= (coerce #c(1 2) '(complex float)) #c(1.0 2.0)))
+
 ;;; COERCE also sometimes failed to verify that a particular coercion
 ;;; was possible (in particular coercing rationals to bounded float
 ;;; types.
@@ -106,7 +110,10 @@
   (let* ((x (random most-positive-fixnum))
 	 (x2 (* x 2))
 	 (x3 (* x 3)))
-    (let ((fn (handler-bind ((sb-ext:compiler-note #'error))
+    (let ((fn (handler-bind ((sb-ext:compiler-note
+                              (lambda (c)
+                                (when (<= x3 most-positive-fixnum)
+                                  (error c)))))
 		(compile nil
 			 `(lambda (y)
 			    (declare (optimize speed) (type (integer 0 3) y))
@@ -203,3 +210,17 @@
 ;;; ASH of a negative bignum by a bignum count would erroneously
 ;;; return 0 prior to sbcl-0.8.4.4
 (assert (= (ash (1- most-negative-fixnum) (1- most-negative-fixnum)) -1))
+
+;;; Whoops.  Too much optimization in division operators for 0
+;;; divisor.
+(macrolet ((frob (name)
+	     `(let ((fn (compile nil '(lambda (x)
+				       (declare (optimize speed) (fixnum x))
+				       (,name x 0)))))
+	       (assert (raises-error? (funcall fn 1) division-by-zero)))))
+  (frob mod)
+  (frob truncate)
+  (frob rem)
+  (frob /)
+  (frob floor)
+  (frob ceiling))