Failed AVER in SB-C::NODE-ENDS-BLOCK
Bug #1728692 reported by
Paul F. Dietz
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
(defun f9 (a)
(block b2
(evenp
(let* ((v1 (make-array nil :initial-element
(declare (dynamic-extent v1))
(aref v1)
))))
==>
failed AVER:
(AND (EQ (SB-C::CTRAN-KIND SB-C::START) :INSIDE-BLOCK)
(NOT (SB-C::
This appears to have something to do with the DYNAMIC-EXTENT declaration. It also doesn't occur if the zero dimensional array is replaced with a vector of 1 element.
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
status: | Fix Released → Fix Committed |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Simplified:
(defun f9 (a)
( restart- bind nil
(return- from b2 a)))))
(block b2
(let* ((v1 (make-array nil :initial-element
(declare (dynamic-extent v1))
(aref v1)
)))