Dave Korn wrote:
Robert Dewar wrote:
Isn't it pretty much implied by point 1, "Not more than one volatile memoryref appears in the instructions being considered"?
No, that allows a volatile reference to be combined with something else. I think this is a mistake, because people often think of volatile as guaranteeing what Ada would call an atomic access, one instruction accessing just the variable and nothing else.
