From ef3b40427d854c4034ae165abc3de1ffd04bd185 Mon Sep 17 00:00:00 2001 From: Daniel Kochmanski Date: Wed, 16 Aug 2017 22:31:00 +0200 Subject: [PATCH] tests: add regression test for #400 --- .gitignore | 1 + src/tests/normal-tests/compiler.lsp | 12 ++++++++++++ 2 files changed, 13 insertions(+) diff --git a/.gitignore b/.gitignore index 3d05a50e6..6b885ceee 100644 --- a/.gitignore +++ b/.gitignore @@ -98,3 +98,4 @@ regressions/eformat-tests/*.txt /msvc/sb-bsd-sockets.asd /msvc/sockets.asd doc/tmp/ +/src/tests/aux-compiler.0058-coerce.lsp diff --git a/src/tests/normal-tests/compiler.lsp b/src/tests/normal-tests/compiler.lsp index 0d558f361..2114ec4e6 100644 --- a/src/tests/normal-tests/compiler.lsp +++ b/src/tests/normal-tests/compiler.lsp @@ -1257,3 +1257,15 @@ ;; expand-vector-push (is (setf fun (compile nil '(lambda () (vector-push))))) (signals program-error (funcall fun)))) + +;;; Date 2017-08-16 +;;; +;;; Description +;;; +;;; `si:coerce-to-vector' (called from cmpopt) had invalid +;;; check-type statements preventing compilation of valid code. +(test cmp.0058.coerce-expand + (finishes (load (with-compiler ("aux-compiler.0058-coerce.lsp") + '(defun flesh-failures () + (load-time-value + (coerce #(0) '(simple-array (unsigned-byte 8) (1)))))))))