failed AVER: (EQ (SB-C::CTRAN-KIND SB-C::CTRAN) :BLOCK-START)

[Paul F. Dietz]

(defun f67 (x &rest args)
  (unless
      (if (eq x :tud)
          (zerop (first args))
          (every #'identity args (every #'identity args)))
    args))

===>

failed AVER: (EQ (SB-C::CTRAN-KIND SB-C::CTRAN) :BLOCK-START)
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ (SB-C::CTRAN-KIND SB-C::CTRAN) :BLOCK-START))
  1: (SB-IMPL::%FAILED-AVER (EQ (SB-C::CTRAN-KIND SB-C::CTRAN) :BLOCK-START))
  2: (SB-C::%USE-CTRAN #<SB-EXT:EXIT :ENTRY #<SB-C::ENTRY {100440DAF3}> :VALUE #<SB-C::LVAR 1 {1004453F93}> {1004453FE3}> #<SB-C::CTRAN 2 {100440BB93}>)
  3: (SB-C::IR1-CONVERT-RETURN-FROM #<SB-C::CTRAN 3 {1004453C73}> #<SB-C::CTRAN 4 {10044536B3}> #<unused argument> (RETURN-FROM #:BLOCK4 NIL))
[...]

[Paul F. Dietz (paul-f-dietz)]

Similar failure (w. bad return-from):

(lambda (x p c)
  (when (if p
            (funcall c x)
            (every #'not (mapcar c x)))
    (return-from bogus nil))
  t)

[Stas Boukarev (stassats)]

9462da298a31a20e6509905d0bae4eff48fb920a