From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-398778-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 119587 invoked by alias); 24 May 2015 12:50:18 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 119576 invoked by uid 89); 24 May 2015 12:50:17 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-0.8 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2
X-HELO: mail-ob0-f172.google.com
Received: from mail-ob0-f172.google.com (HELO mail-ob0-f172.google.com) (209.85.214.172) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Sun, 24 May 2015 12:50:02 +0000
Received: by obcus9 with SMTP id us9so39532668obc.2        for <gcc-patches@gcc.gnu.org>; Sun, 24 May 2015 05:50:01 -0700 (PDT)
MIME-Version: 1.0
X-Received: by 10.60.55.36 with SMTP id o4mr13861659oep.0.1432471801041; Sun, 24 May 2015 05:50:01 -0700 (PDT)
Received: by 10.76.160.68 with HTTP; Sun, 24 May 2015 05:50:00 -0700 (PDT)
In-Reply-To: <CAMe9rOr+eLbPbJmy35cvm+pBJCEVw8MpfW5do0WydNN-Qrf-WA@mail.gmail.com>
References: <20150521181437.GB8821@kam.mff.cuni.cz>	<alpine.LSU.2.11.1505221003410.30088@zhemvz.fhfr.qr>	<20150522120032.GB75713@kam.mff.cuni.cz>	<CAMe9rOr+eLbPbJmy35cvm+pBJCEVw8MpfW5do0WydNN-Qrf-WA@mail.gmail.com>
Date: Sun, 24 May 2015 14:47:00 -0000
Message-ID: <CAMe9rOqZ_cVd85JGjSezd+Bbk=pFq+y0xE6e6i9WMFpdmDt7nA@mail.gmail.com>
Subject: Re: Calculate TYPE_CANONICAL only for types that can be accessed in memory
From: "H.J. Lu" <hjl.tools@gmail.com>
To: Jan Hubicka <hubicka@ucw.cz>
Cc: Richard Biener <rguenther@suse.de>, GCC Patches <gcc-patches@gcc.gnu.org>
Content-Type: text/plain; charset=UTF-8
X-IsSubscribed: yes
X-SW-Source: 2015-05/txt/msg02216.txt.bz2

On Sun, May 24, 2015 at 5:49 AM, H.J. Lu <hjl.tools@gmail.com> wrote:
> On Fri, May 22, 2015 at 5:00 AM, Jan Hubicka <hubicka@ucw.cz> wrote:
>>> Now we have it spelled out 4 times ... makes sense to create a new
>>> macro for it?  (though I cannot think of a good name...
>>> UNACCESSIBLE_TYPE_P ()?)
>>
>> Yep, actually I already made that version of patch yesterday but then got
>> hooked by beers.  This is better version (also with more sensible comments).
>> I will commit it at afternoon if you have no further comments.
>>
>>
>>         * lto.c (hash_canonical_type): Be sure we hash only types that
>>         need alias set.
>>         (gimple_register_canonical_type_1): Do not produce canonical
>>         types for types that do not need alias sets.
>>         * tree.c (gimple_canonical_types_compatible_p): Sanity check that
>>         we do not try to compute canonical type for type that does not need
>>         alias set.
>>         (verify_type): Drop FIXME for METHOD_TYPE, update FIXME for
>>         FUNCITON_TYPE.
>>         * tree.h (type_with_alias_set_p): New.
>
> This caused:
>
> https://gcc.gnu.org/ml/gcc-cvs/2015-05/msg00948.html

I meant:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66273


-- 
H.J.