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

[Paul F. Dietz]

(declaim (special *s2*))

(defun f327 (a)
  (block b7
    (boole boole-1
           (count a #(1 1 2))
           (let ((*s2*
                  (catch 'ct4 (return-from b7 (catch 'ct6 (block b6 0))))))
             a))))

==>

failed AVER: (NOT (SB-INT:MEMQ PUSH SB-C::END-STACK))
[...]
  0: (SB-C::ORDER-BLOCK-UVL-SETS #<SB-C::CBLOCK 10 :START c1 {101F7843E3}> #<SB-C::CBLOCK 13 :START c2 {101F778463}>)
  1: (SB-C::ORDER-UVL-SETS #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) {101F77BE13}>)
  2: (SB-C::STACK-ANALYZE #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) {101F77BE13}>)
  3: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) {101F77BE13}>)
[...]

[Stas Boukarev (stassats)]

a6cd4c628b42f71c22e35e8633814fee5340b86b