Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5413
More information on BUG 315 -- current behaviour is actually
allowed by ANSI, but probably still worth fixing.
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.391
retrieving revision 1.392
diff -u -d -r1.391 -r1.392
--- BUGS 28 May 2004 13:39:20 -0000 1.391
+++ BUGS 30 May 2004 00:02:03 -0000 1.392
@@ -1325,11 +1325,20 @@
(adjust-array x '(5))
(char y 5)))
- SBCL 0.8.10 elides the bounds check somewhere along the line, and
- returns #\Nul (where an error would be much preferable, since a test
- of that form but with (setf (char y 5) #\Space) potentially corrupts
- the heap and certainly confuses the world if that string is used by
- C code.
+ SBCL fails this because (array-dimension y 0) return 10 even after the
+ adjustment, and hence the bounds-check passes. This is strictly
+ speaking legal, since the dictionary entry for ADJUST-ARRAY
+ "If A is displaced to B, the consequences are unspecified if B is
+ adjusted in such a way that it no longer has enough elements to
+ satisfy A."
+ Should this be left as is, or should ARRAY-DIMENSION see if the
+ displaced-to array has shrunk too much and signal an error? An error
+ would probably be preferable, since a test of that form but with
+ (setf (char y 5) #\Space) potentially corrupts the heap and
+ certainly confuses the world if that string is used by C code.
317: "FORMAT of floating point numbers"
reported by Bruno Haible sbcl-devel "various SBCL bugs" from CLISP
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1631
retrieving revision 1.1632
diff -u -d -r1.1631 -r1.1632
--- version.lisp-expr 29 May 2004 15:55:23 -0000 1.1631
+++ version.lisp-expr 30 May 2004 00:02:07 -0000 1.1632
@@ -17,4 +17,4 @@
;;; checkins which aren't released. (And occasionally for internal
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)