From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 120346 invoked by alias); 7 Dec 2015 18:54:12 -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 120336 invoked by uid 89); 7 Dec 2015 18:54:12 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=0.1 required=5.0 tests=AWL,BAYES_50,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; Mon, 07 Dec 2015 18:54:11 +0000 Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 16202) id 93145542F6E; Mon, 7 Dec 2015 19:54:08 +0100 (CET) Date: Mon, 07 Dec 2015 18:54:00 -0000 From: Jan Hubicka To: Eric Botcazou Cc: Jan Hubicka , gcc-patches@gcc.gnu.org, rguenther@suse.de Subject: Re: -fstrict-aliasing fixes 5/6: make type system independent of flag_strict_aliasing Message-ID: <20151207185408.GC10655@kam.mff.cuni.cz> References: <20151202080716.GV5527@kam.mff.cuni.cz> <4833565.b9m1IQmy3c@polaris> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4833565.b9m1IQmy3c@polaris> User-Agent: Mutt/1.5.21 (2010-09-15) X-SW-Source: 2015-12/txt/msg00783.txt.bz2 > > Bootstrapped/regtested x86_64-linux and also lto-bootstraped. Looks OK? > > > > * alias.c (alias_set_subset_of, alias_sets_conflict_p, > > objects_must_conflict_p): Short circuit for !flag_strict_aliasing > > (get_alias_set): Remove flag_strict_aliasing check. > > (new_alias_set): Likewise. > > Not clear whether it's this patch specifically or another one in the series, > but the compiler now hangs on simple Ada code it used to compile instantly. > > A couple of testcases is attached. It looks like the compiler is now stuck in > get_alias_set endlessly pushing references onto a vector. uhm, sorry. I will take a look. Honza > > -- > Eric Botcazou > package Access1 is > > type R; > type S is access R; > type R is new S; > > end Access1; > package Access2 is > > type Priv; > type Inc is access Priv; > type Priv is access Inc; > C : constant Priv := new Inc; > > end Access2;