This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Ada front-end depends on signed overflow
- From: Arnaud Charlet <charlet at adacore dot com>
- To: Andrew Pinski <pinskia at physics dot uc dot edu>
- Cc: Paul Schlie <schlie at comcast dot net>,Florian Weimer <fw at deneb dot enyo dot de>, GCC List <gcc at gcc dot gnu dot org>,bosch at gnat dot com
- Date: Fri, 3 Jun 2005 19:01:20 +0200
- Subject: Re: Ada front-end depends on signed overflow
- References: <BEC5F0DC.A5D5%schlie@comcast.net> <200506031543.j53FhWO9025589@earth.phy.uc.edu>
> Everyone's who writes C/C++ should know that overflow of signed is undefined.
>
> Now in Java it is defined, which is the reason why -fwrapv exists in the
> place since GCC has a "Java" compiler.
Right. I also believe that it is conceptually wrong to enable this for
Ada, so until this issue is analyzed by an Ada knowlegeable person (Richard
Kenner is looking at this issue), no such change should be made for Ada,
since this would likely be an incorrect "fix", masking the real underlying
issue.
Arno