[Ecls-list] Re: (random tester) Various test failures

[Paul F. Dietz]

I wrote:

> Here are some bugs revealed by the tester.  MULTIPLE-VALUE-CALL appears
> to be involved in two of the failures

And here are some more failing test cases, in DEFTEST form:

;;; `env0' undeclared (first use in this function)
(deftest misc.204
   (funcall
    (compile
     nil
     '(lambda (a b)
           (declare (type (integer -4801373 -50300) a))
           (declare (type (integer -62 -28) b))
           (declare (ignorable a b))
           (declare (optimize (speed 1) (space 3) (safety 3) (debug 2)
                        (compilation-speed 2)))
           (flet ((%f12 (f12-1) 0))
             (labels ((%f3 (f3-1 f3-2 f3-3 &optional (f3-4 b) (f3-5 b)
                                 (f3-6 (labels ((%f9 nil b))
                                         (apply #'%f12 (%f9) nil))))
                           (%f12 0)))
               (%f3 b 0 a)))))
    -2224841 -54)
   0)

;;; #<compiled-function 08405fd8> is not of type INTEGER.
(deftest misc.205
   (funcall
    (compile
     nil
     '(lambda (a b)
        (declare (optimize (speed 3) (space 1) (safety 1) (debug 0)
			  (compilation-speed 3)))
        (labels ((%f1 nil b))
	 (flet ((%f11 (f11-1 f11-2 f11-3) 0))
	   (apply #'%f11 a (logand (%f1))
		  (flet ((%f13 (f13-1 f13-2) b))
		    (apply #'%f13 0 0 nil))
		  nil)))))
    100 200)
   0)

;;; #<bytecompiled-function %F14> is not of type INTEGER.
(deftest misc.206
   (funcall
    #'(lambda (a b)
        (declare (notinline mask-field byte))
        (declare (optimize (speed 1) (space 1) (safety 2) (debug 1)
			  (compilation-speed 2)))
        (mask-field (byte 0 0)
		   (block b3
		     (labels ((%f14 nil (return-from b3 a))) (%f14)))))
    1 2)
   0)

;;; #<compiled-closure 08405fd8> is not of type INTEGER
(deftest misc.207
   (funcall
    (compile
     nil
     '(lambda (a)
        (declare (optimize (speed 3) (space 2) (safety 0) (debug 1)
			  (compilation-speed 0)))
        (labels ((%f3 (f3-1) a))
	 (labels ((%f10 (f10-1 f10-2) a))
	   (apply #'%f10 0 (logior (%f3 0)) nil)))))
    -10000)
   -10000)

;;; `env0' undeclared (first use in this function)
(deftest misc.208
   (funcall
    (compile
     nil
     '(lambda (b)
        (declare (optimize (speed 3) (space 2) (safety 3) (debug 3)
			  (compilation-speed 0)))
        (flet ((%f6 (f6-1 f6-2 f6-3) f6-3))
	 (labels ((%f8 (f8-1) (let* ((v1 (%f6 0 0 0))) 0)))
	   (apply #'%f6 b b (%f8 b) nil)))))
    10)
   0)

	Paul