[Sbcl-commits] CVS: sbcl BUGS,1.445,1.446 NEWS,1.729,1.730 version.lisp-expr,1.2027,1.2028

[Alexey D. <ade...@us...>]

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

Modified Files:
	BUGS NEWS version.lisp-expr 
Log Message:
0.8.20.8:
        * Disable backtrace checking on (and x86 linux).
        * Describe bugs MISC.555 and MISC.563.
        * Define out-of-line %ATAN2 on x86 (fix MISC.564).


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.445
retrieving revision 1.446
diff -u -d -r1.445 -r1.446
--- BUGS	6 Mar 2005 10:33:28 -0000	1.445
+++ BUGS	7 Mar 2005 06:53:14 -0000	1.446
@@ -2051,3 +2051,27 @@
     fatal error encountered in SBCL pid 8356:
     GC invariant lost, file "gc-common.c", line 605
   on ppc/darwin. Test disabled for the duration.
+
+375: MISC.555
+    (compile nil '(lambda (p1)
+		    (declare (optimize (speed 1) (safety 2) (debug 2) (space 0))
+			     (type keyword p1))
+		    (keywordp p1)))
+
+  fails on hairy type check in IR2.
+
+  1. KEYWORDP is MAYBE-INLINE expanded (before TYPEP-like
+     transformation could eliminate it).
+
+  2. From the only call of KEYWORDP the type of its argument is
+     derived to be KEYWORD.
+
+  2. Type check for P1 is generated; it uses KEYWORDP to perform the
+     check, and so references the local function; from the KEYWORDP
+     argument type new CAST to KEYWORD is generated. The compiler
+     loops forever.
+
+376: MISC.563
+  Type deriver for CONJUGATE thinks that it returns an object of the
+  same type as its argument, which is wrong for such types as (EQL
+  #C(1 2)).

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.729
retrieving revision 1.730
diff -u -d -r1.729 -r1.730
--- NEWS	6 Mar 2005 10:33:28 -0000	1.729
+++ NEWS	7 Mar 2005 06:53:14 -0000	1.730
@@ -21,6 +21,8 @@
   * contrib improvement: the SB-SIMPLE-STREAMS contrib now defines
     STRING-SIMPLE-STREAM and FILE-SIMPLE-STREAM as subclasses of
     STRING-STREAM and FILE-STREAM, respectively.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** MISC.564: defined out-of-line version of %ATAN2 on x86.
 
 changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19:
   * fixed inspection of specialized arrays. (thanks to Simon Alexander)

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.2027
retrieving revision 1.2028
diff -u -d -r1.2027 -r1.2028
--- version.lisp-expr	6 Mar 2005 10:33:30 -0000	1.2027
+++ version.lisp-expr	7 Mar 2005 06:53:15 -0000	1.2028
@@ -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".)
-"0.8.20.7"
+"0.8.20.8"