Fix %vector-widetag-and-n-bits-shift on unbounded numeric union types.

Fixes lp#1769983

src/code/array.lisp

@@ -295,9 +295,16 @@
  (cond ((not (every #'numeric-type-p types))
  (result simple-vector-widetag))
  ((csubtypep ctype (specifier-type 'integer))
- (integer-interval-widetag
- (reduce #'min types :key #'numeric-type-low)
- (reduce #'max types :key #'numeric-type-high)))
+ (block nil
+ (integer-interval-widetag
+ (dx-flet ((low (x)
+ (or (numeric-type-low x)
+ (return (result simple-vector-widetag)))))
+ (reduce #'min types :key #'low))
+ (dx-flet ((high (x)
+ (or (numeric-type-high x)
+ (return (result simple-vector-widetag)))))
+ (reduce #'max types :key #'high)))))
  ((csubtypep ctype (specifier-type 'double-float))
  (result simple-array-double-float-widetag))
  ((csubtypep ctype (specifier-type 'single-float))

tests/array.pure.lisp

@@ -547,3 +547,10 @@
  (make-array 3 :initial-element #\a :element-type type))
  (('(and character (satisfies eval))) "aaa" :test #'equal)
  (('(and character (or (satisfies eval) base-char))) "aaa" :test #'equal)))
+
+(with-test (:name :make-array-or-unsigned-byte-type)
+ (checked-compile-and-assert
+ ()
+ '(lambda (type)
+ (make-array 1 :element-type type))
+ (('(or (eql -16) unsigned-byte)) #(0) :test #'equalp)))

tests/compiler.pure.lisp

@@ -3520,9 +3520,9 @@
  `(lambda ()
  (list (if (typep ,v '(simple-array ,et (*)))
  :good
- :bad)
+ ',et)
  (if (typep (elt ,v 0) '(simple-array ,et (*)))
- :bad
+ ',et
  :good))))))
  (assert (equal '(:good :good) (funcall fun)))))))