[Sbcl-devel] test failure in arith.pure.lisp?

[<me...@ho...>]

debugger invoked on a SB-INT:SIMPLE-COMPILER-NOTE in thread 1075404928:
  unable to
    fold zero arg
  due to type uncertainty:
    The first argument is a FIXNUM, not a (INTEGER 0 0).

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

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

((LAMBDA (C)) #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>)
0] ba

0: ((LAMBDA (C)) #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>)
1: (SIGNAL #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>)
2: (SB-C:COMPILER-NOTIFY
    "~@<unable to ~
                                ~2I~_~A ~
                                ~I~_due to type uncertainty: ~
                                ~2I~_~{~?~^~@:_~}~:>")
3: (SB-C::NOTE-FAILED-OPTIMIZATION
    #<SB-C::COMBINATION
      :FUN #<SB-C::REF :LEAF # {978E419}>
      :ARGS (#<SB-C::COMBINATION :FUN # :ARGS # {978E911}>
             #<SB-C::REF :LEAF # {9791E51}>) {978E451}>
    ((#<SB-C::TRANSFORM
        :TYPE #<SB-KERNEL:FUN-TYPE #>
        :NOTE "fold zero arg"
        :IMPORTANT NIL>
      . #<SB-KERNEL:FUN-TYPE (FUNCTION (# INTEGER) *)>)))
4: (MAPHASH
    #<FUNCTION SB-C::NOTE-FAILED-OPTIMIZATION>
    #<HASH-TABLE :TEST EQ :COUNT 6 {978B001}>)
5: (SB-C::IR1-FINALIZE #<SB-C:COMPONENT :NAME NIL {978AE51}>)
6: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME NIL {978AE51}>)
7: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME NIL {978AE51}>)
8: (SB-C::%COMPILE
    (LAMBDA (Y)
      (DECLARE (OPTIMIZE SPEED) (TYPE (INTEGER 0 3) Y))
      (* Y 45063894))
    #<SB-C::CORE-OBJECT >)
9: ((LAMBDA ()))
10: (SB-C::%WITH-COMPILATION-UNIT #<CLOSURE (LAMBDA #) {9788F8D}>)
11: (SB-C::ACTUALLY-COMPILE
     NIL
     (LAMBDA (Y)
       (DECLARE (OPTIMIZE SPEED) (TYPE (INTEGER 0 3) Y))
       (* Y 45063894))
     #<NULL-LEXENV>)
12: (SB-C:COMPILE-IN-LEXENV
     NIL
     (LAMBDA (Y)
       (DECLARE (OPTIMIZE SPEED) (TYPE (INTEGER 0 3) Y))
       (* Y 45063894))
     #<NULL-LEXENV>)
13: (COMPILE
     NIL
     (LAMBDA (Y)
       (DECLARE (OPTIMIZE SPEED) (TYPE (INTEGER 0 3) Y))
       (* Y 45063894)))
...