ir1-optimize-combination: stop if derive-type finds an error in the call.

And makes combination-kind :error.

Fixes lp#1765749

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/bad-code.pure.lisp b/tests/bad-code.pure.lisp
index 65de3e2c4..5faa651f9 100644
--- a/tests/bad-code.pure.lisp
+++ b/tests/bad-code.pure.lisp
@@ -162,6 +162,15 @@
                   (make-array (do)))
                :allow-failure t))))
 
+(with-test (:name (make-array :dimensions :bad-propagated-value))
+  (assert
+   (nth-value 1
+              (checked-compile
+               `(lambda ()
+                  (let ((x '(("foo"))))
+                    (make-array (list x) :fill-pointer 0)))
+               :allow-warnings t))))
+
 (with-test (:name :&rest-ref-bad-n)
   (assert
    (nth-value 1
@@ -314,3 +323,5 @@
                       `(lambda ()
                          (apply 'find '(3 (1 2 3) :bad t)))
                       :allow-warnings t))))
+
+