Warning from unreachable code

Bug #1910272 reported by Paul F. Dietz
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Invalid
Undecided
Unassigned

Bug Description

 (lambda (a) (if a 0 (complex a 0)))

==>

; in: LAMBDA (A)
; (COMPLEX CL-TEST::A 0)
;
; caught WARNING:
; Derived type of A is
; (VALUES NULL &OPTIONAL),
; conflicting with its asserted type
; REAL.
; See also:
; The SBCL Manual, Node "Handling of Types"
;
; compilation unit finished
; caught 1 WARNING condition
#<FUNCTION (LAMBDA (A)) {53989D5B}>

May be a duplicate of bug 309451

Revision history for this message
Stas Boukarev (stassats) wrote :

But it is reachable?

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

True. This is a bad report. Invalid.

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

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.