Re: [Sbcl-bugs] Bug: full call to SB-VM::+-MODFX

Fixed. Thanks.

On Mon, Jan 5, 2026 at 5:00 PM Eric Marsden via Sbcl-bugs
<[email protected]> wrote:
>
> Hi,
>
> This is from random-integer testing on AMD64. I think I have reported it
> previously; it occurs quite frequently in random testing.
>
> * (lisp-implementation-version)
> "2.6.0.45-63a751f21"
> * (defun foo (a b)
>      (declare (type (integer -7 7) b))
>      (mask-field (byte 14 0)
>                  (+ (ash a b) -1)))
>
> debugger invoked on a SB-INT:BUG in thread
> #<THREAD tid=152936 "main thread" RUNNING {1200BE8003}>:
>      full call to SB-VM::+-MODFX
>    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.
>
> (SB-INT:BUG "full call to ~S" SB-VM::+-MODFX)
> 0] backtrace
>
> Backtrace for: #<SB-THREAD:THREAD tid=152936 "main thread" RUNNING
> {1200BE8003}>
> 0: (SB-INT:BUG "full call to ~S" SB-VM::+-MODFX)
> 1: (SB-C::PONDER-FULL-CALL #<SB-C::COMBINATION :FUN SB-VM::+-MODFX :ARGS
> (#<SB-C::COMBINATION :FUN ASH :ARGS (#<SB-C::COMBINATION :FUN
> SB-C::MASK-SIGNED-FIELD :ARGS # {120291E1C3}> #<SB-C::REF :%SOURCE-NAME
> B :LEAF # {12029197A3}>) {1202919583}> #<SB-C::REF  :LEAF -1
> {1202919A23}>) {1202919303}>)
>
>
> _______________________________________________
> Sbcl-bugs mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/sbcl-bugs


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