Richard Earnshaw 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.
Logic would suggest that a program is unpredictable if written in such a way that permits such aliases to exist, since it would mean a location is being accessed in both non-volatile and volatile manner.
Exactly!