volatile semantics

[Dale Johannesen]

On Jul 16, 2005, at 10:34 AM, Andrew Haley wrote:

>> 6.3.2.1:  when an object is said to have a particular type, the type 
>> is
>> specified by the lvalue used to designate the object.

I don't have a standard here, but I will point out that IF this 
sentence is
interpreted to mean

>  the type of an object
> changes depending on how it is accessed.

this also makes nonsense of gcc's implementation of type-based aliasing
rules.

   *((int *)&x) = 3

would then be valid whatever the type of x.