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

[Paul F. Dietz]

(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)]

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)]

In 97c208a97180b9cfc19c7046dbe059e94295acd2