From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5096 invoked by alias); 5 Apr 2017 23:17:33 -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 4412 invoked by uid 89); 5 Apr 2017 23:17:32 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-15.4 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy= X-HELO: relay1.mentorg.com Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 05 Apr 2017 23:17:30 +0000 Received: from svr-orw-mbx-03.mgc.mentorg.com ([147.34.90.203]) by relay1.mentorg.com with esmtp id 1cvuB6-0002b6-Jk from Sandra_Loosemore@mentor.com ; Wed, 05 Apr 2017 16:17:28 -0700 Received: from [127.0.0.1] (147.34.91.1) by svr-orw-mbx-03.mgc.mentorg.com (147.34.90.203) with Microsoft SMTP Server (TLS) id 15.0.1210.3; Wed, 5 Apr 2017 16:17:25 -0700 Subject: Re: [PATCH] Add a new type attribute always_alias (PR79671) To: Bernd Edlinger , Jakub Jelinek , Jonathan Wakely References: <6a5109d6-81fb-c36c-e525-b2ed984760dc@redhat.com> <21E940B5-C8C4-4A86-8C15-49A86547DD87@suse.de> <20170405160333.GR4425@redhat.com> <20170405160849.GV17461@tucnak> CC: Richard Biener , Florian Weimer , GCC Patches , Jason Merrill , Jeff Law From: Sandra Loosemore Message-ID: <58E57B04.70907@codesourcery.com> Date: Wed, 05 Apr 2017 23:17:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset="windows-1252"; format=flowed Content-Transfer-Encoding: 7bit X-ClientProxiedBy: svr-orw-mbx-04.mgc.mentorg.com (147.34.90.204) To svr-orw-mbx-03.mgc.mentorg.com (147.34.90.203) X-SW-Source: 2017-04/txt/msg00258.txt.bz2 On 04/05/2017 03:02 PM, Bernd Edlinger wrote: > On 04/05/17 19:22, Bernd Edlinger wrote: >> On 04/05/17 18:08, Jakub Jelinek wrote: >> >> Yes, exactly. I really want to reach the deadline for gcc-7. >> Fixing the name is certainly the most important first step, >> and if everybody agrees on "typeless_storage", for the name >> I can start with adjusting the name, and look into how >> to use a spare type-flag that should be a mechanical change. >> > > Jakub, I just renamed the attribute and reworked the patch > as you suggested, reg-testing is not yet completed, but > it looks good so far. I also added a few more tests. > > I have changed the documentation as Richi suggested, but > I am not too sure what to say here. > > Index: gcc/doc/extend.texi > =================================================================== > --- gcc/doc/extend.texi (revision 246678) > +++ gcc/doc/extend.texi (working copy) > @@ -6656,6 +6656,11 @@ declaration, the above program would abort when co > @option{-fstrict-aliasing}, which is on by default at @option{-O2} or > above. > > +@item typeless_storage > +@cindex @code{typeless_storage} type attribute > +An object declared with a type with this attribute behaves like a > +character type with respect to aliasing semantics. > + > @item packed > @cindex @code{packed} type attribute > This attribute, attached to @code{struct} or @code{union} type "An object .... behaves like a character type"? I think you mean "as if it had character type". Or maybe something simpler like "A type declared with this attribute has the same aliasing semantics as @code{char} type." -Sandra