X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Farith.pure.lisp;h=8d1d12b2fccef389ac0a3ed20d29e37ce05b993b;hb=a4c3562138e342465826de31fb8c324ae8a4b594;hp=8c47082f9941c5e689b0f8c7f0d9162d76ee560e;hpb=1e9966d5f24709d227e20911b4e1ddd27c87a00e;p=sbcl.git

diff --git a/tests/arith.pure.lisp b/tests/arith.pure.lisp
index 8c47082..8d1d12b 100644
--- a/tests/arith.pure.lisp
+++ b/tests/arith.pure.lisp
@@ -206,3 +206,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))