RFH: aliasing problems

Sergei Organov osv at javad.com
Mon Dec 11 08:19:49 UTC 2006


Steven Johnson
<sjohnson at sakuraindustries.com> writes:
> Hi,
>
> Can anyone explain how -fstrict-aliasing is compatible with C99 Section
> 6.3.2.3(7).
>
> because it says:
>
> "A pointer to an object ... may be converted to a pointer to a different
> object ... when converted back again the results shall compare equal to
> the original pointer."
>
> If this is not the definition of type punning with pointers, I do not
> know what is.

This tells nothing about semantics of accessing corresponding object
by dereferencing the pointer, while aliasing is all about accessing actual
objects using pointers of different types.

-- Sergei.




More information about the users mailing list