Re: Teach gimple_canonical_types_compatible_p about incomplete types

[Joseph Myers <joseph@codesourcery.com>]

On Tue, 26 May 2015, Jan Hubicka wrote:

> > On May 25, 2015 1:49:45 AM GMT+02:00, Jan Hubicka <hubicka@ucw.cz> wrote:
> > 
> > 
> > >2  Each enumerated type shall be compatible with char ,  a  signed
> > >integer
> > >     type, or an unsigned integer type. The choice of type is
> > >implementation-defined, but  shall be capable of representing the
> > >values
> > >     of all the members of the enumeration.    The enumerated type is
> > >     incomplete until immediately after the that terminates the list of
> > >     enumerator declarations, and complete thereafter.
> > >
> > >(we ignore this completely as far as I know, it is easy to fix though,
> > >all
> > > we need is to make ENUMERATION_TYPE pretend to be INTEGER_TYPE)
> > 
> > Don't forget -fshort-enum though.
> 
> I believe -fshort-enum is makes us non-complian to the C standard and thus
> we are free to not follow this rule :)

-fshort-enums is perfectly compatible with the C standard.  The choice of 
integer type depends on the enumerated type in question - different 
enumerated types can be compatible with different integer types.

-- 
Joseph S. Myers
joseph@codesourcery.com