This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/31877] Imported variables marked "volatile" in Ada
- From: "baldrick at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 9 May 2007 13:42:16 -0000
- Subject: [Bug ada/31877] Imported variables marked "volatile" in Ada
- References: <bug-31877-13647@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #3 from baldrick at gcc dot gnu dot org 2007-05-09 14:42 -------
> The code is as intended here, and GCC notion of aliasing is not sufficient
> to fullfill Ada needs in this case.
Are you sure? gcc got more sophisticated wrt aliasing in the gcc 4 series.
What exactly does Ada need that gcc cannot provide?
> Just to clarify a little: it's a (questionable) implementation choice, the
> GCC 4 aliasing machinery would now make it possible to get rid of the "hack".
That was my impression too, but perhaps Arnaud has a tricky example for which
it doesn't suffice. Volatile really pessimizes code - so better to get rid of
it if possible.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31877