failed AVER: (NULL SB-C::CURRENT)

Bug #1738301 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 f44 ()
  (declare (optimize (safety 3)))
  (let ((v3 0))
    (cdr (1- (block b5 (if nil v3 0))))))

==>

failed AVER: (NULL SB-C::CURRENT)

The stack trace is odd; it's thinking v3 is not there (incorrectly) and then failing in sb-c::find-original-source.

(If the implicit type error at the CDR is detected and signaled at compile time this should throw a TYPE-ERROR, not a SB-INT:BUG.)

Paul F. Dietz (paul-f-dietz) wrote :

Another example. The type of LOGBITP conflicts with 1+, but the same failed AVER occurs.

(defun f45 ()
  (flet ((%f2 (f2-1 f2-2) -148770))
    (1+ (logbitp 2
                 (block b4
                   (if nil
                    (%f2 4094 19)
                    0))))))

Stas Boukarev (stassats) wrote :

In 97c208a97180b9cfc19c7046dbe059e94295acd2

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