From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 4187 invoked from network); 23 Sep 2022 15:35:47 -0000 Received: from second.openwall.net (193.110.157.125) by inbox.vuxu.org with ESMTPUTF8; 23 Sep 2022 15:35:47 -0000 Received: (qmail 16207 invoked by uid 550); 23 Sep 2022 15:35:44 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 16175 invoked from network); 23 Sep 2022 15:35:44 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:subject:message-id:in-reply-to: references:mime-version; bh=/CTSaRzpKs/8epOGlYstW28yuzAHFlvOh/Kj/9Ildac=; b=JU01Z+y3qf93Xm3H9+VKWZSY9g0P+kHf7wzp4SlYNwo7ykq9EwyxeF22 Bdn4gdYxZgWke4XbzMK5a8kUFUCb5EatSLR1TtVvarDf1jX3r0VEDEPGK 7cRcZ2PsUDX1Va8tiA8L5xQa4usabOY7JwAzrRoBST2E6OFzSpArMUsye M=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=jens.gustedt@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="5.93,339,1654552800"; d="scan'208";a="24543214" Date: Fri, 23 Sep 2022 17:35:31 +0200 From: =?UTF-8?B?SuKCkeKCmeKCmw==?= Gustedt To: Rich Felker Cc: musl@lists.openwall.com Message-ID: <20220923173531.5779d971@inria.fr> In-Reply-To: <20220923145843.GZ9709@brightrain.aerifal.cx> References: <20220923162518.56284329@inria.fr> <20220923145843.GZ9709@brightrain.aerifal.cx> Organization: inria.fr X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.33; x86_64-pc-linux-gnu) X-Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAAXNSR0IArs4c6QAAACRQTFRFERslNjAsLTE9Ok9wUk9TaUs8iWhSrYZkj42Rz6aD3sGZ MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/LElAOS7E9W0m_Q/=L3+Bfhm"; protocol="application/pgp-signature"; micalg=pgp-sha1 Subject: Re: [musl] C23 implications for C libraries --Sig_/LElAOS7E9W0m_Q/=L3+Bfhm Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Rich, on Fri, 23 Sep 2022 10:58:44 -0400 you (Rich Felker ) wrote: > On Fri, Sep 23, 2022 at 04:25:18PM +0200, J=E2=82=91=E2=82=99=E2=82=9B Gu= stedt wrote: > > Hello, > > I have started to compile a document that tries to collect > > everything a C library needs for C23 compliance: > >=20 > > https://htmlpreview.github.io/?https://icube-forge.unistra.fr/icps/c2= 3-library/-/raw/main/README.html > >=20 > > This is by far not complete and I will try to fill the holes in the > > next weeks. Let me know if you have any particular > > questions/remarks/additions. =20 > =20 > Thanks for putting this together. For the most part these look > tractable. >=20 > One small note on wording: your usage of FTM differs from the one > we're used to and that's in POSIX, where FTMs are macros the > application defines to request some functionality or compliance > profile from the implementation, not macros the implementation uses to > advertise features to the application. Sorry for that, the C standard calls these "Conditional feature macros" > One cute observation: now that headers define macros for their > versions, can we just replace the multiple-inclusion test macros with > these? I think so. Yes, indeed, I don't think that there is much that speaks against using them also in that way. J=E2=82=91=E2=82=99=E2=82=9B --=20 :: INRIA Nancy Grand Est ::: Camus ::::::: ICube/ICPS ::: :: :::::::::::::::::::::: gsm France : +33 651400183 :: :: ::::::::::::::: gsm international : +49 15737185122 :: :: http://icube-icps.unistra.fr/index.php/Jens_Gustedt :: --Sig_/LElAOS7E9W0m_Q/=L3+Bfhm Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iF0EARECAB0WIQSN9stI2OFN1pLljN0P0+hp2tU34gUCYy3SQwAKCRAP0+hp2tU3 4svWAKCDRiPXxQ26TcRMm0gEd82OvApKRwCeLNjBVGA1sez3R08t2MoU7xAZyas= =C9ju -----END PGP SIGNATURE----- --Sig_/LElAOS7E9W0m_Q/=L3+Bfhm--