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: Eric Botcazou <ebotcazou at adacore dot com>
- To: Laurent GUERBY <laurent at guerby dot net>
- Cc: 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 01:36:23 +0100
- Subject: Re: ACATS c460008 and VRP (was: Bootstrap failure on trunk: x86_64-linux-gnu)
- References: <email@example.com> <firstname.lastname@example.org> <email@example.com>
> 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.
Changing compilation options to paper over potential bugs is IMHO not the best
approach, especially if the new options are little used. And the current
implementation of -gnato makes it a "heavy" option, not a "light" one.