Re: Compiler deletes used code

[Raymond Toy]

>>>>> "Stefan" == Stefan Scholl <[EMAIL PROTECTED]> writes:

    Stefan> Compile the following code:

    Stefan> ---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<
    Stefan> (defun foo (xyz)
    Stefan>   (with-open-file (f "something"
    Stefan>                      :if-does-not-exist xyz)
    Stefan>   (unless f (return-from foo 42))
    Stefan>   (read-line f)))
    Stefan> ---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<

    Stefan> And the compiler (CMUCL 19a, x86, Linux 2.6) will say:

[snip]


    Stefan> ; In: DEFUN FOO

    Stefan> ;   (RETURN-FROM FOO 42)
    Stefan> ; Note: Deleting unreachable code.
    Stefan> ; 

Thanks for the report.  I think it's a bug in result-type-open-class
which thinks a stream is returned in this case.

I'll see what I can do about it.

Ray