failed AVER: (EQ (SB-C::BASIC-COMBINATION-KIND SB-C::NODE) :LOCAL)

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

Bug Description

(defun f60 (a)
   (declare (optimize (safety 0)))
   (flet ((%f1 (x y) 0))
     (apply #'%f1 a (list 0))))

===>

failed AVER:
    (EQ (SB-C::BASIC-COMBINATION-KIND SB-C::NODE) :LOCAL)
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ (SB-C::BASIC-COMBINATION-KIND SB-C::NODE) :LOCAL))
  1: (SB-IMPL::%FAILED-AVER (EQ (SB-C::BASIC-COMBINATION-KIND SB-C::NODE) :LOCAL))
  2: ((FLET SB-C::CLOSURE-NEEDING-IR1-ENVIRONMENT-FROM-NODE :IN SB-C::IR1-OPTIMIZE-MV-CALL))
  3: (SB-C::%WITH-IR1-ENVIRONMENT-FROM-NODE #<SB-C::MV-COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :KIND :EXTERNAL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID..
  4: (SB-C::IR1-OPTIMIZE-MV-CALL #<SB-C::MV-COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :KIND :EXTERNAL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (..
[...]

Stas Boukarev (stassats) wrote :

In a6b43b1393eb989b6b49bfedc3bb3e3cda495eb1

Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats) on 2018-01-31
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