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 another VRP bug

From: Eric Botcazou <ebotcazou at libertysurf dot fr>
To: Andrew Pinski <pinskia at physics dot uc dot edu>
Cc: gcc-patches at gcc dot gnu dot org,Sebastian Pop <sebastian dot pop at cri dot ensmp dot fr>
Date: Sat, 3 Sep 2005 18:09:33 +0200
Subject: Re: [PATCH] Fix another VRP bug
References: <200509031641.25541.ebotcazou@libertysurf.fr> <8014577a6bf0fa99128d66a277f87ac9@physics.uc.edu>

> Hmm, this was fixed a different way and it is not really a bug in VRP
> but in scev when figuring out if a scev probably wraps.
>
> See <http://gcc.gnu.org/ml/gcc-patches/2005-09/msg00040.html>.

1. Sebastian did first say "And the problem is in VRP" then did not mention 
VRP in his post: http://gcc.gnu.org/ml/gcc-patches/2005-09/msg00040.html.

Sebastian?  (Btw, less terse posts about bugs would not be superfluous :-)

2. I do think there is a bug in VRP, as my longish message was painfully 
trying to explain.  Whether or not Sebastian's fix is real or papering over 
it is another debate.

-- 
Eric Botcazou

Follow-Ups:
- Re: [PATCH] Fix another VRP bug
  - From: Sebastian Pop

References:
- [PATCH] Fix another VRP bug
  - From: Eric Botcazou
- Re: [PATCH] Fix another VRP bug
  - From: Andrew Pinski

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