Andrew Pinski - Re: Why doesn't combine like volatiles? (volatile_ok again, sorry!) (original) (raw)

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

• From: Andrew Pinski
• 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🔞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

• Follow-Ups:
  • Re: Why doesn't combine like volatiles? (volatile_ok again, sorry!)
    * From: Mike Stump
  • Re: Why doesn't combine like volatiles? (volatile_ok again, sorry!)
    * From: Mike Stump
• References:
  • Re: Why doesn't combine like volatiles? (volatile_ok again, sorry!)
    * From: Mike Stump