From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from esa4.mentor.iphmx.com (esa4.mentor.iphmx.com [68.232.137.252]) by sourceware.org (Postfix) with ESMTPS id B05C03858D38 for ; Sat, 12 Nov 2022 01:09:51 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org B05C03858D38 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com X-IronPort-AV: E=Sophos;i="5.96,158,1665475200"; d="scan'208";a="86693765" Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167]) by esa4.mentor.iphmx.com with ESMTP; 11 Nov 2022 17:09:50 -0800 IronPort-SDR: PcCPWSU1yFMEViumujzP0ckjKZ0oJJhUNiDs2Atq15baYjGbcyCYlCx4v9lSTyc8vyVp6FLABc tfpEgHr7fFpMLQT792zfAW6dnOMkLurz7KXK7B8dpfX7fT2SgPrqiHM63ePa17ZTjsYJUrr3xa KvEX8fploDbQGCunBSRPqnFltxUUeCTYlGTubRW1lxn3xtYfOFgJ0Jc+KEhienvBVwJ1tyVgUh +bvtp4EZxejaCtAQvgeKd0cazZIgzEh1xz+LfJegB2iqfkJaRBtpl9mgAjxFyF1JaalNt8OAHi 1nY= Date: Sat, 12 Nov 2022 01:09:44 +0000 From: Joseph Myers To: Martin Uecker CC: Alejandro Colomar , Ingo Schwarze , JeanHeyd Meneide , , Subject: Re: [PATCH] Various pages: SYNOPSIS: Use VLA syntax in function parameters In-Reply-To: Message-ID: 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> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" X-Originating-IP: [137.202.0.90] X-ClientProxiedBy: svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) To svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) X-Spam-Status: No, score=-3110.0 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.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: 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. 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. -- Joseph S. Myers joseph@codesourcery.com