Another failed AVER: (EQ (SB-C::IR2-LVAR-KIND SB-C::2FIRST) :UNKNOWN)

[Paul F. Dietz]

(lambda (a b)
  (declare (notinline eql))
  (labels ((%f14 (f14-1 f14-2)
             (restart-bind nil
               (case f14-1
                 ((1)
                  (shiftf f14-2
                          (if (= 0 a)
                              (return-from %f14
                                (when (= b 1) 1))
                              (decf f14-2
                                    (restart-bind nil
                                      (if (>= f14-2 -71)
                                          (return-from %f14 f14-1)
                                          a))))))
                 ((2) (eval 2))))))
    (%f14 0 b)))

==>

failed AVER: (EQ (SB-C::IR2-LVAR-KIND SB-C::2FIRST) :UNKNOWN)
[...]
  0: (SB-C::%NIP-VALUES-IR2-CONVERT-OPTIMIZER #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-C::%NIP-VALUES :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :..
  1: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 17 :START c1 {102EF36F33}>)
  2: (SB-C:IR2-CONVERT #<SB-C:COMPONENT :NAME SB-IMPL::XSUBTRACT {102EF0F623}>)
[...]

[Stas Boukarev (stassats)]

5725c75bdb9b9326e64360598a5bd071f9698891