From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 104685 invoked by alias); 3 Jun 2015 22:09:54 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 104662 invoked by uid 89); 3 Jun 2015 22:09:54 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.6 required=5.0 tests=AWL,BAYES_05,KAM_LAZY_DOMAIN_SECURITY,T_RP_MATCHES_RCVD autolearn=no version=3.3.2 X-HELO: nikam.ms.mff.cuni.cz Received: from nikam.ms.mff.cuni.cz (HELO nikam.ms.mff.cuni.cz) (195.113.20.16) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Wed, 03 Jun 2015 22:09:52 +0000 Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 16202) id A4067542E17; Thu, 4 Jun 2015 00:09:48 +0200 (CEST) Date: Wed, 03 Jun 2015 22:12:00 -0000 From: Jan Hubicka To: Richard Biener Cc: Jan Hubicka , Joseph Myers , Bernhard Reutner-Fischer , gcc-patches@gcc.gnu.org Subject: Re: Teach gimple_canonical_types_compatible_p about incomplete types Message-ID: <20150603220948.GB43459@kam.mff.cuni.cz> References: <20150524234944.GB71623@kam.mff.cuni.cz> <616E26E8-0AAF-4A31-A38A-AC40EAF13D12@gmail.com> <20150526001604.GA43680@kam.mff.cuni.cz> <20150529211758.GA51555@kam.mff.cuni.cz> <20150529225626.GA24506@kam.mff.cuni.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) X-SW-Source: 2015-06/txt/msg00369.txt.bz2 > 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