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

[Paul F. Dietz]

(defun f328 (a b)
  (declare (notinline position))
  (flet ((%f (&optional (f2 a) (f4 0))
           (if (position (if (evenp (catch 'ct4 0)) 0 0) '(0 1))
               (return-from %f
                 (return-from %f
                   (prog2 b
                       (max f2)
                     (restart-bind nil
                       (catch 'ct5
                         (if t
                             (return-from %f f4)
                             ))))))
               (catch 'ct7 0))))
    (%f)))

==>

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 12 :START c1 {10147444F3}>)
  2: (SB-C:IR2-CONVERT #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) {1014721623}>)
[...]

[Stas Boukarev (stassats)]

08385c4e5413fb0675da77e930489e60945118d0