From 109a1c3c1dc80bbe31e381f9b22e8e51b44e588d Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Wed, 23 Feb 2005 01:29:27 +0000
Subject: [PATCH] Type propagation error in SBCL 0.8.19.35

---
 ansi-tests/misc.lsp | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp
index b1dd0fca..df354f9d 100644
--- a/ansi-tests/misc.lsp
+++ b/ansi-tests/misc.lsp
@@ -9885,4 +9885,23 @@ Broken at C::WT-MAKE-CLOSURE.
     (eqlt (aref r) (+ -319284 c)))
   t)
 
+;;; sbcl 0.8.19.35
+;;; Incorrect return value from conditional
+
+(deftest misc.534
+  (let ((r0 (make-array nil)))
+    (funcall
+     (compile
+      nil
+      '(lambda (r p1 p2 p3)
+	 (declare (optimize speed (safety 1))
+		  (type (eql 4134713351/6105637898) p2)
+		  (type (eql 2685) p3))
+	 (setf (aref r)
+	       (if p1
+		   (the (eql 4134713351/6105637898) p2)
+		 (the (integer * 8391301) p3)))))
+     r0 t 4134713351/6105637898 2685)
+    (aref r0))
+  4134713351/6105637898)
 
-- 
GitLab