failed AVER: (SUBSETP SB-C::END SB-C::END-STACK)

Bug #1738095 reported by Paul F. Dietz on 2017-12-13
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
High
Unassigned

Bug Description

(declaim (special *s*))

(defun f40 ()
  (let* ((*s* (cons 1 (restart-case (cons 2 0)))))
    (declare (dynamic-extent *s*))
    3))

===>

failed AVER: (SUBSETP SB-C::END SB-C::END-STACK)
[...]
Backtrace:
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (SUBSETP SB-C::END SB-C::END-STACK))
  1: (SB-IMPL::%FAILED-AVER (SUBSETP SB-C::END SB-C::END-STACK))
  2: (SB-C::ORDER-BLOCK-UVL-SETS #<SB-C::CBLOCK 4 :START c1 {100512A153}> #<SB-C::CBLOCK 5 :START c2 {1005125883}>)
  3: (SB-C::ORDER-UVL-SETS #<SB-C:COMPONENT :NAME F40 {100512A983}>)
  4: (SB-C::STACK-ANALYZE #<SB-C:COMPONENT :NAME F40 {100512A983}>)
[...]

Stas Boukarev (stassats) wrote :

(defun f40 ()
  (let* ((* (list (let ((* (list nil)))
                    (declare (dynamic-extent *))
                    (list 1)))))
    (declare (dynamic-extent *))))

Changed in sbcl:
status: New → Triaged
importance: Undecided → High

Fixed in d4a5ca1d2da54a97b0b5345393517f7b6bf97cb4.

Changed in sbcl:
status: Triaged → Fix Committed
Stas Boukarev (stassats) on 2017-12-29
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers