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: Joseph Myers <joseph at codesourcery dot com>
- To: Jan Hubicka <hubicka at ucw dot cz>
- Cc: 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 17:37:13 +0000
- 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> <20150602173331 dot GA13565 at kam dot mff dot cuni dot cz>
On Tue, 2 Jun 2015, Jan Hubicka wrote:
> > 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-* } { "*" } { "" } } */
Well, not that (which matches "eabi" against the vendor part of the
triplet), but skip for the short_enums effective-target keyword.
--
Joseph S. Myers
joseph@codesourcery.com