This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: ACATS c460008 and VRP
- From: Laurent GUERBY <laurent at guerby dot net>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: Robert Dewar <dewar at adacore dot com>, law at redhat dot com, Daniel Jacobowitz <drow at false dot org>, gcc at gcc dot gnu dot org, Arnaud Charlet <charlet at adacore dot com>, Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, Andrew Pinski <pinskia at physics dot uc dot edu>, Andrew Haley <aph at redhat dot com>
- Date: Thu, 02 Mar 2006 20:49:20 +0100
- Subject: Re: ACATS c460008 and VRP
- References: <17400.42579.162536.967995@zapata.pink> <200603020136.23901.ebotcazou@adacore.com> <44063F5B.4050400@adacore.com> <200603021404.11193.ebotcazou@adacore.com>
On Thu, 2006-03-02 at 14:04 +0100, Eric Botcazou wrote:
> > it's not a bug, -gnato is clearly documented as required in this
> > case, what makes you think otherwise?
>
> Laurent's message.
I missed the fact that the test was already in overflow.lst :)
Laurent