Comment 0 for bug 1742151

Revision history for this message
Paul F. Dietz (paul-f-dietz) wrote :

(lambda (value &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}>)
[...]