This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Is this a gcc bug?
- To: dewar at gnat dot com
- Subject: Re: Is this a gcc bug?
- From: Alexandre Oliva <aoliva at redhat dot com>
- Date: 13 Jan 2001 00:49:23 -0200
- Cc: Anshil at gmx dot net, gcc at gcc dot gnu dot org
- Organization: GCC Team, Red Hat
- References: <20010113022149.AFA5534D80@nile.gnat.com>
On Jan 13, 2001, dewar@gnat.com wrote:
> <<undefined behavior: expression may modify `x' multiple times
>>>
> That's probably OK in practice, but it is of course a lie, at least
> one of omission, the sentence after the colon does represent a
> possible outcome. But we could also write:
> undefined behavior: expression may not modify x at all.
I knew I should have written:
undefined behavior: expression modifies `x' multiple times
but then I recalled there might be false positives...
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me