Ping http://gcc.gnu.org/ml/gcc-patches/2013-06/msg00475.html
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
