[Ecls-list] Re: Summer fixes

[Paul F. Dietz]

Juan Jose Garcia Ripoll wrote:

> I have uploaded a bunch of fixes that I have been developing during the 
> summer.
> 
> Some of them solve stupid problems with previous fixes for 
> --enable-local-gmp and --enable-local-boehm. The others are related to 
> the FLET/LABEL issue, and the analysis of what functions have closures, 
> what variables are closed over, etc.

I've built this (from cvs head) and run the gcl random tester.  Here are some
failures that came up.  They've also been added to the gcl ansi-test suite.

;;; ecl (07 Oct 2004)
;;; (0 . 0) is not of type REAL

(deftest misc.409
   (funcall
    (compile
     nil
     '(lambda (a b)
        (declare (type (integer -40524 53538) a))
        (declare (type (integer -5967075 -235) b))
        (declare (ignorable a b))
        (declare (optimize (speed 2) (safety 1) (space 2)
			  (compilation-speed 3) (debug 0)))
        (labels ((%f2 (f2-1 f2-2 &optional (f2-3 0) (f2-4 a)) 0))
	 (apply #'%f2 a
		(%f2 b
		     (flet ((%f12 (f12-1 f12-2 f12-3 &optional &key
					 (key1 0) (key2 0))
				  (%f2 0 0)))
		       (reduce #'(lambda (lmv2 lmv1) (%f2 0 0 a))
			       (list 0 0 a 0 0 0 a) :end 7))
		     0)
		nil))))
    -7465 -3590953)
   0)

#|
;;; A bug was found in the compiler.  Contact worm at arrakis.es.

Broken at C::WT-MAKE-CLOSURE.
|#
(deftest misc.410
   (funcall
    (compile
     nil
     '(lambda ()
        (declare (optimize (safety 0) (space 1) (compilation-speed 0)
			  (speed 2) (debug 0)))
        (let ((*s2* 0))
	 (declare (special *s2*))
	 (reduce #'(lambda (lmv1 lmv2) *s2*) (vector 0) :end 1
		 :start 0)))))
   0)

;;; THROW: The catch CT2 is undefined.
(deftest misc.411
   (funcall
    (compile
     nil
     '(lambda ()
        (declare (optimize (safety 2) (debug 0) (space 0)
			  (compilation-speed 2) (speed 0)))
        (catch 'ct2 (values 0 (throw 'ct2 0)))
        0)))
   0)

;;; /tmp/eclDD7aumXi8.c: In function `LC3':
;;; /tmp/eclDD7aumXi8.c:9: `env0' undeclared (first use in this function)
(deftest misc.412
   (funcall
    (compile
     nil
     '(lambda (a b)
        (declare (type (integer -25409 1946) a))
        (declare (type (integer -215956065 223815244) b))
        (declare (ignorable a b))
        (declare (optimize (compilation-speed 2) (space 3) (debug 2)
			  (safety 1) (speed 3)))
        (complex (flet ((%f15 (f15-1 &optional &key (key1 0)) 0))
		  (reduce #'(lambda (lmv6 lmv1) (%f15 lmv1))
			  (list b 0)))
		0)))
    -21802 -105983932)
   0)

;;; Different resutls: #<a type-error>, 0
(deftest misc.413
   (funcall
    (compile
     nil
     '(lambda (a b)
        (declare (type (integer -120206733 37762378) a))
        (declare (type (integer 2777758072 5675328792) b))
        (declare (ignorable a b))
        (declare (optimize (compilation-speed 3) (space 3) (debug 3)
			  (safety 0) (speed 1)))
        (labels ((%f8 (f8-1 f8-2 &optional &key (key1 0))
		     (let* ((v2 (ash f8-1 (min 63 a)))) 0)))
	 (ignore-errors
	   (logand (apply #'%f8 0 b nil)
		   (unwind-protect
		       0
		     (ash (%f8 0 0)
			  (min 48
			       (flet
				   ((%f12
				     (f12-1 f12-2 &optional &key
					    (key1 a) (key2 b)
					    &allow-other-keys)
				     0))
				 b)))))))))
    -4794909 4095236669)
   0)