Commit 689a72a8 authored by pfdietz's avatar pfdietz
Browse files

SBCL type prop bug in bit-and

parent 196bc0de
......@@ -9759,3 +9759,34 @@ Broken at C::WT-MAKE-CLOSURE.
(%f14 0 a a))))
;;; sbcl
;;; Type propagation problem with BIT-AND
(deftest misc.527
(let ((v1 (make-array 1 :element-type 'bit
:initial-contents '(1)
:fill-pointer 0))
(v2 (make-array 1 :element-type 'bit
:initial-contents '(1)
:fill-pointer 1))
(r (make-array nil)))
`(lambda (r p2)
(declare (optimize speed (safety 1))
(type (simple-array t nil) r)
(type (array *) p2))
(setf (aref r) (bit-and ,v1 (the (bit-vector *) p2)))
r v2)
(let ((result (aref r)))
(notnot (simple-bit-vector-p result))
(=t (array-dimension result 0) 1)
(=t (aref result 0) 1))))
t t t)
\ No newline at end of file
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