SB-C::LVAR-VALUE used on non-constant LVAR #<SB-C::LVAR 1 {10051DD643}>

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

Bug Description

(compile nil '(lambda () (reduce #'+ '(1 2 3) :allow-other-keys t :bad +)))
===>
SB-C::LVAR-VALUE used on non-constant LVAR #<SB-C::LVAR 1 {10051DD643}>
   [Condition of type SIMPLE-ERROR]
[...]
  0: (SB-C::LVAR-VALUE #<SB-C::LVAR 1 {10051DD643}>)
  1: (SB-C::CONSTANT-FOLD-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME REDUCE :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FUN..
  2: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME REDUCE :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOB..
  3: (SB-C::IR1-OPTIMIZE-BLOCK #<SB-C::CBLOCK 3 :START c3 {10051DCB43}>)
[...]

Paul F. Dietz (paul-f-dietz) wrote :

Also fails this way:

(lambda (x) (reduce #'+ '(1 2 3) :allow-other-keys x))

Stas Boukarev (stassats) wrote :

In 8b9e41a1d61b0a8550aa0a7dda24c750508973f9.

Changed in sbcl:
status: New → Incomplete
status: Incomplete → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers