This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: ACATS c460008 and VRP


Eric Botcazou wrote:
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.

it's not a bug, -gnato is clearly documented as required in this case, what makes you think otherwise?

Non power of 2 modular is so rare that using -gnato in this
case seems just fine to me.





Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]