The value NIL is not of type SB-C::LVAR when binding SB-C::LVAR in DXIFY-DOWNWARD-FUNARGS

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

Bug Description

(defun f124 ()
  (flet ((%f (map) (funcall map)))
    (%f #'f1)
    (%f #'f2)))

==>

The value
  NIL
is not of type
  SB-C::LVAR
when binding SB-C::LVAR
[...]
  0: (SB-C::PRINCIPAL-LVAR-USE NIL)
  1: (SB-C::DXIFY-DOWNWARD-FUNARGS #<SB-C::COMBINATION :FUN #<SB-C::REF :%SOURCE-NAME SB-C::THING :LEAF #<SB-C::LAMBDA-VAR :%SOURCE-NAME MAP :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> {1003C..
  2: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :%SOURCE-NAME SB-C::THING :LEAF #<SB-C::LAMBDA-VAR :%SOURCE-NAME MAP :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> {100..
  3: (SB-C::IR1-OPTIMIZE-BLOCK #<SB-C::CBLOCK NIL :START c1 {1003C7EC43}>)
  4: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME (FLET %F :IN F124) :REANALYZE T {1003C7D233}> NIL)
[...]

Weirdly, this bug goes away when MAP is changed to something else.

Stas Boukarev (stassats) wrote :

6a4963abf26a49816760d8b57ea485e01c2d9412

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