This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: ACATS c460008 and VRP
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Laurent GUERBY <laurent at guerby dot net>
- 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, 2 Mar 2006 21:05:07 +0100
- Subject: Re: ACATS c460008 and VRP
- References: <17400.42579.162536.967995@zapata.pink> <200603021404.11193.ebotcazou@adacore.com> <1141328960.24449.87.camel@pc.site>
> I missed the fact that the test was already in overflow.lst :)
No worries, so did I. :-)
--
Eric Botcazou