X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Ffloat.pure.lisp;h=25c992634e82e7c0e3d093d9bb49ab2d4f34572e;hb=7e53ad16e6d2cd5cb22da7e8410f9560019cac19;hp=1d38c039a63888803c2718b9a5da8997e46466bd;hpb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;p=sbcl.git diff --git a/tests/float.pure.lisp b/tests/float.pure.lisp index 1d38c03..25c9926 100644 --- a/tests/float.pure.lisp +++ b/tests/float.pure.lisp @@ -91,12 +91,14 @@ least-positive-double-float)) (assert (= 0.0 (scale-float 1.0 most-negative-fixnum))) (assert (= 0.0d0 (scale-float 1.0d0 (1- most-negative-fixnum)))) -#-(or darwin) ;; bug 372 -(progn - (assert (raises-error? (scale-float 1.0 most-positive-fixnum) - floating-point-overflow)) - (assert (raises-error? (scale-float 1.0d0 (1+ most-positive-fixnum)) - floating-point-overflow))) + +(with-test (:name (:scale-float-overflow :bug-372) + :fails-on '(or :ppc)) ;; bug 372 + (progn + (assert (raises-error? (scale-float 1.0 most-positive-fixnum) + floating-point-overflow)) + (assert (raises-error? (scale-float 1.0d0 (1+ most-positive-fixnum)) + floating-point-overflow)))) ;;; bug found by jsnell when nfroyd tried to implement better LOGAND ;;; type derivation. @@ -115,3 +117,13 @@ (phase (the (eql #c(1.0d0 2.0d0)) p1)))) #c(1.0d0 2.0d0)) 'double-float)) + +(with-test (:name (:addition-overflow :bug-372) + :fails-on '(or :ppc :mips)) + (assert (typep (nth-value + 1 + (ignore-errors + (sb-sys:without-interrupts + (loop repeat 2 summing most-positive-double-float) + (sleep 2)))) + 'floating-point-overflow)))