IMA vs tree-ssa

[Neil Booth]

Geoff Keating wrote:-

> In addition, structure compatilibity between modules is not
> transitive, even in C99.  For instance,
> 
> struct { int x; }
> 
> is compatible with both
> 
> struct x_1 { int x; }
> and
> struct x_2 { int x; }
> 
> but x_1 and x_2 are not compatible with each other.

I disagree.  The relevant line is

If one is declared with a tag, the other shall be declared with the
same tag.

which clearly implies all 3 are mutually incompatible.

Neil.