failed AVER: (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA))

Bug #1738288 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

Another failed AVER on malformed code. The block's name should be a symbol.

Low priority bug.

(flet ((f (x &key (k (block 1))) x)) #'f)

==>

failed AVER:
    (NOT
     (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA))
[...]
Backtrace:
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
  1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
  2: (SB-C::DELETE-LAMBDA #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::TL-XEP (LAMBDA NIL)) :KIND :EXTERNAL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEF..
  3: (SB-C::DELETE-BLOCK #<SB-C::CBLOCK 5 :START c1 {1006F6D063}> NIL)
  4: (SB-C::CLEAN-COMPONENT #<SB-C:COMPONENT :NAME (SB-C::&OPTIONAL-PROCESSOR (FLET F)) :REANALYZE T {1006F749A3}> #<SB-C::CBLOCK 1 :START c2 {1006F74533}>)
  5: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME (SB-C::&OPTIONAL-PROCESSOR (FLET F)) :REANALYZE T {1006F749A3}> NIL)
[...]

Stas Boukarev (stassats) wrote :

In bf54319de5e2d0fe62851182df54101f364687d6

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