This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Wrong RTL instruction deleted

From: Florian Weimer <fw at deneb dot enyo dot de>
To: Robert Dewar <dewar at adacore dot com>
Cc: Richard Guenther <richard dot guenther at gmail dot com>, Uros Bizjak <uros at kss-loka dot si>, gcc at gcc dot gnu dot org
Date: Mon, 27 Dec 2004 14:56:02 +0100
Subject: Re: Wrong RTL instruction deleted
References: <41CFC09C.5020302@kss-loka.si><84fc9c00041227030130f0dfea@mail.gmail.com><41CFF47D.8030603@adacore.com><84fc9c000412270413397b09d7@mail.gmail.com><41D00EB2.3040801@adacore.com>

* Robert Dewar:

> Right, the above code would be invalid. At least that's my
> understanding. It would be interesting to try the identical
> code in Ada. There for *sure* I know that the first example
> would be valid and the second example invalid :-)

I think the original C++ code is a well-formed program.  It does
however result in unspecified behavior.

(Keep in mind that C++ as specified doesn't share C's aliasing rules.)

References:
- Wrong RTL instruction deleted
  - From: Uros Bizjak
- Re: Wrong RTL instruction deleted
  - From: Richard Guenther
- Re: Wrong RTL instruction deleted
  - From: Robert Dewar
- Re: Wrong RTL instruction deleted
  - From: Richard Guenther
- Re: Wrong RTL instruction deleted
  - From: Robert Dewar

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]