And another The value NIL is not of type SB-C::CBLOCK when binding SB-C::B

[Paul F. Dietz]

(defun f311 (a b)
  (declare (type (integer 19332423376653 31032591693768) a))
  (complex
   (flet ((%f1 ()
            (flet ((%f7
                       (f7-1 f7-2 f7-3
                             &optional (f7-4 a) (f7-5 0)
                             (f7-6
                              (dotimes
                                  (iv2 3
                                   (labels ((%f6
                                                (f6-1 f6-2 f6-3
                                                      &optional (f6-4 b) (f6-5 a))
                                              0))
                                     b))
                                (if (position
                                     (if (>= iv2 a)
                                         (return-from %f1 b)
                                         0)
                                     #(-1 1)
                                     :test '>=)
                                    (count
                                     (if (find iv2 #(4095) :test-not '>)
                                         (return-from %f1 0)
                                         (return-from %f1 0))
                                     #(13 -200)
                                     :test '<)
                                    0)))
                             &key
                             (key1
                              (flet ((%f4 (&key (key2 a)) key2))
                                0))
                             (key2 0))
                     f7-6))
              (%f7 b (%f7 b a 0 0 0) 0 a 0))))
     (dotimes (iv1 2 0)
       (or (< (%f1) a) (%f1))))
   ))

==>

The value
  NIL
is not of type
  SB-C::CBLOCK
when binding SB-C::B
[...]
  0: (SB-C::CMOVP #<SB-ASSEM:LABEL 1> #<SB-C::CBLOCK 15 :START c1 {10295D44F3}> NIL) [external]
  1: (SB-C::MAYBE-CONVERT-ONE-CMOV #<SB-C::IR2-BLOCK :START-VOP #<SB-C::VOP :INFO SB-C:MOVE :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t1[Const5] :CONSTANT> :WRITE-P NIL :VOP SB-C:MOVE> :RESULTS #<SB-C:TN-REF :TN ..
  2: (SB-C::CONVERT-CMOVS #<SB-C:COMPONENT :NAME (FLET %F7 :IN F311) {10295DC313}>)
  3: (SB-C::IR2-OPTIMIZE #<SB-C:COMPONENT :NAME (FLET %F7 :IN F311) {10295DC313}>)
[...]

[Stas Boukarev (stassats)]

f1dc6523ddeeae3a94acce21c9a5aa2dcf7d4c47