IMA vs tree-ssa

[Joseph S. Myers]

On Mon, 8 Mar 2004, Dale Johannesen wrote:

> I can't construct an example of pseudo-compatible types where T1 and T2 
> are visible in the
> same scope, and believe this to be impossible.  So without IMI, there 
> is no problem.
> But this sort of thing can happen with crossfile inlining.

Two distinct enumeration types in the same translation unit compatible
with the same integer type are nevertheless not compatible with each
other.  Implemented by

2004-01-07  Joseph S. Myers  <jsm@polyomino.org.uk>

        PR c/6024
        * c-typeck.c (comptypes): Only treat enumerated types in the same
        translation unit as compatible with each other when they are the
        same type.
        * doc/extend.texi: Update.

A VLA type is compatible with any fixed-size array of compatible element
type, with runtime undefined behavior if code requiring this compatibility
is executed when the runtime size of the VLA doesn't equal the fixed size
of the non-VLA.

-- 
Joseph S. Myers
jsm@polyomino.org.uk