X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.impure.lisp;fp=tests%2Fcompiler.impure.lisp;h=4361794fe3e9b2f37b5ef47edb28c5394d2cd610;hb=e0aff99a73d836da0dad4602e5559595fbe5ba5c;hp=b5d651224629136b53de6a0f204d173fb556f85f;hpb=d47b2f66bdb7abc9de99658e8dbdd1c7c108881e;p=sbcl.git diff --git a/tests/compiler.impure.lisp b/tests/compiler.impure.lisp index b5d6512..4361794 100644 --- a/tests/compiler.impure.lisp +++ b/tests/compiler.impure.lisp @@ -2275,4 +2275,14 @@ (assert (= 7 (funcall fun 15 3)))))) (assert (string= "" trace-output)))) +(test-util:with-test (:name :bug-997528) + (let ((fun (compile nil '(lambda (x) + (declare (optimize (speed 0) (space 0)) + (type (integer -228645653448155482 -228645653447928749) x)) + (floor 1.0 (the (integer -228645653448151677 -228645653448150900) x)))))) + (multiple-value-bind (quo rem) + (funcall fun -228645653448151381) + (assert (= quo -1)) + (assert (= rem (float -228645653448151381)))))) + ;;; success