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 19:36:00 -0000
Message-id: <or4rz4f7i0.fsf@guarana.lsd.ic.unicamp.br>
References: <20010113031431.5F53734D81@nile.gnat.com>
X-SW-Source: 2001-01/msg00847.html

On Jan 13, 2001, dewar@gnat.com wrote:

> <<undefined behavior: expression modifies `x' multiple times
>>> 

> Of course it is also improper to write

>  x + x++

> and it would seem peculiar to say that this modifies x multiple times!

Ouch!  I thought of that yesterday, but I couldn't think of it today
:-(

I'm now inclined to have:

undefined behavior: incompatible uses of `x' between sequence points

`undefined behavior: ' might be omitted.

-- 
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