Stack analyze failed AVER

Bug #1811251 reported by Paul F. Dietz on 2019-01-10
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(block b8
  (loop for lv3 below 2 count
       (return-from b8
         (return-from b8
           (restart-bind nil
             (boole boole-1 lv3
                    (boole boole-2 0
                           (catch 'ct4
                             (restart-bind nil
                               (return-from b8 (eval 1)))
                             ))))))))

==>

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

Stas Boukarev (stassats) wrote :

(defun test ()
  (declare (optimize (debug 1) speed (safety 0)))
  (block b8
    (return-from b8
      (let ((lv3 0)
            *)
        (boole boole-1 lv3
               (the integer
                    (catch 'ct4
                      (let ((x (list 1)))
                        (declare (dynamic-extent x))
                        (return-from b8 (eval x))))))))))

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers