From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alx.manpages@gmail.com>
Received: from mail-wm1-x330.google.com (mail-wm1-x330.google.com
 [IPv6:2a00:1450:4864:20::330])
 by sourceware.org (Postfix) with ESMTPS id 7D22B3858405
 for <gcc@gcc.gnu.org>; Mon, 15 Nov 2021 22:35:33 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 7D22B3858405
Received: by mail-wm1-x330.google.com with SMTP id
 z1-20020a05600c220100b00337f97d2464so676161wml.1
 for <gcc@gcc.gnu.org>; Mon, 15 Nov 2021 14:35:33 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:message-id:date:mime-version:user-agent:subject
 :content-language:to:cc:references:from:in-reply-to
 :content-transfer-encoding;
 bh=qT6t8bfcEcKhF8qTOjk6ZzaslZF9vdOFh2KTuIMoklM=;
 b=MWUxEhR6R1cFLDbkXzkPIGTaEMNCnyMmYW1c4L0QAFbmasfpqQKYYGPr58ls+lCOk8
 5MsW1VzII50A2lmgyp8rwUO4jTP5qfPqsCuwHhOSXa/sAesDIldKRYPz3AYkoDrc9aLo
 wAKjmRjRd0tvAKV8dKgJeOHvZsDNNsk2T6cCX/+dMA6PkkqRKsmrmBa4TR2ryRNVYApM
 FBJAq6Q5h9BjWYpMMgRaZ6N+FWReSX6VIJAY03eY9De1RJV7WZJBzyNhDsEV3u+uAmX2
 o5WWkYYsN9I9nKL2SYAJ4BWwipnGOdhuV5GiN8Z7xHgU47zkG4qTxgNlQ/wvXFU7rLdQ
 A/FA==
X-Gm-Message-State: AOAM5321VXJw1GTXSgNT7F/DEqZsqdwPDCwqlgetgi+4A3ZIH+09dKWP
 d6motRr3jFP1XS6r5cyhQ4U=
X-Google-Smtp-Source: ABdhPJxt02xaQd8EWdjEVl2OpHSwA7Up0Kxmft+7IS7XbS/YbRTGxWi1a04BzPjjxkSpAuXw8Sikhw==
X-Received: by 2002:a05:600c:4f44:: with SMTP id
 m4mr2242881wmq.95.1637015732438; 
 Mon, 15 Nov 2021 14:35:32 -0800 (PST)
Received: from [10.168.10.170] ([170.253.36.171])
 by smtp.gmail.com with ESMTPSA id b197sm538513wmb.24.2021.11.15.14.35.31
 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
 Mon, 15 Nov 2021 14:35:32 -0800 (PST)
Message-ID: <4883fa8c-2d99-2611-a8e2-6c7612283da4@gmail.com>
Date: Mon, 15 Nov 2021 23:35:31 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
 Thunderbird/91.3.0
Subject: Re: ISO C3X proposal: nonnull qualifier
Content-Language: en-US
To: Joseph Myers <joseph@codesourcery.com>
Cc: gcc@gcc.gnu.org, cfe-dev@lists.llvm.org,
 JeanHeyd Meneide <phdofthehouse@gmail.com>
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>
 <alpine.DEB.2.22.394.2111152214190.369620@digraph.polyomino.org.uk>
From: "Alejandro Colomar (man-pages)" <alx.manpages@gmail.com>
In-Reply-To: <alpine.DEB.2.22.394.2111152214190.369620@digraph.polyomino.org.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam-Status: No, score=-6.7 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, NICE_REPLY_A,
 RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS,
 TXREP autolearn=ham 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:35:36 -0000

Hi Joseph,

On 11/15/21 23:17, Joseph Myers wrote:
> 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).

Hmm, I think I can "base on" that,
to define what I had in mind. :)

I'll come back to you when I have something
(or when I desist trying to come up with that something).

Cheers,
Alex


-- 
Alejandro Colomar
Linux man-pages comaintainer; http://www.kernel.org/doc/man-pages/
http://www.alejandro-colomar.es/