This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: strict aliasing
On Tue, Nov 06, 2007 at 12:15:17AM -0800, Ian Lance Taylor wrote:
> The assignment is indeed of an int, but it uses a pointer. Strict
> aliasing only refers to loads and stores which use pointers. The
> type-based alias analysis is done on the types to which those pointers
> point.
Minor nit: here "pointers" includes C++ references, as well as
pointer-valued expressions, as in
long lv;
((int *)&lv) = 1; /* strict aliasing violation */