This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Teach gimple_canonical_types_compatible_p about incomplete types
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Joseph Myers <joseph at codesourcery dot com>
- Cc: Jan Hubicka <hubicka at ucw dot cz>, Bernhard Reutner-Fischer <rep dot dot dot nop at gmail dot com>, gcc-patches at gcc dot gnu dot org, rguenther at suse dot de
- Date: Tue, 2 Jun 2015 19:33:31 +0200
- Subject: Re: Teach gimple_canonical_types_compatible_p about incomplete types
- Authentication-results: sourceware.org; auth=none
- References: <20150524234944 dot GB71623 at kam dot mff dot cuni dot cz> <616E26E8-0AAF-4A31-A38A-AC40EAF13D12 at gmail dot com> <20150526001604 dot GA43680 at kam dot mff dot cuni dot cz> <alpine dot DEB dot 2 dot 10 dot 1505292052250 dot 17156 at digraph dot polyomino dot org dot uk> <20150529211758 dot GA51555 at kam dot mff dot cuni dot cz> <20150529225626 dot GA24506 at kam dot mff dot cuni dot cz> <alpine dot DEB dot 2 dot 10 dot 1506011942040 dot 18155 at digraph dot polyomino dot org dot uk>
> On Sat, 30 May 2015, Jan Hubicka wrote:
>
> > Joseph, does the attached testcase make sense for you? Is it defined? It is my
> > first attempt to really interpret C standard to detail.
>
> I suppose it's defined if unsigned int is the type chosen as compatible
> with that enum. The test should be skipped for short_enums targets
> (arm-eabi bare metal) (you can't simply use -fno-short-enums as then that
> will fail the link-time compatibility checking).
thanks. I did not notice we have -fshort-enum by default targets. I suppose we want:
/* { dg-xfail-if "" { arm-eabi-* } { "*" } { "" } } */
Honza
>
> --
> Joseph S. Myers
> joseph@codesourcery.com