The value NIL is not of type SB-C::REF in code with malformed function call

Bug #1759871 reported by Paul F. Dietz
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Undecided
Unassigned

Bug Description

(lambda ()
  (labels ((%f13 (&optional (f13-4 (catch 'ct2 6)) (f13-5 ((bogus))) ;; bad function call
                  &key (key2
                        (if nil
                            (progv '(*s1*) (list 0) 2)
                            3)))))
    (unwind-protect (%f13 4) 5)))

==>

The value
  NIL
is not of type
  SB-C::REF
[...]
  0: (SB-C::COMBINATION-LAMBDA #<SB-C::COMBINATION :FUN NIL :ARGS (#1="<deleted>" #1# #<SB-C::COMBINATION :FUN # :ARGS # {1006E5A723}>) {1006E34063}>)
  1: (SB-C::MERGE-TAIL-SETS #<SB-C::COMBINATION :FUN NIL :ARGS (#1="<deleted>" #1# #<SB-C::COMBINATION :FUN # :ARGS # {1006E5A723}>) {1006E34063}>) [optional]
  2: (SB-C::DELETE-FILTER #<SB-EXT:EXIT :ENTRY #<SB-C::ENTRY {1006EBBE43}> :VALUE #<SB-C::LVAR 1 {1006EC2E53}> {1006EC2EA3}> #<SB-C::LVAR 2 {1006E29DA3}> #<SB-C::LVAR 1 {1006EC2E53}>)
  3: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME (LABELS %F13) :REANALYZE T {1006EC6433}> NIL)
  4: (SB-C::IR1-OPTIMIZE-UNTIL-DONE #<SB-C:COMPONENT :NAME (LABELS %F13) :REANALYZE T {1006EC6433}>)
  5: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME (LABELS %F13) :REANALYZE T {1006EC6433}>)
 [...]

Stas Boukarev (stassats)
Changed in sbcl:
assignee: nobody → Stas Boukarev (stassats)
status: New → In Progress
Stas Boukarev (stassats)
Changed in sbcl:
assignee: Stas Boukarev (stassats) → nobody
Stas Boukarev (stassats)
Changed in sbcl:
status: In Progress → Fix Committed
Revision history for this message
Stas Boukarev (stassats) wrote :

e1530c637dc7fc66f0d9abd23e1ce244d881b9f4

Stas Boukarev (stassats)
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.