This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Fix PR28230, wrong code with VRP and -fwrapv


On Wed, 11 Oct 2006, Richard Guenther wrote:

> 
> This fixes PR28230, VRP was interestingly thinking that -frwapv is
> somehow special for combining value ranges in general.  But of course just
> "ignoring" overflow in [0, 65000] + [0, +Inf] is not yielding any
> useful value range.
> 
> The fix for this is to move the flag_wrapv handling to the unsigned
> case.
> 
> Bootstrapped and tested on x86_64-unknown-linux-gnu.
> 
> Ok for mainline?

Btw. the bug is latent on the 4.1 branch, too.  So ok for that, too?

Thanks,
Richard.

--
Richard Guenther <rguenther@suse.de>
Novell / SUSE Labs


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]