X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ffloat.pure.lisp;h=cebcc4e1462ed0c2e050a8d6926b14ae9d8b1739;hb=175c318c892b0627b36fa3c4db66f59680242204;hp=1d38c039a63888803c2718b9a5da8997e46466bd;hpb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;p=sbcl.git diff --git a/tests/float.pure.lisp b/tests/float.pure.lisp index 1d38c03..cebcc4e 100644 --- a/tests/float.pure.lisp +++ b/tests/float.pure.lisp @@ -91,12 +91,13 @@ 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 (:fails-on '(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)))) ;;; bug found by jsnell when nfroyd tried to implement better LOGAND ;;; type derivation. @@ -115,3 +116,11 @@ (phase (the (eql #c(1.0d0 2.0d0)) p1)))) #c(1.0d0 2.0d0)) 'double-float)) + +(assert (typep (nth-value + 1 + (ignore-errors + (sb-sys:without-interrupts + (loop repeat 2 summing most-positive-double-float) + (sleep 2)))) + 'floating-point-overflow))