From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x529.google.com (mail-ed1-x529.google.com [IPv6:2a00:1450:4864:20::529]) by sourceware.org (Postfix) with ESMTPS id 4D4723858C52 for ; Sat, 4 Feb 2023 23:53:09 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4D4723858C52 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-ed1-x529.google.com with SMTP id a10so1359149edu.9 for ; Sat, 04 Feb 2023 15:53:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=BFgBXjY5/wa9BCaLxPPk9dUN0c58eNJU0L0t48awWm8=; b=RVSTBf8mXnViH2qzseuWxzQwzA3qM01AQS9UHeR8vDP0+88AnOlc1FJqd9ATzlx6pT br1zHBohi6dEqoE6CXorcgeX59JdQWhHKY9CSFm8HNiQi+mf7cFjGwKIEOCuZAuiMLd1 S3mCaxObVScexEtWplQm7Zc7Ed3ElLG3/+AF+W5O1CvANRpxQsDLMx/YwUaJLBDQJMrC v0slo9soJG1FJ2n8ytcZWhJqkGLUgaHWXRZA7XkIrnVz+bc1C8eWNDV/2q9W50QCRc0V LKFSfOcujHhuKxI0EDK6QmtPh/03ZL6wU5Q7pO1Yai6JDhqQJa2mVfZ87PnfYsw0lep3 JlFw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=BFgBXjY5/wa9BCaLxPPk9dUN0c58eNJU0L0t48awWm8=; b=vMS/c0IEEKudMErPw117bQAGrE5uRCpuPwyaVNGa9Sx8XX3Nn6nM1q8MrcDN7Ist0p UaFLitoqiBJ86Mx5hwg3o4iuhc79UTI8jc36l7t/A4YepCQQCzof7yChzdbeFgWg2I6F ofz9fiN/8o39zYrtBBEP8QOmZJgLHHvnnSHKbBNa2OBM+j5qc7B5pokKaawVEELQtVU/ pNyY6GtAvs9dt5IViiCOg6AM6Xvl+fd3SlrjKzDV+gwo50ghsseuQrCDaoWRuwMGFG72 ec4eKTPuTl2VodlW+pmsm+jmDbkj6hmYqQoeqe48PROAHDrKtRiPe3tSaEqyHwU93es5 BXdw== X-Gm-Message-State: AO0yUKW0FWTJORc7g+hgyMBsZqFN06DlVS9sW0cLGitPMmL+T+gqYbW8 jBoBhqF4Bswc/idcGfhjL+STrKHg+fJACmyvTeo= X-Google-Smtp-Source: AK7set/6IVI9zLri3CYQ5Qz3toYdLrG3PkvuKXVIrB1mHMlBtmJ9s62ER+bPjcrqFWAyzWIaTB5zB7MDDnJHopeXYDU= X-Received: by 2002:a50:9b13:0:b0:4aa:a4ff:a79a with SMTP id o19-20020a509b13000000b004aaa4ffa79amr416795edi.22.1675554787741; Sat, 04 Feb 2023 15:53:07 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Jonathan Wakely Date: Sat, 4 Feb 2023 23:52:56 +0000 Message-ID: Subject: Re: _Optional: a type qualifier to indicate pointer nullability To: Christopher Bazley Cc: "gcc@gcc.gnu.org" Content-Type: multipart/alternative; boundary="000000000000ecd2e005f3e87f20" X-Spam-Status: No, score=-0.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --000000000000ecd2e005f3e87f20 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Sat, 4 Feb 2023, 21:23 Christopher Bazley, wrote: > > > On Sat, 4 Feb 2023 at 20:40, Jonathan Wakely > wrote: > >> >> On Sat, 4 Feb 2023, 17:01 Christopher Bazley via Gcc, >> wrote: >> >>> >>> Does the lack of support for Clang's nullability qualifiers in GCC >>> indicate >>> a greater likelihood for my proposed feature to be accepted into GCC? >> >> >> No, I don't think so. I think it would be better to support the same >> qualifiers as Clang, not diverge in this way. >> > > Clang=E2=80=99s _Nullable qualifier is broken and pretty useless (even ac= cording > to the code owner), so good luck with that. > But marking pointer arguments as non-null is already supported in GCC (with an attribute on the function, not the argument). Supporting a nonnull attribute on individual arguments seems useful to me. Far more than marking pointers as maybe-null, which is already true for all pointers. --000000000000ecd2e005f3e87f20--