On 2010-01-05 15:29:25 +0000, Andrew Haley wrote:
> On 01/05/2010 03:23 PM, Vincent Lefevre wrote:
> > On 2010-01-05 10:31:13 +0000, Andrew Haley wrote:
> >> "An object shall have its stored value accessed only by an lvalue
> >> expression that has one of the following types:
> >>
> >> but
> >>
> >> (union u*)&i
> >>
> >> is not a legal lvalue expression because the dereference is undefined
> >> behaviour. You may only dereference a pointer as permitted by 6.3.2.3.
> >
> > For the same reason, (char *) &i could not be dereferenced, and this
> > would break a lot of code!
>
> Try reading it. This is Clause 7.
Clause 7 is about pointer conversion, not about pointer dereferencing.
I recall what you said above:
You may only dereference a pointer as permitted by 6.3.2.3.
^^^^^^^^^^^
--
Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)
