Bug: unreachable code reached with ASH

Hi,

This is from random-integer testing on AMD64.

* (lisp-implementation-version)
"2.5.11.34-373278e4e"
* (defun foo (a b c d)
    (declare (type (integer -1637612604549873227 17150573344235600) a))
    (declare (type (integer -1 0) c))
    (declare (type (integer -182681444 2477430) d))
    (mask-field (byte 26 13)
                (ash
                 (- 122944 a 9223372036854775808 22 -18)
                 (min 81
                      (logxor c d d 16552 (setq b -48829805537) 48043 a 
c -63
                              (round b 4)
                              a)))))
FOO
* (foo -627835321579457270 -62240250900 -1 -179064721)

debugger invoked on a SB-INT:BUG @B800B7C78D in thread
#<THREAD tid=71402 "main thread" RUNNING {1200BF0003}>:
     Unreachable code reached
   This is probably a bug in SBCL itself. (Alternatively, SBCL might 
have been
   corrupted by bad user code, e.g. by an undefined Lisp operation like
   (FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from 
unsafe
   Lisp code; or there might be a bug in the OS or hardware that SBCL is 
running
   on.) If it seems to be a bug in SBCL itself, the maintainers would 
like to
   know about it. Bug reports are welcome on the SBCL mailing lists, 
which you
   can find at <http://sbcl.sourceforge.net/>.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
   0: [ABORT] Exit debugger, returning to top level.

(FOO -627835321579457270 #<unused argument> -1 -179064721)
    source: (ASH (- 122944 A 9223372036854775808 22 -18)
                 (MIN 81
                      (LOGXOR C D D 16552 (SETQ B -48829805537) 48043 A 
C -63
                              (ROUND B 4) A)))


_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel