Re: Bug: unreachable code reached with ASH

Fixed. Thanks.

On Fri, Dec 5, 2025 at 8:42 PM Eric Marsden via Sbcl-devel
<[email protected]> wrote:
>
> 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


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