+# This used to not warn, because the VALUES derive-type optimizer was
+# insufficiently precise.
+cat > $tmpfilename <<EOF
+ (in-package :cl-user)
+ (defun foo (x) (declare (ignore x)) (values))
+ (defun bar (x) (1+ (foo x)))
+EOF
+expect_failed_compile $tmpfilename
+
+# Even after making the VALUES derive-type optimizer more precise, the
+# following should still be clean.
+cat > $tmpfilename <<EOF
+ (in-package :cl-user)
+ (defun foo (x) (declare (ignore x)) (values))
+ (defun bar (x) (car x))
+EOF
+expect_clean_compile $tmpfilename
+