From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED, RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from second.openwall.net (second.openwall.net [193.110.157.125]) by inbox.vuxu.org (Postfix) with SMTP id E84842589C for ; Tue, 19 Mar 2024 15:12:17 +0100 (CET) Received: (qmail 28509 invoked by uid 550); 19 Mar 2024 14:07:46 -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 28475 invoked from network); 19 Mar 2024 14:07:45 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:subject:message-id:mime-version: content-transfer-encoding; bh=IGIVpqXhqSlmK7Q38c5o1TT+887l/KRbTVKk7vluedU=; b=ktNek0+Zk8EcO6Yb40JaaGf8PaYgG/99Rqpgx+usskgJcL6DW7ysObyG kFdFv6AXec9epixKEtaf9toRYYyyOIOFKcQWNp88VUCaxrm12Au+x1JdB gocOioVq/IPlxDAfP9GQNre4Sj0bMrAJuGubzvnPivwBKQieUUh8t/Xw/ 0=; 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="6.07,137,1708383600"; d="scan'208";a="82569108" Date: Tue, 19 Mar 2024 15:12:02 +0100 From: =?UTF-8?B?SuKCkeKCmeKCmw==?= Gustedt To: musl@lists.openwall.com Message-ID: <20240319151202.6856ebec@inria.fr> 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: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [musl] C23 support, v11 Hello, there is now a v.11 of the patches at https://forge.icube.unistra.fr/icps/musl/-/branches The changes are that I tried to rebase such that patches that handle things from the same standard clause / header are closer together. One other thing that changed, and that we should perhaps discuss a bit, is to which version number of `__STDC_VERSION__` we refer. As far as I can see, gcc and clang have the following strategy for `-std=3Dc2x`: - as long as the compiler support is not complete, the version macro has a value that is bigger than `201710L` but smaller than the final value `202311L`. - when support is considered to be sufficiently complete they switch to `202311L`, probably gcc-14 and clang-19 Sufficiently here means that all language features that have no specific feature tests are implemented. What I see will still be lacking are `#embed`, `[[reproducible]]` and `[[unsequenced]]`, but all of these have feature tests. The first wave of the patches only uses tests for `< 202311L` that is it supposes all or nothing. Users that use early support compilers for C23 could fall through the cracks with these. Since both compilers started early with their C23 support, there are quite a number of compilers that are concerned, 4 or 5 versions of each, gcc and clang. On top of this there is patch 592fcd9a that relaxes part of these tests to just `> 201710L` such that users already get some C23 support for features that had been implemented early on. Then there are also patches 8f145eea and 1af530a1 C23: deal with intermediate C versions for stdbool.h C23: deal with intermediate C versions for assert.h That provide intermediate versions of the corresponding features as they had been developed over the years. J=E2=82=91=E2=82=99=E2=82=9B --=20 :: ICube :::::::::::::::::::::::::::::: deputy director :: :: Universit=C3=A9 de Strasbourg :::::::::::::::::::::: ICPS :: :: INRIA Nancy Grand Est :::::::::::::::::::::::: Camus :: :: :::::::::::::::::::::::::::::::::::: =E2=98=8E +33 368854536 :: :: https://icube-icps.unistra.fr/index.php/Jens_Gustedt ::