This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Document ftrapv/fwrapv interaction
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Tom de Vries <Tom_deVries at mentor dot com>
- Cc: "gcc-patches at gnu dot org" <gcc-patches at gnu dot org>
- Date: Thu, 23 Jul 2015 12:19:48 +0200
- Subject: Re: [PATCH] Document ftrapv/fwrapv interaction
- Authentication-results: sourceware.org; auth=none
- References: <55A6C1DF dot 1050108 at mentor dot com> <20150720183141 dot GB20717 at f1 dot c dot bardezibar dot internal> <55AD9093 dot 1060206 at mentor dot com> <55AE5340 dot 2010700 at mentor dot com> <20150721184249 dot GA7417 at f1 dot c dot bardezibar dot internal> <CAFiYyc1Rqzq4BCRWqcVvWMEGRO3CaABWMDayXSXssF3oWrXhUA at mail dot gmail dot com> <55AFB2AA dot 60204 at mentor dot com>
On Wed, Jul 22, 2015 at 5:11 PM, Tom de Vries <Tom_deVries@mentor.com> wrote:
> [ Re: [RFC, PR66873] Use graphite for parloops ]
> On 22/07/15 13:01, Richard Biener wrote:
>>
>> why only scalar floats? Please use FLOAT_TYPE_P.
>>
>> + if (INTEGRAL_TYPE_P (type))
>> + return (!TYPE_OVERFLOW_TRAPS (type)
>> + && TYPE_OVERFLOW_WRAPS (type));
>>
>> it cannot both wrap and trap thus TYPE_OVERFLOW_WRAPS is enough.
>
>
> Hmm, indeed, when specifying both, one is quietly ignored. The documentation
> also doesn't mention this.
>
> Attached untested patch mentions this ftrapv/fwrapv interaction in the docs.
>
> OK for trunk, if bootstrap succeeds?
Ok.
Richard.
> Thanks,
> - Tom
>
>