The value NIL is not of type SB-C::IR2-BLOCK

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

Bug Description

(lambda (v &rest args &key k)
  (remf args :k)
  (let ((e (f3)))
    (labels ((%f1 ()
               (apply #'f4 v args)
               (%f1))
             (%f2 ()
               (f5 (%f1))
               ))
      (case e
        (:c1 (%f2))
        (:c2 (f6 e (%f1)))
        ))))

===>

The value
  NIL
is not of type
  SB-C::IR2-BLOCK
   [Condition of type TYPE-ERROR]
[...]
  0: (SB-C::FIXUP-IR2-BLOCKS-FOR-SPLIT-BLOCK #<SB-C::CBLOCK 21 :START c1 {1006856D43}> #<SB-C::CBLOCK 1 :START c2 {100682C4E3}>)
  1: (SB-C::SET-TAIL-LOCAL-CALL-SUCCESSOR #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME %F1 :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:FUN-TYPE #> :WHERE-FROM :DEFINED :VARS NIL..
  2: (SB-C::LTN-ANALYZE-LOCAL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME %F1 :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:FUN-TYPE #> :WHERE-FROM :DEFINED :VARS NIL {10068..
  3: (SB-C::LTN-ANALYZE-BLOCK #<SB-C::CBLOCK 21 :START c1 {1006856D43}>)
  4: (SB-C::LTN-ANALYZE #<SB-C:COMPONENT :NAME (LAMBDA (&OPTIONAL #:NEW1 #:FLAG &REST #:G2) :IN "/home/dietz/g/f/f.lsp") {100682C953}>)
[...]

description: updated
Stas Boukarev (stassats) wrote :

9e70e82b2bb7b583a9c681d687c6ec607ed3009b

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

Other bug subscribers