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 isspecified 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.