From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-451243-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 45887 invoked by alias); 7 Apr 2017 06:47:45 -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 45856 invoked by uid 89); 7 Apr 2017 06:47:44 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-6.9 required=5.0 tests=BAYES_00,GIT_PATCH_1,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; Fri, 07 Apr 2017 06:47:41 +0000
Received: from relay2.suse.de (charybdis-ext.suse.de [195.135.220.254])	by mx2.suse.de (Postfix) with ESMTP id 3AF61AC19;	Fri,  7 Apr 2017 06:47:41 +0000 (UTC)
Date: Fri, 07 Apr 2017 06:47:00 -0000
From: Richard Biener <rguenther@suse.de>
To: Bernd Edlinger <bernd.edlinger@hotmail.de>
cc: Florian Weimer <fweimer@redhat.com>, Jakub Jelinek <jakub@redhat.com>,     Jonathan Wakely <jwakely@redhat.com>,     GCC Patches <gcc-patches@gcc.gnu.org>, Jason Merrill <jason@redhat.com>,     Jeff Law <law@redhat.com>
Subject: Re: [PATCH] Add a new type attribute always_alias (PR79671)
In-Reply-To: <AM4PR0701MB2162E3FBB9BACDB49ECCC7C1E40D0@AM4PR0701MB2162.eurprd07.prod.outlook.com>
Message-ID: <alpine.LSU.2.20.1704070846470.30715@zhemvz.fhfr.qr>
References: <AM4PR0701MB216292327A207737064C3CA3E40A0@AM4PR0701MB2162.eurprd07.prod.outlook.com> <AM4PR0701MB21623337A5C0C1850D3DF4C7E40A0@AM4PR0701MB2162.eurprd07.prod.outlook.com> <alpine.LSU.2.20.1704060925130.30715@zhemvz.fhfr.qr> <20170406075104.GA17461@tucnak> <alpine.LSU.2.20.1704060952480.30715@zhemvz.fhfr.qr> <AM4PR0701MB216235AC9FDCC6D5F8D7C96DE40D0@AM4PR0701MB2162.eurprd07.prod.outlook.com> <7d17b3b7-2d38-6184-8bd6-eb9f96f87912@redhat.com> <AM4PR0701MB2162C4BFB925AF1D4368AD2CE40D0@AM4PR0701MB2162.eurprd07.prod.outlook.com> <50936a77-870a-5156-1f5e-b1e0327498b6@redhat.com> <AM4PR0701MB2162B4A0AEF56BDEEC1247E0E40D0@AM4PR0701MB2162.eurprd07.prod.outlook.com> <1a0cdc64-3c65-4f2b-427d-8dcb90095cab@redhat.com> <AM4PR0701MB21626A2BA82F6C096BDB6A01E40D0@AM4PR0701MB2162.eurprd07.prod.outlook.com> <5dee05a9-7606-ee9f-2d3e-d216a5837097@redhat.com> <AM4PR0701MB2162E3FBB9BACDB49ECCC7C1E40D0@AM4PR0701MB2162.eurprd07.prod.outlook.com>
User-Agent: Alpine 2.20 (LSU 67 2015-01-07)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
X-SW-Source: 2017-04/txt/msg00342.txt.bz2

On Thu, 6 Apr 2017, Bernd Edlinger wrote:

> On 04/06/17 21:05, Florian Weimer wrote:
> > On 04/06/2017 08:49 PM, Bernd Edlinger wrote:
> >
> >> For instance how do you "declare an object without a declared type"?
> >
> > malloc and other allocation functions return pointers to objects without
> > a declared type.
> >
> 
> Thanks Florian,
> 
> this discussion is very helpful.
> 
> How about this for the documentation:
> 
> @item typeless_storage
> @cindex @code{typeless_storage} type attribute
> In the context of section 6.5 paragraph 6 of the C11 standard,
> an object of this type behaves as if it has no declared type.
> In the context of section 6.5 paragraph 7 of the C11 standard,
> an object or a pointer if this type behaves as if it were a
> character type.
> This is attribute is similar to the @code{may_alias} attribute,
> except that it is not restricted to pointers.
> 
> Example of use:
> 
> @smallexample
> typedef int __attribute__((__typeless_storage__)) int_a;
> 
> int
> main (void)
> @{
>    int_a a = 0x12345678;
>    short *b = (short *) &a;
> 
>    b[1] = 0;
> 
>    if (a == 0x12345678)
>      abort();
> 
>    exit(0);
> @}
> @end smallexample

Seriously, do not suggest such broken case.  There's a union to
do this example portably.

Richard.