This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [attention machine maintainers] [PATCH] <math.h> issignaling
- From: Adhemerval Zanella <azanella at linux dot vnet dot ibm dot com>
- To: libc-alpha at sourceware dot org
- Date: Tue, 26 Mar 2013 15:08:39 -0300
- Subject: Re: [attention machine maintainers] [PATCH] <math.h> issignaling
- References: <8762148l9v dot fsf at schwinge dot name> <87r4j73cqo dot fsf at schwinge dot name> <Pine dot LNX dot 4 dot 64 dot 1303261719310 dot 8202 at digraph dot polyomino dot org dot uk>
On 26-03-2013 14:33, Joseph S. Myers wrote:
> On Fri, 22 Mar 2013, Thomas Schwinge wrote:
>
>> PowerPC -m64:
>>
>> math/basic-test.out:
>> Failure: double x = (double) (long double) sNaN, !issignaling
>>
>> That is, this type cast -- which is a IEEE 754-2008 general-computational
>> convertFormat operation (IEEE 754-2008, 5.4.2) -- does not turn the sNaN
>> into a qNaN (whilst raising an INVALID exception; not checked here),
>> which is contrary to IEEE 754-2008 5.1 and 7.2. This I consider a
>> compiler issue (powerpc-linux-gnu-gcc (Sourcery CodeBench 2012.09-92)
>> 4.7.2).
> Such a bug (assuming present in GCC trunk for 4.9) should be filed in GCC
> Bugzilla (and I suppose a new math-tests.h macro used to disable the test
> in question for older compilers). Though I guess it might only be desired
> to change this for -fsignaling-nans.
It does for GCC trunk 4.9 on both PowerPC -m32 and -m64.