/[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.168 by pfdietz, Thu Dec 9 14:10:22 2004 UTC revision 1.169 by pfdietz, Tue Dec 14 11:39:36 2004 UTC
# Line 8731  Broken at C::WT-MAKE-CLOSURE. Line 8731  Broken at C::WT-MAKE-CLOSURE.
8731      '(lambda (a b)      '(lambda (a b)
8732             (declare (type (integer -32933298905 -168011) a))             (declare (type (integer -32933298905 -168011) a))
8733             (declare (type (integer -190015111797 16) b))             (declare (type (integer -190015111797 16) b))
8734             (declare             (declare (optimize (speed 2) (compilation-speed 0) (space 0)
8735              (optimize (speed 2)                                (safety 1) (debug 0)))
                       (compilation-speed 0)  
                       (space 0)  
                       (safety 1)  
                       (debug 0)  
                       ; (sb-c:insert-step-conditions 0)  
                       ))  
8736             (logand (+ b -9255) a 63)))             (logand (+ b -9255) a 63)))
8737     -8166030199 -45872222127)     -8166030199 -45872222127)
8738    8)    8)
8739    
8740    ;;; In sbcl 0.8.17.28-signed-modular-arithmetic.3
8741    ;;; Unreachable code is found or flow graph is not properly depth-first ordered.
8742    ;;; (This is apparently a different bug from the previous ones that
8743    ;;;  were causing this message to be printed.)
8744    
8745    (deftest misc.460
8746      (funcall
8747       (compile
8748        nil
8749        '(lambda (a)
8750           (declare (type (integer 50354997 50514623) a))
8751           (declare (ignorable a))
8752           (declare
8753            (optimize (speed 0)
8754                      (safety 0)
8755                      (compilation-speed 3)
8756                      (sb-c:insert-step-conditions 0)
8757                      (debug 1)
8758                      (space 1)))
8759           (loop for lv3 below 2
8760                 sum (if (find 0
8761                               '(-17604051 126613572 -795198 12037855 127043241 -2 -59
8762                                           -3458890 1505 -1 -2 107498637 -977489 172087 421813
8763                                           543299114 12 4311490 569 -3509 -4051770 -1 1 1
8764                                           216399387 -2482 143297 2 304550 -61 -195904988
8765                                           57682175 2344 1294831 -247 -2 25779388 -296 -12115
8766                                           -158487 -15)
8767                               :test 'eql)
8768                         (if (find 0 #(4193594) :test '<)
8769                             (min (catch 'ct6 0) (catch 'ct8 0) 0)
8770                           (let ((*s1* (cons a 0)))
8771                             (car *s1*)))
8772                       0))))
8773       50395193)
8774      0)

Legend:
Removed from v.1.168  
changed lines
  Added in v.1.169

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