Commit 109a1c3c authored by pfdietz's avatar pfdietz
Browse files

Type propagation error in SBCL

parent 6188ab1a
......@@ -9885,4 +9885,23 @@ Broken at C::WT-MAKE-CLOSURE.
(eqlt (aref r) (+ -319284 c)))
;;; sbcl
;;; Incorrect return value from conditional
(deftest misc.534
(let ((r0 (make-array 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))
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment