From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mailrelay.tugraz.at (mailrelay.tugraz.at [129.27.2.202]) by sourceware.org (Postfix) with ESMTPS id EFDB8385828E for ; Sat, 12 Nov 2022 07:24:47 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org EFDB8385828E Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=tugraz.at Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tugraz.at Received: from [192.168.0.150] (84-115-221-90.cable.dynamic.surfer.at [84.115.221.90]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4N8Rsd1YPhz3wks; Sat, 12 Nov 2022 08:24:36 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1668237878; bh=fLhj9eY/C1dLVt3nD5AHuSqEusN8dFoDKEMr7DaR5cw=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=uP5e0NdSSybEdCGKUd/909AKSB8m/yZ7POQyZehhhvCTDIGil0Q5PrBsm4XM9Np95 LGIFVkLM9R0/z7y/tkF0ruUIUSFdtCn6uUW1xUmJCmfS+pBca/Yi3lUVipFJyapJVQ yrq+A8d3v35kGb+VCiCiUv7ETuRbWTxXmwRisVvs= Message-ID: <07a9b19ca39cef1625a6aa141b4fa52fae9e9152.camel@tugraz.at> Subject: Re: [PATCH] Various pages: SYNOPSIS: Use VLA syntax in function parameters From: Martin Uecker To: Joseph Myers Cc: Alejandro Colomar , Ingo Schwarze , JeanHeyd Meneide , linux-man@vger.kernel.org, gcc@gcc.gnu.org Date: Sat, 12 Nov 2022 08:24:36 +0100 In-Reply-To: References: <20220826210710.35237-1-alx.manpages@gmail.com> <5ba53bad-019e-8a94-d61e-85b2f13223a9@gmail.com> <491a930d-47eb-7c86-c0c4-25eef4ac0be0@gmail.com> <2abccaa2-d472-4c5b-aea6-7a2dddd665da@gmail.com> <4475b350c2a4d60da540c0f3055f466640e6c409.camel@tugraz.at> <51f5a2f2-84c1-bc75-cf94-0cdc1771d37f@gmail.com> <4e3fee795769544738b3dc793aa95d6b34b72047.camel@tugraz.at> <69d694b3-756-792d-8880-87bab482ea34@codesourcery.com> <76c083af-c01f-a4b2-3df-c83075c6b0de@codesourcery.com> <75c352c-e8b5-90d0-5fae-7b211c647934@codesourcery.com> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.30.5-1.1 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-TUG-Backscatter-control: G/VXY7/6zeyuAY/PU2/0qw X-Spam-Scanner: SpamAssassin 3.003001 X-Spam-Score-relay: -1.9 X-Scanned-By: MIMEDefang 2.74 on 129.27.10.116 X-Spam-Status: No, score=-2.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,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: Am Samstag, den 12.11.2022, 01:09 +0000 schrieb Joseph Myers: > On Fri, 11 Nov 2022, Martin Uecker via Gcc wrote: > > > > Even a compiler extension requires the level of detail of specification > > > that you get with a WG14 paper (and the level of work on finding bugs in > > > that specification), to avoid the problem we've had before with too many > > > features added in GCC 2.x days where a poorly defined feature is "whatever > > > the compiler accepts". > > > > I think the effort needed to specify the feature correctly > > can be minimized by making the first version of the feature > > as simple as possible. > > The version of constexpr in the current C2x working draft is more or less > as simple as possible. It also went through lots of revisions to get > there. I'm currently testing an implementation of C2x constexpr for GCC > 13, and there are still several issues with the specification I found in > the implementation process, beyond those raised in WG14 discussions, for > which I'll need to raise NB comments to clarify things. constexpr had no implementation experience in C at all and always suspected that C++ experience should somehow count is not really justified. > I think that illustrates that you need the several iterations on the > specification process, *and* making it as simple as possible, *and* > getting implementation experience, *and* the implementation experience > being with a close eye to what it implies for all the details in the > specification rather than just getting something vaguely functional but > not clearly specified. I agree. We should work on specification and on prototyping new features in parallel. Martin