From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joseph_myers@mentor.com>
Received: from esa4.mentor.iphmx.com (esa4.mentor.iphmx.com [68.232.137.252])
 by sourceware.org (Postfix) with ESMTPS id 819173858405
 for <gcc@gcc.gnu.org>; Mon, 15 Nov 2021 22:17:45 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 819173858405
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none)
 header.from=codesourcery.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com
IronPort-SDR: ml8pFbXfzj9sWkRolMXBWFNlX5sOOoTQ0vpiMFctFSacQZ9PWsgPQDghk+yc+U416gprBA1xQu
 e2vzXx7iiivO12K/SivazBhSmHlQW8FzHdOlHXslUvoFjLg9FPK2Jntuns/spB3XPg4AyP9aBe
 z6SlrYyDceGbTcLt2wlDLepLeNJlxAIfWv5KyNPW7A6JRtwizPSbW5WDjCWcTokT86Rvbvijth
 niDBPJ17m/pIFLCo0UjVHmjN/IUcI6H3vXZzesC++5oBxNTwAGesp8htsZqTikGh/4EoKlgaTK
 aOLOmNY3dcPMYlDGLzSFVGOq
X-IronPort-AV: E=Sophos;i="5.87,237,1631606400"; d="scan'208";a="68527095"
Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167])
 by esa4.mentor.iphmx.com with ESMTP; 15 Nov 2021 14:17:44 -0800
IronPort-SDR: QfsqJpVuFUEkHkwT+gI9wPoH6Ntj10T8fmoQfErCo7HDyIhk0+j/T8vABdJs/Gaf6HoKTBupX5
 rKgMObU8IgCHtgYVCNP7n649hDKmp1KinTm5jiCYvPVRYgf6aZB7yVWv7lOqcg+u4zIVH70gw8
 U7et++8GRLnf5+UU3bskxhOSk+Q5amJWKDgpCbyLx6eCEy0iA2CJnsD+3rF9hZ/V+4Es4MmAHl
 dYK16mZE/EP3gAMLuqCDoLKS/iCYFU++3BvdbckXTedyk/2nWD3qImVGnpCCnkhfZaq5mP2nhk
 M7U=
Date: Mon, 15 Nov 2021 22:17:32 +0000
From: Joseph Myers <joseph@codesourcery.com>
X-X-Sender: jsm28@digraph.polyomino.org.uk
To: "Alejandro Colomar (man-pages)" <alx.manpages@gmail.com>
CC: <gcc@gcc.gnu.org>, <cfe-dev@lists.llvm.org>
Subject: Re: ISO C3X proposal: nonnull qualifier
In-Reply-To: <56a1a945-608e-0e5e-7610-c35481abb980@gmail.com>
Message-ID: <alpine.DEB.2.22.394.2111152214190.369620@digraph.polyomino.org.uk>
References: <a0e33e64-460a-6830-69ac-a67b52734bd5@gmail.com>
 <alpine.DEB.2.22.394.2111152016210.369620@digraph.polyomino.org.uk>
 <56a1a945-608e-0e5e-7610-c35481abb980@gmail.com>
User-Agent: Alpine 2.22 (DEB 394 2020-01-19)
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
X-Originating-IP: [137.202.0.90]
X-ClientProxiedBy: svr-ies-mbx-15.mgc.mentorg.com (139.181.222.15) To
 svr-ies-mbx-01.mgc.mentorg.com (139.181.222.1)
X-Spam-Status: No, score=-3116.8 required=5.0 tests=BAYES_00,
 HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, SPF_HELO_PASS, SPF_PASS,
 TXREP autolearn=no autolearn_force=no version=3.4.4
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
 server2.sourceware.org
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Mon, 15 Nov 2021 22:17:46 -0000

On Mon, 15 Nov 2021, Alejandro Colomar (man-pages) via Gcc wrote:

> How is restrict handling that problem of lvalue-to-rvalue already?

restrict has tricky rules about "based on" (6.7.3.1).

-- 
Joseph S. Myers
joseph@codesourcery.com