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: Mon, 1 Jun 2015 19:44:12 +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>
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).
--
Joseph S. Myers
joseph@codesourcery.com