This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix forwporp pattern (T)(P + A) - (T)P -> (T)A
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Bernd Edlinger <bernd dot edlinger at hotmail dot de>
- Cc: gcc-patches at gcc dot gnu dot org, Richard Biener <richard dot guenther at gmail dot com>, Jeff Law <law at redhat dot com>
- Date: Thu, 26 Jun 2014 15:36:37 +0200
- Subject: Re: [PATCH] Fix forwporp pattern (T)(P + A) - (T)P -> (T)A
- Authentication-results: sourceware.org; auth=none
- References: <DUB118-W5160114A82AC375D95A7A4E41C0 at phx dot gbl> <1465044 dot eECGysz5JT at polaris> <DUB118-W52F0A98F22E429A8B77274E41F0 at phx dot gbl>
> Only if we could somehow rule out that chars_per_limb can be zero.
> Then we know for sure that unsigned overflow must happen, and
> the only possible result would be -1.
> But at this time, both -1 and 4294967295 are possible.
I see, I thought you meant that the result was -1 statically.
Thanks for correcting this annoying blunder...
--
Eric Botcazou