failed AVER: (SB-INT:SINGLETON-P SB-C::SUCC) (in IR1)

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

Bug Description

From random tester on current HEAD:

(progn
  (declaim (special *s*))
  (defun f1 (a b)
    (progn
      (tagbody
         (ash (catch 'ct7 0)
              (flet ((%f8 (f8-2 f8-3 &key (key1 (progv '(*s*) (list 0) (go tag5))))
                       f8-2))
                (logand (%f8 0 (go tag5)) (%f8 b 0))))
       tag5)
      0)))

failed AVER: (SB-INT:SINGLETON-P SB-C::SUCC)
[...]
Backtrace:
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (SB-INT:SINGLETON-P SB-C::SUCC))
  1: (SB-IMPL::%FAILED-AVER (SB-INT:SINGLETON-P SB-C::SUCC))
  2: (SB-C::UNLINK-NODE #<SB-C::CRETURN :LAMBDA #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::&OPTIONAL-PROCESSOR #) :KIND :DELETED :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-..
[...]

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers