This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Signed int overflow behavior in the security context
- From: Florian Weimer <fw at deneb dot enyo dot de>
- To: Paul Schlie <schlie at comcast dot net>
- Cc: Robert Dewar <dewar at adacore dot com>, Andreas Bogk <andreas at andreas dot org>, <gcc at gcc dot gnu dot org>
- Date: Sat, 27 Jan 2007 15:37:39 +0100
- Subject: Re: Signed int overflow behavior in the security context
- References: <C1DFFFA7.FAE0%schlie@comcast.net>
* Paul Schlie:
>> People always say this, but they don't really realize what they are
>> saying. This would mean you could not put variables in registers, and
>> would essentially totally disable optimization.
>
> - can you provide an example of a single threaded program where the
> assignment of variable to a machine register validly changes its
> observable logical results?
Here's the usual suspect: <http://gcc.gnu.org/PR323>
Although the "validly" part is somewhat debatable.