/[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.157 by pfdietz, Mon Nov 1 13:37:54 2004 UTC revision 1.158 by pfdietz, Fri Nov 12 01:08:36 2004 UTC
# Line 8466  Broken at C::WT-MAKE-CLOSURE. Line 8466  Broken at C::WT-MAKE-CLOSURE.
8466     805)     805)
8467    0)    0)
8468    
8469    ;;; "The value -13589 is not of type (INTEGER -15205 18871)"
8470    (deftest misc.439
8471      (funcall
8472       (compile
8473        nil
8474        '(lambda (a)
8475           (declare (type (integer -15205 18871) a))
8476           (declare (ignorable a))
8477           (declare
8478            (optimize (space 2)
8479                      ; (sb-c:insert-step-conditions 0)
8480                      (speed 1)
8481                      (safety 1)
8482                      (debug 1)
8483                      (compilation-speed 3)))
8484           (if (<= a (- (setf a 10305))) a 0)))
8485       -13589)
8486      10305)
8487    
8488    ;;; In ACL 7.0 (sparc, Solaris 8, 11 Nov 2004)
8489    ;;; Error: the value of (CAR EXCL::INTEGERS) is NIL, which is not of type INTEGER.
8490    
8491    (deftest misc.440
8492      (funcall
8493       (compile
8494        nil
8495        '(lambda (a b c)
8496           (declare (notinline logior))
8497           (declare (optimize (safety 3) (debug 1) (speed 0) (space 1)
8498                              (compilation-speed 3)))
8499           (flet ((%f10 (&optional &key
8500                                   (key1
8501                                    (logior (flet ((%f4 (f4-1
8502                                                         &optional
8503                                                         &key
8504                                                         (key1 0)
8505                                                         (key2 b)
8506                                                         &allow-other-keys)
8507                                                     c))
8508                                              (%f4 0))))
8509                                   &allow-other-keys)
8510                    0))
8511             (let ((*s8* (%f10)))
8512               (declare (special *s8*))
8513               *s8*))))
8514       13524 4484529434427 8109510572804)
8515      0)
8516    
8517    ;;; Error: the value of realpart is nil, which is not of type (or rational float).
8518    (deftest misc.441
8519      (funcall
8520       (compile
8521        nil
8522        '(lambda (a b)
8523           (declare (notinline complex))
8524           (declare (optimize (compilation-speed 1) (space 1) (speed 3) (safety 2) (debug 3)))
8525           (flet ((%f8 (f8-1 f8-2 &optional
8526                             &key (key1 (labels ((%f9 nil a)) (complex (%f9) 0)))
8527                             (key2 0) &allow-other-keys)
8528                    0))
8529             (%f8 0 a))))
8530       1 2)
8531      0)
8532    
8533    ;;; Error: the value of excl::x is nil, which is not of type integer.
8534    (deftest misc.442
8535      (funcall
8536       (compile
8537        nil
8538        '(lambda (a b)
8539           (declare (notinline apply evenp))
8540           (declare (optimize (speed 1) (space 1) (safety 1) (compilation-speed 0) (debug 0)))
8541           (labels ((%f18 (f18-1 &optional
8542                                 &key
8543                                 (key1 (flet ((%f8 nil b)) (if (evenp (%f8)) 0 a)))
8544                                 (key2 0))
8545                      0))
8546             (apply #'%f18 b nil))))
8547       505808341634 -39752189)
8548      0)
8549    
8550    ;;; Error: No from-creg to move to <3:iparam2@(:iparam 2){4=c{s:<3>}}> before (move-throw-tag nil nil -> ({18}) ([18>>:frame :dfr]))
8551    
8552    (deftest misc.443
8553      (funcall
8554       (compile
8555        nil
8556        '(lambda (a b c d e)
8557           (declare (type (integer -2310674 2) a))
8558           (declare (type (integer -492505702625 -147091001460) b))
8559           (declare (type (integer -27638568 52971156) c))
8560           (declare (type (integer -151 203) d))
8561           (declare (type (integer -1400301 8173230) e))
8562           (declare (ignorable a b c d e))
8563           (declare (optimize (compilation-speed 3) (debug 0) (space 0) (safety 1) (speed 1)))
8564           (catch 'ct7 (lcm (case 0
8565                              ((-4557) (let ((*s7* (max d))) 0))
8566                              ((-15387) c)
8567                              (t 0))
8568                            (unwind-protect (throw 'ct7 b) 0)))))
8569       -1748290 -244489705763 38969920 -90 341977)
8570      -244489705763)

Legend:
Removed from v.1.157  
changed lines
  Added in v.1.158

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