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: Robert Dewar <dewar at adacore dot com>
- Cc: Laurent GUERBY <laurent at guerby dot net>, 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 14:04:10 +0100
- Subject: Re: ACATS c460008 and VRP
- References: <17400.42579.162536.967995@zapata.pink> <200603020136.23901.ebotcazou@adacore.com> <44063F5B.4050400@adacore.com>
> it's not a bug, -gnato is clearly documented as required in this
> case, what makes you think otherwise?
Laurent's message.
Sorry about that, -gnato indeed has always been specified for this test.
--
Eric Botcazou