Another The value NIL is not of type SB-C::CBLOCK when binding SB-C::B
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
This still failed after fix to 1793150.
(defun f309 (a b c)
(declare (type (integer -8084 -6315) a))
(max
(count
(boole boole-2
(count
#(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::
2: (SB-C::
3: (SB-C::IR2-OPTIMIZE #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-14) {1014F50473}>)
4: (SB-C::
5: (SB-C::
[...]
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"
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
846af94ff4f59e4 72be800da32630d 3d7cacc393