This is the mail archive of the
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, 1 Mar 06 18:48:46 EST
- Subject: Re: ACATS c460008 and VRP (was: Bootstrap failure on trunk: x86_64-linux-gnu)
It looks like this one needs overflow checking to pass (-gnato):
ACATS should aways be run with -gnato since that's the only way to
get the behavior mandated by RM. Why are we running it without it? Is
this new? Certainly -gnato was used during validations.
Richard, Arnaud, could you check amongst GNAT experts if for such
types (non power of two modulus), it's not worth enabling overflow
checks by default now that we have VRP doing non trivial
optimisations? People using non power of two modulus are not caring
for performance anyway, so having a compliant implementation by
default won't harm.
Hardly worth writing the code to bother with that given how rare
such things are ...