/[gcl]/gcl/ansi-tests/misc.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/misc.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.200 by pfdietz, Fri Jan 14 13:02:15 2005 UTC revision 1.201 by pfdietz, Wed Jan 26 03:21:56 2005 UTC
# Line 9611  Broken at C::WT-MAKE-CLOSURE. Line 9611  Broken at C::WT-MAKE-CLOSURE.
9611         0)))         0)))
9612     1 -8156 -229264929)     1 -8156 -229264929)
9613    0)    0)
9614    
9615    ;;; ecl (25 Jan 2005)
9616    ;;; Error: In a call to AREF, the type of the form *S6* is FIXNUM, not (ARRAY *).
9617    
9618    (deftest misc.521
9619      (funcall
9620       (compile
9621        nil
9622        '(lambda (b)
9623           (declare (optimize (speed 0) (safety 1) (debug 1) (compilation-speed 3)
9624                              (space 0)))
9625           (if b
9626               (let ((*s6* 0))
9627                 0)
9628             (let* ((*s6* (make-array nil :initial-element 0)))
9629               (aref *s6*)))))
9630       nil)
9631      0)
9632    
9633    ;;; nil is not of type number.
9634    
9635    (deftest misc.522
9636      (funcall
9637       (compile
9638        nil
9639        '(lambda (a)
9640           (declare (type (integer -25 38) a))
9641           (declare (optimize (compilation-speed 3) (safety 3) (debug 1) (space 2) (speed 1)))
9642           (flet ((%f2 (f2-1 f2-2
9643                             &optional
9644                             (f2-3 (labels ((%f6 (&optional (f6-1 0) (f6-2 0)) (max a)))
9645                                     (%f6 0)))
9646                             (f2-4 0) (f2-5 0))
9647                       (flet ((%f4 (f4-1 f4-2 f4-3)
9648                                   (flet ((%f15 () f2-3)) a)))
9649                         0)))
9650             (reduce #'(lambda (lmv1 lmv6) a)
9651                     (vector 0 0 0 (%f2 a a) 0 a 0 a 0)
9652                     :start 4 :from-end t))))
9653       35)
9654      35)
9655    
9656    ;;; Incorrect return value
9657    
9658    (deftest misc.523
9659      (funcall
9660       (compile
9661        nil
9662        '(lambda (a)
9663           (declare (type (integer -1011 978) a))
9664           (declare (optimize (compilation-speed 1) (safety 3) (debug 0) (speed 2) (space 1)))
9665           (let ((*s5*
9666                  (cons 0
9667                        (catch 'ct8
9668                          (ash
9669                           (flet ((%f15 (f15-1)
9670                                        (return-from %f15 a)))
9671                             0)
9672                           (min 57
9673                                (lognor (throw 'ct8 (shiftf a 332))
9674                                        (let ((v1 (setf a 371)))
9675                                          a))))))))
9676             a)))
9677       99)
9678      332)

Legend:
Removed from v.1.200  
changed lines
  Added in v.1.201

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26