Invalid form leads to a failed AVER

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

Bug Description

(defun f41 ()
  (restart-bind (((1) (restart-bind nil 3)))
    ))

==>

failed AVER:
    (AND (EQ (SB-C::CTRAN-KIND SB-C::START) :INSIDE-BLOCK)
         (NOT (SB-C::BLOCK-DELETE-P BLOCK)))

This is not high priority, since the restart-bind form is invalid, but failed AVERs should not be how such errors are signaled.

Stas Boukarev (stassats) wrote :

4ddc738c36b7929daef2c31018a26c482f133caf

Changed in sbcl:
status: New → 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