failed AVER: (EQ (SB-C::CTRAN-KIND SB-C::CTRAN) :BLOCK-START)

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

Bug Description

(defun f67 (x &rest args)
  (unless
      (if (eq x :tud)
          (zerop (first args))
          (every #'identity args (every #'identity args)))
    args))

===>

failed AVER: (EQ (SB-C::CTRAN-KIND SB-C::CTRAN) :BLOCK-START)
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ (SB-C::CTRAN-KIND SB-C::CTRAN) :BLOCK-START))
  1: (SB-IMPL::%FAILED-AVER (EQ (SB-C::CTRAN-KIND SB-C::CTRAN) :BLOCK-START))
  2: (SB-C::%USE-CTRAN #<SB-EXT:EXIT :ENTRY #<SB-C::ENTRY {100440DAF3}> :VALUE #<SB-C::LVAR 1 {1004453F93}> {1004453FE3}> #<SB-C::CTRAN 2 {100440BB93}>)
  3: (SB-C::IR1-CONVERT-RETURN-FROM #<SB-C::CTRAN 3 {1004453C73}> #<SB-C::CTRAN 4 {10044536B3}> #<unused argument> (RETURN-FROM #:BLOCK4 NIL))
[...]

Stas Boukarev (stassats) on 2018-01-11
tags: added: ir-copy
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers