1.0.13.39: record bug #421

 * Unchecked RETURN reported by Kevin Reid.

diff --git a/BUGS b/BUGS
index a33ce7f..b22778b 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1914,3 +1914,12 @@ Which should be fixed, the IR1, or the backend?
   seems to lie if the OS is buffering input for us on Console.)
 
   reported by Elliot Slaughter on sbcl-devel 2008/1/10.
+
+422: out-of-extent return not checked in safe code
+
+ (declaim (optimize safety))
+ (funcall (catch 't (block nil (throw 't (lambda () (return))))))
+
+behaves ...erratically. Reported by Kevin Reid on sbcl-devel
+2007-07-06. (We don't _have_ to check things like this, but we
+generally try to check returns in safe code, so we should here too.)

diff --git a/version.lisp-expr b/version.lisp-expr
index fc09100..ec4f357 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -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".)
-"1.0.13.38"
+"1.0.13.39"