From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alexandre Oliva <aoliva@redhat.com>
To: dewar@gnat.com
Cc: Anshil@gmx.net, gcc@gcc.gnu.org
Subject: Re: Is this a gcc bug?
Date: Fri, 12 Jan 2001 18:49:00 -0000
Message-id: <oru274f9os.fsf@guarana.lsd.ic.unicamp.br>
References: <20010113022149.AFA5534D80@nile.gnat.com>
X-SW-Source: 2001-01/msg00839.html

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