This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: IMA vs tree-ssa

Geoff Keating wrote:-

> In any case, it's still not transitive, because 'bar' in:
> 
> struct foo;
> struct bar { 
>   struct foo *f;
> };
> 
> is compatible with
> 
> struct foo { int a; };
> struct bar { 
>   struct foo *f;
> };
> 
> and
> 
> struct foo { int b; };
> struct bar { 
>   struct foo *f;
> };
> 
> but they are not compatible with each other.

Yah, nice counterexample.  What a mess.

Neil.
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]