On 2010-01-05 16:16:52 +0000, Joseph S. Myers wrote: > On Tue, 5 Jan 2010, Vincent Lefevre wrote: > > 6.3.2.3 says that one can *convert* the pointer, but not that one can > > *dereference* it. > > You can dereference it if it is defined where (to what object of the > relevant type) it points, and no other rule prohibits the dereference.
But this is the same for (union u*)&i. I don't see how 6.3.2.3 could make a difference between (char *)&i and (union u*)&i as long as the pointer is correctly aligned. -- 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)