From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-yb1-xb32.google.com (mail-yb1-xb32.google.com [IPv6:2607:f8b0:4864:20::b32]) by sourceware.org (Postfix) with ESMTPS id 57FA83858414 for ; Thu, 2 Dec 2021 00:39:56 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 57FA83858414 Received: by mail-yb1-xb32.google.com with SMTP id d10so35680042ybn.0 for ; Wed, 01 Dec 2021 16:39:56 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=tsBGO6eluV6b9Yrv7D1O46fYtCSUi4r/FngyA+TmMsk=; b=eirUn5pAvN0ZebDb0+Z7A5puR0S40AUH+yZ43pTEh1UTcPObyAzOW2N8anJxa7X5QG h3vfVdU2aGpSG0s8RjfIRa9SsruOPjD0QHwNf/VlvnBwYCgUz4yIKKkvTF4SFjPXZcxd DG+wLpemzwdfQ/vKbSKgF8wb8oBNY+IZQwebc3SW0rzI3Xl0c0O/wy6b/aZi6+/GVyzo mN7iTak25UD6unkBrThMn5X0IHnCuoChZSE4eJkmT6Kvkz7HYb+XLGw5WkC+HLp/fE7S f8U65QvPkPsPlI55bUEr1XLkKmDr3gTd7CBXAxkHAi9/Fz24dDD3uhi43d8LcEJvhWER 1nyQ== X-Gm-Message-State: AOAM530oPm2t9jPxvkVmpynF+m/15AqM6LRmttA0gc5nGZX4JXXtEYYd WX+N9MobTvpZnjPOz9x9Q11Nr5ReEN6Za6OjBLA= X-Google-Smtp-Source: ABdhPJzhTEFakY8EZEcOVZpkWfA7heq1LhXiP8z+09vMkJuYMVWp15P5jKPyMmeWniNvjkcdTn2YSD6xQSSyKDy7oSw= X-Received: by 2002:a25:ad06:: with SMTP id y6mr11383302ybi.278.1638405595963; Wed, 01 Dec 2021 16:39:55 -0800 (PST) MIME-Version: 1.0 References: <56a1a945-608e-0e5e-7610-c35481abb980@gmail.com> <4883fa8c-2d99-2611-a8e2-6c7612283da4@gmail.com> <93576cba-19f8-8cf6-6597-7377bda9647f@gmail.com> In-Reply-To: From: Dmitri Gribenko Date: Thu, 2 Dec 2021 01:39:29 +0100 Message-ID: Subject: Re: [cfe-dev] ISO C3X proposal: nonnull qualifier To: "Alejandro Colomar (man-pages)" Cc: Joseph Myers , gcc@gcc.gnu.org, cfe-dev Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=0.5 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 02 Dec 2021 00:39:57 -0000 Hi Alejandro, On Wed, Dec 1, 2021 at 11:24 PM Alejandro Colomar (man-pages) wrote: > On 11/23/21 13:45, Dmitri Gribenko wrote: > > If I were to speculate what would happen if C3X did flip the default, > > I think it would be treated by the community as a language fork. > > Yes > > > Pre-C3X headers won't work correctly when included in C3X programs, > > making incremental adoption of C3X syntax, as it was intended to be > > used, impossible. Projects would likely invent a NULLABLE macro, which > > would expand to _Nullable in C3X and nothing in earlier versions, to > > enable an incremental transition. > > > > That's why Clang introduced the pragma, enabling new rules to be > > adopted incrementally. > > Let's avoid forking C :) Do you consider the standard pragma `#pragma STDC FENV_ACCESS` to be a language fork? If not, why is a pragma to control nullability of pointers different? Dmitri -- main(i,j){for(i=2;;i++){for(j=2;j*/