X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fclos.impure-cload.lisp;fp=tests%2Fclos.impure-cload.lisp;h=e6a4f8b6f047193e04c2b3e22b009a308072f9a9;hb=7c5138fcbdb302abc563a2060493f2f0304ae902;hp=26dd5948e0d6ce4555b423dda0840ecac90e5aa1;hpb=2f97d815387f1b533b50293cca5ec37100b9a559;p=sbcl.git

diff --git a/tests/clos.impure-cload.lisp b/tests/clos.impure-cload.lisp
index 26dd594..e6a4f8b 100644
--- a/tests/clos.impure-cload.lisp
+++ b/tests/clos.impure-cload.lisp
@@ -119,6 +119,17 @@
 	    (declare (ignore x)) (setq y 'foo)))
   (style-warning (c) (error c)))
 
+;;; ctor optimization bugs:
+;;;
+;;; :DEFAULT-INITARGS not checked for validity
+(defclass invalid-default-initargs ()
+  ((foo :initarg :foo))
+  (:default-initargs :invalid-initarg 2))
+(multiple-value-bind (result condition)
+    (ignore-errors (make-instance 'invalid-default-initargs :foo 1))
+  (assert (null result))
+  (assert (typep condition 'program-error)))
+
 ;;; from Axel Schairer on cmucl-imp 2004-08-05
 (defclass class-with-symbol-initarg ()
   ((slot :initarg slot)))