failed AVER: (NOT (SB-INT:MEMQ PUSH SB-C::END-STACK))

[Paul F. Dietz]

(defun f234 (a b)
  (catch 'ct1
    (labels ((%f12 (f12-1 f12-2 &key (key1 b))
               (catch 'ct2 (return-from %f12 key1))))
      (%f12 a (%f12 0 b)))))

==>

failed AVER: (NOT (SB-INT:MEMQ PUSH SB-C::END-STACK))
[...]
  0: (SB-C::ORDER-BLOCK-UVL-SETS #<SB-C::CBLOCK 5 :START c1 {102D4EA2D3}> #<SB-C::CBLOCK 12 :START c2 {102D4C9773}>)
  1: (SB-C::ORDER-UVL-SETS #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) {102D4E0AD3}>)
  2: (SB-C::STACK-ANALYZE #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) {102D4E0AD3}>)
  3: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) {102D4E0AD3}>)
  4: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) {102D4E0AD3}>)
[...]

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

Another simpler example:

(defun f325 ()
  (let* ((v (multiple-value-prog1 0)))
    (catch 'c (dotimes (i 0 v)))))

[Stas Boukarev (stassats)]

efe4d492142249a9eba319529d282757e151e987