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