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: Richard Biener <rguenther at suse dot de>
- Cc: Jan Hubicka <hubicka at ucw dot cz>, Joseph Myers <joseph at codesourcery dot com>, Bernhard Reutner-Fischer <rep dot dot dot nop at gmail dot com>, gcc-patches at gcc dot gnu dot org
- Date: Thu, 4 Jun 2015 00:09:48 +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 LSU dot 2 dot 11 dot 1506031326450 dot 30088 at zhemvz dot fhfr dot qr>
> On Sat, 30 May 2015, Jan Hubicka wrote:
>
> > Joseph, Richard,
> > this is patch implementing the ENUM/INGEGER globbing and also POINTER/REFERENCE
> > (though I don't know if that one follows by some standard rules).
> > Joseph, does the attached testcase make sense for you? Is it defined? It is my
> > first attempt to really interpret C standard to detail.
> >
> > Ideally I would like to have testcases for all the globbing we do and reasoning
> > why it is needed.
> >
> > Bootstraped/regtested ppc64le-linux. OK?
>
> Works for me. (what about BOOLEAN_TYPE?)
No idea. So far I did not find anything in the language standards that would strictly
require to merge these two though I see it would make sense when mixing K&R and Ansi-C
units...
I am going to push out patch that complains about decl merging where memory locations are
TBAA incompatible. We will get warnings on these then and we shall see how much it hit
us.
Honza