On Wed, Jun 26, 2013 at 4:16 PM, Marc Glisse <marc.gli...@inria.fr> wrote: > Ping http://gcc.gnu.org/ml/gcc-patches/2013-06/msg00475.html
Ok. Thanks, Richard. > > On Sun, 9 Jun 2013, Marc Glisse wrote: > >> Hello, >> >> this patch documents that __builtin_isinf_sign returns +-1 for +-Inf. This >> builtin was created so it could be used by a libc that has a stronger >> guarantee than the standard, and for glibc that means returning +-1, which >> is what the code already does. >> >> 2013-06-10 Marc Glisse <marc.gli...@inria.fr> >> >> PR middle-end/57219 >> * doc/extend.texi (__builtin_isinf_sign): Restrict the return >> values to -1, 0 and 1. > > > -- > Marc Glisse
