[Bug target/70117] ppc long double isinf() is wrong?

[joseph at codesourcery dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70117

--- Comment #16 from joseph at codesourcery dot com <joseph at codesourcery dot com> ---
On Tue, 5 Apr 2016, amodra at gmail dot com wrote:

> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70117
> 
> --- Comment #14 from Alan Modra <amodra at gmail dot com> ---
> > if (fmt == &ibm_extended_double)
> 
> No, there is mips_extended_format too.

I think that's now unused after the removal of IRIX support, and so should 
be removed from GCC.  (The support for that format in fp-bit.[ch] is also 
now unused.)