X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.test.sh;h=f2921ef21be2a00031e44155de4e35faf7874366;hb=d7cbe5c40e93796d326937f3fb962fa4d7b1fa85;hp=39098a7452f256518cb9c15467b518df2209c5c4;hpb=5efae2334933e0d8a998e8abbc12489cd5043b4d;p=sbcl.git

diff --git a/tests/compiler.test.sh b/tests/compiler.test.sh
index 39098a7..f2921ef 100644
--- a/tests/compiler.test.sh
+++ b/tests/compiler.test.sh
@@ -481,5 +481,37 @@ cat > $tmpfilename <<EOF
 EOF
 expect_clean_compile $tmpfilename
 
+cat > $tmpfilename <<EOF
+(in-package :cl-user)
+
+(defun foo ()
+  (declare (muffle-conditions warning))
+  (flet ((foo ()
+           (declare (values fixnum))
+           nil))
+    (foo)))
+EOF
+expect_clean_compile $tmpfilename
+
+cat > $tmpfilename <<EOF
+(in-package :cl-user)
+
+(defun foo (x)
+  (declare (muffle-conditions warning)
+           (type (vector (mod 7) 1) x))
+  (setf (aref x 0) 8)
+  x)
+EOF
+expect_clean_compile $tmpfilename
+
+cat > $tmpfilename <<EOF
+(in-package :cl-user)
+
+(declaim (notinline foo))
+(let ((i 0)) (defun foo (x) (incf i x)))
+(defun bar (x) (foo x))
+EOF
+fail_on_condition_during_compile sb-ext:compiler-note $tmpfilename
+
 # success
 exit $EXIT_TEST_WIN