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

[Paul F. Dietz]

This still failed after fix to 1793150.

(defun f309 (a b c)
  (declare (type (integer -8084 -6315) a))
  (max
   (count
    (boole boole-2
           (ignore-errors
             (count
              (ceiling a
                       (min -68
                           (count
                             (count (catch 'ct6 0) #(3 94161))
                             '(1 2)
                             )))
              #(4 5 6)))
           0)
    #(1 2 3))
   (let ((v6 (list c)))
     (min (car v6) b))
   ))

==>

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 25 :START c1 {1014FBE353}> NIL) [external]
  1: (SB-C::MAYBE-CONVERT-ONE-CMOV #<SB-C::IR2-BLOCK :START-VOP #<SB-C::VOP :INFO SB-VM::FAST-TRUNCATE-C/FIXNUM=>FIXNUM :ARGS #<SB-C:TN-REF :TN #<SB-C:TN A!1 :DEBUG-ENVIRONMENT> :WRITE-P NIL :VOP SB-VM::F..
  2: (SB-C::CONVERT-CMOVS #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-14) {1014F50473}>)
  3: (SB-C::IR2-OPTIMIZE #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-14) {1014F50473}>)
  4: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-14) {1014F50473}>)
  5: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-14) {1014F50473}>)
[...]

As before, a warning was generated during the compile:

; in: DEFUN F309
; (IGNORE-ERRORS (COUNT (CEILING CL-TEST::A (MIN -68 (COUNT # '#))) #(4 5 6)))
; --> HANDLER-CASE SB-INT:DX-FLET FLET #:FUN7 BLOCK PROGN VALUES
; ==>
; SB-C::VAL
;
; caught STYLE-WARNING:
; This is not a INTEGER:
; NIL
; See also:
; The SBCL Manual, Node "Handling of Types"

[Stas Boukarev (stassats)]

846af94ff4f59e472be800da32630d3d7cacc393