From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-451127-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 48157 invoked by alias); 5 Apr 2017 15:23:51 -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 48148 invoked by uid 89); 5 Apr 2017 15:23:50 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-6.7 required=5.0 tests=BAYES_00,GIT_PATCH_1,KAM_MANYTO,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 spammy=
X-HELO: mx2.suse.de
Received: from mx2.suse.de (HELO mx2.suse.de) (195.135.220.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 05 Apr 2017 15:23:49 +0000
Received: from relay1.suse.de (charybdis-ext.suse.de [195.135.220.254])	by mx2.suse.de (Postfix) with ESMTP id E4FE8ABAF;	Wed,  5 Apr 2017 15:23:48 +0000 (UTC)
Date: Wed, 05 Apr 2017 15:23:00 -0000
User-Agent: K-9 Mail for Android
In-Reply-To: <6a5109d6-81fb-c36c-e525-b2ed984760dc@redhat.com>
References: <AM4PR0701MB216292327A207737064C3CA3E40A0@AM4PR0701MB2162.eurprd07.prod.outlook.com> <6a5109d6-81fb-c36c-e525-b2ed984760dc@redhat.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PATCH] Add a new type attribute always_alias (PR79671)
To: Florian Weimer <fweimer@redhat.com>,Bernd Edlinger <bernd.edlinger@hotmail.de>,GCC Patches <gcc-patches@gcc.gnu.org>,Jason Merrill <jason@redhat.com>,"Marc Glisse <marc.glisse@inria.fr>; Jakub Jelinek <jakub@redhat.com>; Jonathan Wakely" <jwakely@redhat.com>,Jakub Jelinek <jakub@redhat.com>,Jeff Law <law@redhat.com>
From: Richard Biener <rguenther@suse.de>
Message-ID: <21E940B5-C8C4-4A86-8C15-49A86547DD87@suse.de>
X-SW-Source: 2017-04/txt/msg00226.txt.bz2

On April 5, 2017 4:50:32 PM GMT+02:00, Florian Weimer <fweimer@redhat.com> =
wrote:
>On 04/05/2017 11:46 AM, Bernd Edlinger wrote:
>> +@item always_alias
>> +@cindex @code{always_alias} type attribute
>> +Same as @code{may_alias}, but additionally applies to instances of
>> +types with this attribute.
>
>As a GCC user, I have to say that this doesn't really explain what the=20
>attribute does.  The C standard does not define what an =E2=80=9Cinstance=
=E2=80=9D of a
>
>type is.

I don't like the name.  I'd name it 'typeless_storage' and document that wh=
en storage is accessed with a type with this attribute it it behaves like a=
 character type with respect to semantics.

Richard.

>
>Thanks,
>Florian