This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Why doesn't combine like volatiles? (volatile_ok again, sorry!)
- From: Andrew Pinski <pinskia at physics dot uc dot edu>
- To: mrs at apple dot com (Mike Stump)
- Cc: rearnsha at gcc dot gnu dot org (Richard Earnshaw), dave dot korn at artimi dot com (Dave Korn), ian at airs dot com (Ian Lance Taylor), gcc at gcc dot gnu dot org (gcc mailing list), dewar at adacore dot com (Robert Dewar)
- Date: Mon, 28 Nov 2005 12:18:48 -0500 (EST)
- Subject: Re: Why doesn't combine like volatiles? (volatile_ok again, sorry!)
>
> On Nov 28, 2005, at 3:13 AM, Robert Dewar wrote:
> >> Possibly, but I think the more interesting observation is listed in
> >> parenthesis: Can a volatile access ever alias a non-volatile access?
> >
> > I think the answer is no, Certainly Ada has compile time rules
> > carefully written to make this impossible.
>
> gcc is not just an Ada compiler. Clearly, the answer has to be yes
> to support GNU C.
While it is true that GCC is not just an Ada compiler but I think we should
follow a sane set of rules for GNU C which might mean following Ada's rules
for this case.
What is GNU C if it is not well documented?
-- Pinski