From 64d12ee18efef296474a38929171285ecf58d26a Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Wed, 10 Sep 2003 12:25:08 +0000 Subject: [PATCH] Added a test for a bug that had been found in SBCL by randomized testing. --- ansi-tests/logand.lsp | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/ansi-tests/logand.lsp b/ansi-tests/logand.lsp index ad14bd3d..25fdbd0b 100644 --- a/ansi-tests/logand.lsp +++ b/ansi-tests/logand.lsp @@ -73,7 +73,14 @@ for args = (nconc (make-list (1- i) :initial-element -1) (list 183)) always (eql (apply #'logand args) 183)) - t) + t) + +(deftest logand.9 + (loop for i from -1 to 0 always + (loop for j from -1 to 0 always + (locally (declare (type (integer -1 0) i j)) + (eql (logand i j) (if (or (zerop i) (zerop j)) 0 -1))))) + t) (deftest logand.order.1 (let ((i 0) a b) -- GitLab