Steel Bank Common Lisp

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

Modified Files:
	compiler.impure-cload.lisp 
Log Message:
0.8.10.2:
        * Fix bug 313, reported by Antonio Menezes Leitao: in
          PROPAGATE-FUN-CHANGE before applying source transform, check
          that LEAF corresponds to a global function, not to some
          random named identifier.


Index: compiler.impure-cload.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.impure-cload.lisp,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -d -r1.17 -r1.18
--- compiler.impure-cload.lisp	19 Feb 2004 00:09:06 -0000	1.17
+++ compiler.impure-cload.lisp	30 Apr 2004 10:55:15 -0000	1.18
@@ -360,5 +360,12 @@
 (let ((list (multiple-value-list (values-consumer #'values-producer))))
   (assert (= (length list) 8))
   (assert (null (nth 7 list))))
+
+;;; bug 313: source transforms were "lisp-1"
+(defun srctran-lisp1-1 (cadr) (if (functionp cadr) (funcall cadr 1) nil))
+(assert (eql (funcall (eval #'srctran-lisp1-1) #'identity) 1))
+(defvar caar)
+(defun srctran-lisp1-2 (caar) (funcall (sb-ext:truly-the function caar) 1))
+(assert (eql (funcall (eval #'srctran-lisp1-2) #'identity) 1))
 
 (sb-ext:quit :unix-status 104)

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

Modified Files:
	BUGS version.lisp-expr 
Log Message:
0.8.10.2:
        * Fix bug 313, reported by Antonio Menezes Leitao: in
          PROPAGATE-FUN-CHANGE before applying source transform, check
          that LEAF corresponds to a global function, not to some
          random named identifier.


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.377
retrieving revision 1.378
diff -u -d -r1.377 -r1.378
--- BUGS	30 Apr 2004 03:23:44 -0000	1.377
+++ BUGS	30 Apr 2004 10:55:12 -0000	1.378
@@ -1389,15 +1389,4 @@
   (probably related to the bug 280.)
 
 313: "source-transforms are Lisp-1"
-  (reported by Antonio Menezes Leitao on cll)
-
-  PROPAGATE-FUN-CHANGE when checking, whether source transform is
-  applicable, does not check variable/function original position of the
-  COMBINATION-FUN. So the following functions are miscompiled:
-
-    (defun foo (cadr) (if (functionp cadr) (funcall cadr 1) nil))
-
-    (defvar cadr)
-    (defun foo (cadr) (funcall (truly-the function cadr) 1))
-
-  (check with (FOO #'IDENTITY))
+  (fixed in 0.8.10.2)

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1570
retrieving revision 1.1571
diff -u -d -r1.1570 -r1.1571
--- version.lisp-expr	30 Apr 2004 03:23:44 -0000	1.1570
+++ version.lisp-expr	30 Apr 2004 10:55:13 -0000	1.1571
@@ -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.10.1"
+"0.8.10.2"

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

Modified Files:
	ir1opt.lisp 
Log Message:
0.8.10.2:
        * Fix bug 313, reported by Antonio Menezes Leitao: in
          PROPAGATE-FUN-CHANGE before applying source transform, check
          that LEAF corresponds to a global function, not to some
          random named identifier.


Index: ir1opt.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/ir1opt.lisp,v
retrieving revision 1.91
retrieving revision 1.92
diff -u -d -r1.91 -r1.92
--- ir1opt.lisp	13 Apr 2004 10:30:38 -0000	1.91
+++ ir1opt.lisp	30 Apr 2004 10:55:15 -0000	1.92
@@ -905,7 +905,9 @@
 		 (lvar-uses (basic-combination-fun call))
 		 call))
 	       ((not leaf))
-	       ((and (leaf-has-source-name-p leaf)
+	       ((and (global-var-p leaf)
+                     (eq (global-var-kind leaf) :global-function)
+                     (leaf-has-source-name-p leaf)
                      (or (info :function :source-transform (leaf-source-name leaf))
                          (and info
                               (ir1-attributep (fun-info-attributes info)

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

Modified Files:
	BUGS version.lisp-expr 
Log Message:
0.8.10.1:
        New bug.


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.376
retrieving revision 1.377
diff -u -d -r1.376 -r1.377
--- BUGS	24 Apr 2004 04:40:27 -0000	1.376
+++ BUGS	30 Apr 2004 03:23:44 -0000	1.377
@@ -1387,3 +1387,17 @@
       (list (foo y) (if (> y 1) (funcall (if (> y 0) #'foo #'identity) y))))
 
   (probably related to the bug 280.)
+
+313: "source-transforms are Lisp-1"
+  (reported by Antonio Menezes Leitao on cll)
+
+  PROPAGATE-FUN-CHANGE when checking, whether source transform is
+  applicable, does not check variable/function original position of the
+  COMBINATION-FUN. So the following functions are miscompiled:
+
+    (defun foo (cadr) (if (functionp cadr) (funcall cadr 1) nil))
+
+    (defvar cadr)
+    (defun foo (cadr) (funcall (truly-the function cadr) 1))
+
+  (check with (FOO #'IDENTITY))

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1569
retrieving revision 1.1570
diff -u -d -r1.1569 -r1.1570
--- version.lisp-expr	25 Apr 2004 18:11:51 -0000	1.1569
+++ version.lisp-expr	30 Apr 2004 03:23:44 -0000	1.1570
@@ -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.10"
+"0.8.10.1"