On Mon, Jun 15, 2015 at 11:02:44AM -0600, Martin Sebor wrote: > Let me clarify one important property of the GCC implementation. > In contrast to a strict reading of the C standard, GCC doesn't > require an object to be declared volatile in order to guarantee > that volatile semantics are applied to accesses to it. What > matters is the volatility of the lvalue used to perform the > access. This isn't documented behaviour though; see PR33053. Segher