This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RTL alias analysis
- From: Alexandre Oliva <aoliva at redhat dot com>
- To: Gabriel Dos Reis <gdr at cs dot tamu dot edu>
- Cc: Michael Veksler <mveksler at techunix dot technion dot ac dot il>, Richard Guenther <richard dot guenther at gmail dot com>, Ian Lance Taylor <ian at airs dot com>, Kai Henningsen <kaih at khms dot westfalen dot de>, gcc at gcc dot gnu dot org, richard at codesourcery dot com
- Date: Thu, 26 Jan 2006 17:43:38 -0200
- Subject: Re: RTL alias analysis
- References: <1138284290.43d8d702b01ee@webmail.technion.ac.il> <87bqxzdmla.fsf@soliton.cs.tamu.edu>
On Jan 26, 2006, Gabriel Dos Reis <gdr@cs.tamu.edu> wrote:
> I don't see anything in the ISO C standard that implies that.
> This
> x.v1 = 384;
> x.v2 = 94.08;
> int v = x.v2;
> x.v1 = v;
> is valid fragment.
But can you see anything in it that makes it undefined?
Failing that, regular assignment and access rules apply, and so it is
valid.
--
Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/
Red Hat Compiler Engineer aoliva@{redhat.com, gcc.gnu.org}
Free Software Evangelist oliva@{lsd.ic.unicamp.br, gnu.org}