RTL alias analysis

[Alexandre Oliva]

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}