failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE))

[Paul F. Dietz]

(defun f61 (a)
  (declare (notinline + logbitp > zerop gcd))
  (declare (optimize (debug 3)))
  (gcd
   (block b3
     (loop for lv2 below 1
        count (zerop
               (progn
                 (if (logbitp 0
                              (if (> 0)
                                  (return-from b3 b)
                                  a))
                     0
                     0)
                 0))))
   (if (logbitp 0 (+ 0))
       0
       0)))

===>

failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE))
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)))
  1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)))
  2: (SB-C::IR2-CONVERT-CAST #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {1008B30523}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-TYPE INTEGER> :TYPE-TO-CHECK #1# {1008B508D3}> #<SB-C::IR2-BLOCK :STAR..
  3: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 8 :START c2 {1008B30633}>)
[...]

[Stas Boukarev (stassats)]

In f05b33fb1f2025892ea6a0609b5d3ffb733cd4d1