This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: ACATS c460008 and VRP (was: Bootstrap failure on trunk: x86_64-linux-gnu)
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: laurent at guerby dot net
- Cc: gcc at gcc dot gnu dot org
- Date: Wed, 05 Dec 2007 16:25:25 EST
- Subject: Re: ACATS c460008 and VRP (was: Bootstrap failure on trunk: x86_64-linux-gnu)
- References: <10603012348.AA17328@vlsi1.ultra.nyu.edu> <1141257264.24449.73.camel@pc.site>
> On GCC we use -gnato on tests known to need it
> (/gcc/testsuite/ada/acats/overflow.lst) since we want to test
> flags the typical GCC/Ada user does use and not what official validation
> requires (which is -gnato -gnatE IIRC).
But you're running a test that's *part* of the official validation and
it assumes the options that implement the full language (including overflow
checks). I don't see the relevance of what options the "typical user"
specifies: this isn't typical user *code*!