"Nikodemus Siivola" <demoss@...> writes:
> 184.108.40.206: DECODE-FLOAT and INTEGER-DECODE-FOAT are not flushable
> ...as they should signal an error for non-floats in safe code,
> and hence UNSAFELY-FLUSHABLE.
> Ditto for FLOAT-SIGN, FLOAT-RADIX, FLOAT-DIGITS, and FLOAT-PRECISION,
> though for some reason Python seemed unwilling to delete these calls
> despite them being marked as flushable as well.
While checking for some special argument values such as Inf can only be
performed with the function itself, type checking for declared argument
type can be performed by a CAST node even when the function call has
been flushed (well, could be performed some time ago). It was one of the
reasons of CAST existance.
"Alas, the spheres of truth are less transparent than those of
illusion." -- L.E.J. Brouwer