full call to SB-VM::%NEGATE-MODFX

[Paul F. Dietz]

(lambda (a b c)
  (declare (type (integer * 1017758472444364) c))
  (multiple-value-call
      #'(lambda (&optional v8 v4 v3 v6)
          (prog2 0 0 (- v4 (the (satisfies eval) (logior v3 -6)))))
    (if (find (eval 0)
              #(16777213 12649804 16393 126 14012898 2302852 16777215 16776982
                6989902 16209230 8388610 16777213 11690809 14093587 7566043 49374
                0 3907679 3345349 452459 8 7769920 15 128 92769 512480 0 7918645
                9456214 1 16777213 5059760 6459362 8 6843583 4307912 14351061
                16777214 25 70 16132192 0 5701394 1438026 16777214 5464097
                16170514 7187 10981979 16772845 8188 16370525 9548114 9 16384))
        (values c c 0 a)
        (values 0 0
                (/
                 (logxor a -1
                         (if b
                             0
                             1))
                 -1)
                a))))

===>

full call to SB-VM::%NEGATE-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/>.
   [Condition of type SB-INT:BUG]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [*ABORT] Return to SLIME's top level.
 2: [ABORT] abort thread (#<THREAD tid=10927 "repl-thread" RUNNING {1000B28003}>)

Backtrace:
  0: (SB-INT:BUG "full call to ~S" SB-VM::%NEGATE-MODFX)
  1: (SB-C::PONDER-FULL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-VM::%NEGATE-MODFX :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND..
  2: (SB-C::IR2-CONVERT-FULL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-VM::%NEGATE-MODFX :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED ..
  3: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 12 :START c1 {1004B28673}>)
  4: (SB-C:IR2-CONVERT #<SB-C:COMPONENT :NAME "<unknown>" {1004B30193}>)
  5: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {1004B30193}>)
  6: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {1004B30193}>)
  7: (SB-C::%COMPILE (LAMBDA (A B C) (DECLARE (TYPE # C)) (MULTIPLE-VALUE-CALL (FUNCTION #) (IF # # #))) NIL NIL)
 [...]

x86-64, "2.4.3.214-4a7c1bc21"