From: Alexey Dejneka <adejneka@comail.ru>
Date: Tue, 21 Jan 2003 06:19:27 +0000 (+0000)
Subject: 0.7.11.12:
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=aa8d6cc84c66d67443b33c7463e7a7543d8691fe;p=sbcl.git

0.7.11.12:
        Register bugs in structure slot type checking (CSR and WHN,
        2003-01-19).
---

diff --git a/BUGS b/BUGS
index c9216c7..030c8e9 100644
--- a/BUGS
+++ b/BUGS
@@ -42,7 +42,7 @@ KNOWN BUGS OF NO SPECIAL CLASS:
   program, even if you know or guess enough about the internals of
   SBCL to wager that this (undefined in ANSI) operation would be safe.
 
-3:
+3: "type checking of structure slots"
   a:
   ANSI specifies that a type mismatch in a structure slot
   initialization value should not cause a warning.
@@ -84,6 +84,23 @@ WORKAROUND:
      an error may be signalled at read time and it would be good if
      SBCL did it.
 
+  c: Reading of not initialized slot sometimes causes SEGV.
+
+  d:
+    (declaim (optimize (safety 3) (speed 1) (space 1)))
+    (defstruct foo
+      x y)
+    (defstruct (stringwise-foo (:include foo
+                                         (x "x" :type simple-string)
+                                         (y "y" :type simple-string))))
+    (defparameter *stringwise-foo*
+      (make-stringwise-foo))
+    (setf (foo-x *stringwise-foo*) 0)
+    (defun frob-stringwise-foo (sf)
+      (aref (stringwise-foo-x sf) 0))
+    (frob-stringwise-foo *stringwise-foo*)
+  SEGV.
+
 6:
   bogus warnings about undefined functions for magic functions like
   SB!C::%%DEFUN and SB!C::%DEFCONSTANT when cross-compiling files
diff --git a/version.lisp-expr b/version.lisp-expr
index 3f0b4c9..e538e1c 100644
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.11.11"
+"0.7.11.12"