From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7529 invoked by alias); 27 May 2015 05:22:19 -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 7507 invoked by uid 89); 27 May 2015 05:22:19 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.4 required=5.0 tests=AWL,BAYES_20,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, 27 May 2015 05:22:17 +0000 Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 16202) id C4872543D2E; Wed, 27 May 2015 07:22:13 +0200 (CEST) Date: Wed, 27 May 2015 06:33:00 -0000 From: Jan Hubicka To: Richard Biener Cc: Jan Hubicka , gcc-patches@gcc.gnu.org Subject: Re: Do not compute alias sets for types that don't need them Message-ID: <20150527052213.GA88897@kam.mff.cuni.cz> References: <20150522121552.GC91616@kam.mff.cuni.cz> <20150522133356.GD75713@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-05/txt/msg02386.txt.bz2 > > > > I am not sure if TYPE_MAIN_VARIANT is really needed here. What I know is that > > complete types may have incomplete variants. > > How can that be? TYPE_FIELDS is shared across variants and all variants > should be layed out. Because TYPE_FILEDS are not always shared across variants. For example gfc_nonrestricted_type builds variants of types that have their own TYPE_FIELDS lists whose types are variants of the original TYPE_FIELDs. C++ FE used to do the same for member pointers, but I noticed that last stage1 with early version of type verifier and as far as I can remember Jason changed that. Honza