[Sbcl-commits] CVS: sbcl BUGS, 1.505, 1.506 version.lisp-expr, 1.3158, 1.3159

[William H. N. <wn...@us...>]

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv19375

Modified Files:
	BUGS version.lisp-expr 
Log Message:
1.0.1.16:
	logged bugs reported by Ariel Badichi


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.505
retrieving revision 1.506
diff -u -d -r1.505 -r1.506
--- BUGS	29 Oct 2006 19:44:45 -0000	1.505
+++ BUGS	9 Jan 2007 16:27:20 -0000	1.506
@@ -1723,3 +1723,32 @@
  as of 0.9.18.11 the file compiler breaks on it:
   failed AVER: "(NOT (FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P CLAMBDA))"
  Defining the missing MAKE-LOAD-FORM method makes the error go away.
+
+407: misoptimization of loop, COERCE 'FLOAT, and HANDLER-CASE for bignums
+  (reported by Ariel Badichi on sbcl-devel 2007-01-09)
+  407a: In sbcl-1.0.1 on Linux x86, 
+		(defun foo ()
+		  (loop for n from (expt 2 1024) do
+		        (handler-case
+		            (coerce n 'single-float)
+		          (simple-type-error ()
+		            (format t "Got here.~%")
+		            (return-from foo)))))
+		(foo)
+        causes an infinite loop, where handling the error would be expected.
+  407b: In sbcl-1.0.1 on Linux x86, 
+		(defun bar ()
+		  (loop for n from (expt 2 1024) do
+		        (handler-case
+		            (format t "~E~%" (coerce n 'single-float))
+		          (simple-type-error ()
+		            (format t "Got here.~%")
+		            (return-from bar)))))
+        fails to compile, with
+		Too large to be represented as a SINGLE-FLOAT: ...
+	from
+		0: ((LABELS SB-BIGNUM::CHECK-EXPONENT) ...)
+		1: ((LABELS SB-BIGNUM::FLOAT-FROM-BITS) ...)
+		2: (SB-KERNEL:%SINGLE-FLOAT ...)
+		3: (SB-C::BOUND-FUNC ...)
+		4: (SB-C::%SINGLE-FLOAT-DERIVE-TYPE-AUX ...)

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.3158
retrieving revision 1.3159
diff -u -d -r1.3158 -r1.3159
--- version.lisp-expr	9 Jan 2007 03:25:02 -0000	1.3158
+++ version.lisp-expr	9 Jan 2007 16:27:20 -0000	1.3159
@@ -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.1.15"
+"1.0.1.16"