From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 62896 invoked by alias); 5 Apr 2017 22:54:19 -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 62463 invoked by uid 89); 5 Apr 2017 22:54:18 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-6.6 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_1,RCVD_IN_DNSWL_NONE,RCVD_IN_SORBS_SPAM autolearn=ham version=3.3.2 spammy= X-HELO: mail-wr0-f172.google.com Received: from mail-wr0-f172.google.com (HELO mail-wr0-f172.google.com) (209.85.128.172) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 05 Apr 2017 22:54:17 +0000 Received: by mail-wr0-f172.google.com with SMTP id t20so35963723wra.1 for ; Wed, 05 Apr 2017 15:54:18 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:cc:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=O9IuPyLukyQBdnJZwwbfr+QYLISmDRNA0LGHs75ydFc=; b=T4qpVhu9hq+4qBXQOMmjwqlo5J6n5lP5C8OIgqH+Qd66tbNtITfnJTUSOO0SYwuIxz NZNV4F3gPEtCPXy4SPj7AL/JG3c8NOzibzeYuIhrugEZH4wQ8RXxa2IeylfbDiF6dhMJ GXaS/djTcPCq+dQ6J4LhedNBFAo/JcTs9FJv4KqWQquYMXm1naa+091gV++WMgfabOMX 6mys5WyRwxWq2DS/Dr0v1vedVI1u2YOlYU9xsWaNidw1bhLd7qqRKm7/fPo8jrrl/5DE 0nDzOVNmSRTBLduOxMxSkFD50ffbzB5umraYVvtDoMxkwA5hfurFuAXDkVrRw6JhBuDw vcXQ== X-Gm-Message-State: AFeK/H1VZFKkt+kET+lSS4KJvyldehRhNog/9zJouHFLFySsNvTe3WBu8lRdXPG2PEkMIaGe X-Received: by 10.223.182.148 with SMTP id j20mr25371721wre.152.1491432857010; Wed, 05 Apr 2017 15:54:17 -0700 (PDT) Received: from [192.168.0.100] ([37.189.166.198]) by smtp.gmail.com with ESMTPSA id m7sm24071150wmi.34.2017.04.05.15.54.15 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 05 Apr 2017 15:54:15 -0700 (PDT) Subject: Re: [PATCH] Add a new type attribute always_alias (PR79671) To: Bernd Edlinger , Jason Merrill References: <20170405132832.GS17461@tucnak> Cc: Richard Biener , Jakub Jelinek , GCC Patches , Marc Glisse , Jonathan Wakely , Jeff Law From: Pedro Alves Message-ID: Date: Wed, 05 Apr 2017 22:54:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-SW-Source: 2017-04/txt/msg00257.txt.bz2 On 04/05/2017 09:46 PM, Bernd Edlinger wrote: > It does the same as may_alias but additionally objects > declared with that type have alias set 0, I just don't > know if I have yet found the right words so that it can > be understood. Based on the feedback I have now written: > > +@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. I think including an example of what becomes valid with such types but wouldn't be valid both without any attribute and also with may_alias would help. Thanks, Pedro Alves