{"id":2226189,"url":"http://patchwork.ozlabs.org/api/patches/2226189/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/aeihoaiuRwi1vH70@tucnak/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null,"list_archive_url":"","list_archive_url_format":"","commit_url_format":""},"msgid":"<aeihoaiuRwi1vH70@tucnak>","list_archive_url":null,"date":"2026-04-22T10:23:29","name":"c++, libstc++: Bump __cpp_impl_reflection and __cpp_lib_reflection","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"11f0eb6fe53b7e0245cad04c41dfacd5ca1caf63","submitter":{"id":671,"url":"http://patchwork.ozlabs.org/api/people/671/?format=json","name":"Jakub Jelinek","email":"jakub@redhat.com"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/aeihoaiuRwi1vH70@tucnak/mbox/","series":[{"id":500969,"url":"http://patchwork.ozlabs.org/api/series/500969/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=500969","date":"2026-04-22T10:23:29","name":"c++, libstc++: Bump __cpp_impl_reflection and __cpp_lib_reflection","version":1,"mbox":"http://patchwork.ozlabs.org/series/500969/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2226189/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2226189/checks/","tags":{},"related":[],"headers":{"Return-Path":"<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (1024-bit key;\n unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=hKa+dWHq;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (1024-bit key,\n unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=hKa+dWHq","sourceware.org; dmarc=pass (p=quarantine dis=none)\n header.from=redhat.com","sourceware.org; spf=pass smtp.mailfrom=redhat.com","server2.sourceware.org;\n arc=none smtp.remote-ip=170.10.129.124"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g0wZw6mpRz1y2d\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 22 Apr 2026 20:34:48 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id E8A95436FA37\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 22 Apr 2026 10:34:46 +0000 (GMT)","from us-smtp-delivery-124.mimecast.com\n (us-smtp-delivery-124.mimecast.com [170.10.129.124])\n by sourceware.org (Postfix) with ESMTP id D24944BAE7F8\n for <gcc-patches@gcc.gnu.org>; Wed, 22 Apr 2026 10:23:37 +0000 (GMT)","from mx-prod-mc-03.mail-002.prod.us-west-2.aws.redhat.com\n (ec2-54-186-198-63.us-west-2.compute.amazonaws.com [54.186.198.63]) by\n relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3,\n cipher=TLS_AES_256_GCM_SHA384) id us-mta-97-h4zhbBx-P7GuSu9i6uiedw-1; Wed,\n 22 Apr 2026 06:23:34 -0400","from mx-prod-int-08.mail-002.prod.us-west-2.aws.redhat.com\n (mx-prod-int-08.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.111])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest\n SHA256)\n (No client certificate requested)\n by mx-prod-mc-03.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS\n id 4E17F19560BB; Wed, 22 Apr 2026 10:23:33 +0000 (UTC)","from tucnak.zalov.cz (unknown [10.44.48.12])\n by mx-prod-int-08.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with\n ESMTPS\n id A43CC1800446; Wed, 22 Apr 2026 10:23:32 +0000 (UTC)","from tucnak.zalov.cz (localhost [127.0.0.1])\n by tucnak.zalov.cz (8.18.1/8.18.1) with ESMTPS id 63MANTD94028887\n (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT);\n Wed, 22 Apr 2026 12:23:30 +0200","(from jakub@localhost)\n by tucnak.zalov.cz (8.18.1/8.18.1/Submit) id 63MANTil4028886;\n Wed, 22 Apr 2026 12:23:29 +0200"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org E8A95436FA37","OpenDKIM Filter v2.11.0 sourceware.org D24944BAE7F8"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org D24944BAE7F8","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org D24944BAE7F8","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776853417; cv=none;\n b=SXBNeIXZEN+eMvInIoT3FqkYjE20/McpKi0J+iVNg+m5zOSdCURfeRNhafvARfkSywZ4r1UEzw9hXq9ImAkqObdM0SmmrGW9OKDTu8ZOeMwjnOXmRdRu6UtCkZFGQyKz/4Qr8fLw17HXQegg0L+XiME0cPFqfmTwVT/XW9ucfvc=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776853417; c=relaxed/simple;\n bh=gdqyuxm5o8PEN5uFvwMxeJhXblnoyRc6z0L/lIU5530=;\n h=DKIM-Signature:Date:From:To:Subject:Message-ID:MIME-Version;\n b=qXpRT5mKotlT0TT12Qlg2F7ku40FtMoC1pE6XutYb04uBZRdnLgCLeRrsenlMCOkRZ8SYv2zP2vCcnW+mOPQiwDJmQ+FTBvDWYIm5IRfziERo99WWmkoCG0XaVKWTBIiUfcLzu02lPUhte/Ct44Ox2z1JI00jy8sqr1+jm8PvIc=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com;\n s=mimecast20190719; t=1776853417;\n h=from:from:reply-to:reply-to:subject:subject:date:date:\n message-id:message-id:to:to:cc:cc:mime-version:mime-version:\n content-type:content-type; bh=urQOBhg7wwz6DQWlit9MDvuwGak+oOwHTNAgHN8FGKk=;\n b=hKa+dWHqlTnrIvU8UAj51ADgeMmNxpsimh8DM9+dRR+I3QFidw5d5V+j5eUEbGxcDbKzpK\n nDzmvF/LW7eQpvIAJF2/soybnAWZTiwm7h4e0aSvWsss7tZMcaqY0UA6g6YCpLwV38qadS\n yMvUMvN3B2P+tLnD/gj2zxAtRlT4dwc=","X-MC-Unique":"h4zhbBx-P7GuSu9i6uiedw-1","X-Mimecast-MFC-AGG-ID":"h4zhbBx-P7GuSu9i6uiedw_1776853413","Date":"Wed, 22 Apr 2026 12:23:29 +0200","From":"Jakub Jelinek <jakub@redhat.com>","To":"Jason Merrill <jason@redhat.com>, Jonathan Wakely <jwakely@redhat.com>","Cc":"gcc-patches@gcc.gnu.org, libstdc++@gcc.gnu.org","Subject":"[PATCH] c++, libstc++: Bump __cpp_impl_reflection and\n __cpp_lib_reflection","Message-ID":"<aeihoaiuRwi1vH70@tucnak>","MIME-Version":"1.0","X-Scanned-By":"MIMEDefang 3.4.1 on 10.30.177.111","X-Mimecast-Spam-Score":"0","X-Mimecast-MFC-PROC-ID":"oJtjYMxObMSPB8A9Xv5lLqzfIU91t1xd0_uaEuOodsg_1776853413","X-Mimecast-Originator":"redhat.com","Content-Type":"text/plain; charset=us-ascii","Content-Disposition":"inline","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list <gcc-patches.gcc.gnu.org>","List-Unsubscribe":"<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>","List-Archive":"<https://gcc.gnu.org/pipermail/gcc-patches/>","List-Post":"<mailto:gcc-patches@gcc.gnu.org>","List-Help":"<mailto:gcc-patches-request@gcc.gnu.org?subject=help>","List-Subscribe":"<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>","Reply-To":"Jakub Jelinek <jakub@redhat.com>","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"Hi!\n\nBoth __cpp_impl_reflection and __cpp_lib_reflection were increased from\n202506L to 202603L post Croydon, I assume to show that P3795R2 (maybe some\nissues too) have been implemented.\nNow, we do implement P3795R2 except for the is_applicable_type,\nis_nothrow_applicable_type and apply_result metafunctions, but Jonathan says\nthere is agreement in LWG that to test for availability of those one should\ntest __cpp_lib_reflection >= 202603L && __cpp_lib_apply >= 202603L.\n\nSo, this patch bumps both FTMs.\n\nTested on x86_64-linux, ok for trunk?\n\n2026-04-22  Jakub Jelinek  <jakub@redhat.com>\n\ngcc/c-family/\n\t* c-cppbuiltin.cc (c_cpp_builtins): Bump __cpp_impl_reflection value\n\tfrom 202506L to 202603L.\ngcc/testsuite/\n\t* g++.dg/DRs/dr2581-2.C: Adjust for __cpp_impl_reflection bump from\n\t202506L to 202603L.\n\t* g++.dg/reflect/feat1.C: Likewise.  Also adjust for\n\t__cpp_lib_reflection bump from 202506L to 202603L.\n\t* g++.dg/reflect/feat2.C: Likewise.\n\t* g++.dg/reflect/feat3.C: Likewise.\nlibstdc++-v3/\n\t* include/bits/version.def (reflection): Bump 202506L to 202603L\n\tfor both v and in extra_cond.\n\t* include/bits/version.h: Regenerate.\n\t* include/std/meta: Compare __glibcxx_reflection against\n\t202603L rather than 202506L.\n\t* include/std/type_traits: Compare __cpp_impl_reflection against\n\t202603L rather than 202506L.\n\t* src/c++23/std.cc.in: Likewise.  Compare __glibcxx_reflection against\n\t202603L rather than 202506L.\n\t* testsuite/20_util/is_structural/value.cc: Compare\n\t__cpp_impl_reflection against 202603L rather than 202506L.\n\t* testsuite/20_util/variable_templates_for_traits.cc: Likewise.\n\n\n\tJakub","diff":"--- gcc/c-family/c-cppbuiltin.cc.jj\t2026-03-27 10:17:13.713337609 +0100\n+++ gcc/c-family/c-cppbuiltin.cc\t2026-04-22 11:59:44.926135527 +0200\n@@ -1119,7 +1119,7 @@ c_cpp_builtins (cpp_reader *pfile)\n \t  cpp_define (pfile, \"__cpp_constexpr_virtual_inheritance=202506L\");\n \t  cpp_define (pfile, \"__cpp_expansion_statements=202506L\");\n \t  if (flag_reflection)\n-\t    cpp_define (pfile, \"__cpp_impl_reflection=202506L\");\n+\t    cpp_define (pfile, \"__cpp_impl_reflection=202603L\");\n \t  else\n \t    cpp_warn (pfile, \"__cpp_impl_reflection\");\n \t}\n--- gcc/testsuite/g++.dg/DRs/dr2581-2.C.jj\t2026-03-27 10:17:15.320311386 +0100\n+++ gcc/testsuite/g++.dg/DRs/dr2581-2.C\t2026-04-22 12:02:27.265362686 +0200\n@@ -64,7 +64,7 @@\n #define __cpp_impl_coroutine 201902L\t\t// { dg-error \"'__cpp_impl_coroutine' redefined\" \"\" { target c++20 } }\n #define __cpp_impl_destroying_delete 201806L\t// { dg-error \"'__cpp_impl_destroying_delete' redefined\" \"\" { target c++20 } }\n #define __cpp_impl_three_way_comparison 201907L\t// { dg-error \"'__cpp_impl_three_way_comparison' redefined\" \"\" { target c++20 } }\n-#define __cpp_impl_reflection 202506L\t\t// { dg-error \"'__cpp_impl_reflection' redefined\" \"\" { target c++26 } }\n+#define __cpp_impl_reflection 202603L\t\t// { dg-error \"'__cpp_impl_reflection' redefined\" \"\" { target c++26 } }\n #define __cpp_implicit_move 202207L\t\t// { dg-error \"'__cpp_implicit_move' redefined\" \"\" { target c++23 } }\n #define __cpp_inheriting_constructors 201511L\t// { dg-error \"'__cpp_inheriting_constructors' redefined\" \"\" { target c++20 } }\n #define __cpp_init_captures 201803L\t\t// { dg-error \"'__cpp_init_captures' redefined\" \"\" { target c++14 } }\n--- gcc/testsuite/g++.dg/reflect/feat1.C.jj\t2026-03-27 10:17:16.125298250 +0100\n+++ gcc/testsuite/g++.dg/reflect/feat1.C\t2026-04-22 12:00:26.919418259 +0200\n@@ -4,14 +4,14 @@\n \n #ifndef __cpp_impl_reflection\n #  error \"__cpp_impl_reflection\"\n-#elif __cpp_impl_reflection != 202506\n-#  error \"__cpp_impl_reflection != 202506\"\n+#elif __cpp_impl_reflection != 202603\n+#  error \"__cpp_impl_reflection != 202603\"\n #endif\n \n #include <meta>\n \n #ifndef __cpp_lib_reflection\n #  error \"__cpp_lib_reflection\"\n-#elif __cpp_lib_reflection != 202506\n-#  error \"__cpp_lib_reflection != 202506\"\n+#elif __cpp_lib_reflection != 202603\n+#  error \"__cpp_lib_reflection != 202603\"\n #endif\n--- gcc/testsuite/g++.dg/reflect/feat2.C.jj\t2026-03-27 10:17:16.125298250 +0100\n+++ gcc/testsuite/g++.dg/reflect/feat2.C\t2026-04-22 12:00:42.738148067 +0200\n@@ -6,8 +6,8 @@\n \n #ifndef __cpp_lib_reflection\n #  error \"__cpp_lib_reflection\"\n-#elif __cpp_lib_reflection != 202506\n-#  error \"__cpp_lib_reflection != 202506\"\n+#elif __cpp_lib_reflection != 202603\n+#  error \"__cpp_lib_reflection != 202603\"\n #endif\n \n #ifndef __cpp_lib_define_static\n--- gcc/testsuite/g++.dg/reflect/feat3.C.jj\t2026-03-27 10:17:16.125298250 +0100\n+++ gcc/testsuite/g++.dg/reflect/feat3.C\t2026-04-22 12:01:46.374061130 +0200\n@@ -6,8 +6,8 @@\n \n #ifndef __cpp_lib_reflection\n #  error \"__cpp_lib_reflection\"\n-#elif __cpp_lib_reflection != 202506\n-#  error \"__cpp_lib_reflection != 202506\"\n+#elif __cpp_lib_reflection != 202603\n+#  error \"__cpp_lib_reflection != 202603\"\n #endif\n \n #ifndef __cpp_lib_define_static\n--- libstdc++-v3/include/bits/version.def.jj\t2026-04-14 21:13:35.039460718 +0200\n+++ libstdc++-v3/include/bits/version.def\t2026-04-22 12:03:42.709074062 +0200\n@@ -2337,9 +2337,9 @@ ftms = {\n ftms = {\n   name = reflection;\n   values = {\n-    v = 202506;\n+    v = 202603;\n     cxxmin = 26;\n-    extra_cond = \"__cpp_impl_reflection >= 202506L\";\n+    extra_cond = \"__cpp_impl_reflection >= 202603L\";\n     cxx11abi = yes;\n   };\n };\n--- libstdc++-v3/include/bits/version.h.jj\t2026-04-14 21:13:35.039460718 +0200\n+++ libstdc++-v3/include/bits/version.h\t2026-04-22 12:03:49.126595150 +0200\n@@ -2602,10 +2602,10 @@\n #undef __glibcxx_want_philox_engine\n \n #if !defined(__cpp_lib_reflection)\n-# if (__cplusplus >  202302L) && _GLIBCXX_USE_CXX11_ABI && (__cpp_impl_reflection >= 202506L)\n-#  define __glibcxx_reflection 202506L\n+# if (__cplusplus >  202302L) && _GLIBCXX_USE_CXX11_ABI && (__cpp_impl_reflection >= 202603L)\n+#  define __glibcxx_reflection 202603L\n #  if defined(__glibcxx_want_all) || defined(__glibcxx_want_reflection)\n-#   define __cpp_lib_reflection 202506L\n+#   define __cpp_lib_reflection 202603L\n #  endif\n # endif\n #endif /* !defined(__cpp_lib_reflection) */\n--- libstdc++-v3/include/std/meta.jj\t2026-04-21 18:24:44.122033404 +0200\n+++ libstdc++-v3/include/std/meta\t2026-04-22 12:04:19.089452664 +0200\n@@ -37,7 +37,7 @@\n #define __glibcxx_want_define_static\n #include <bits/version.h>\n \n-#if __glibcxx_reflection >= 202506L // C++ >= 26 && __cpp_impl_reflection\n+#if __glibcxx_reflection >= 202603L // C++ >= 26 && __cpp_impl_reflection\n \n #include <array>\n #include <initializer_list>\n--- libstdc++-v3/include/std/type_traits.jj\t2026-04-08 15:33:26.695042703 +0200\n+++ libstdc++-v3/include/std/type_traits\t2026-04-22 12:04:59.783757579 +0200\n@@ -755,7 +755,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n     : public false_type { };\n #endif\n \n-#if __cpp_impl_reflection >= 202506L // C++ >= 26\n+#if __cpp_impl_reflection >= 202603L // C++ >= 26\n   /// is_reflection\n   template<typename _Tp>\n     struct is_reflection\n@@ -844,7 +844,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n     struct is_fundamental\n     : public __or_<is_arithmetic<_Tp>, is_void<_Tp>,\n \t\t   is_null_pointer<_Tp>\n-#if __cpp_impl_reflection >= 202506L\n+#if __cpp_impl_reflection >= 202603L\n \t\t   , is_reflection<_Tp>\n #endif\n \t\t   >::type\n@@ -3561,7 +3561,7 @@ template <typename _Tp>\n     is_member_function_pointer<_Tp>::value;\n #endif\n \n-#if __cpp_impl_reflection >= 202506L // C++ >= 26\n+#if __cpp_impl_reflection >= 202603L // C++ >= 26\n template <typename _Tp>\n   inline constexpr bool is_reflection_v = false;\n template <>\n--- libstdc++-v3/src/c++23/std.cc.in.jj\t2026-04-10 08:45:20.742811345 +0200\n+++ libstdc++-v3/src/c++23/std.cc.in\t2026-04-22 12:05:31.902208977 +0200\n@@ -2083,7 +2083,7 @@ export namespace std::pmr\n }\n \n // <meta>\n-#if __glibcxx_reflection >= 202506L\n+#if __glibcxx_reflection >= 202603L\n export namespace std\n {\n #if __has_builtin(__builtin_is_string_literal)\n@@ -3572,7 +3572,7 @@ export namespace std\n   using std::is_implicit_lifetime;\n   using std::is_implicit_lifetime_v;\n #endif\n-#if __cpp_impl_reflection >= 202506L\n+#if __cpp_impl_reflection >= 202603L\n   using std::is_reflection;\n   using std::is_reflection_v;\n #endif\n--- libstdc++-v3/testsuite/20_util/is_structural/value.cc.jj\t2026-04-03 20:51:17.921877231 +0200\n+++ libstdc++-v3/testsuite/20_util/is_structural/value.cc\t2026-04-22 12:06:06.519617691 +0200\n@@ -24,7 +24,7 @@ void test01()\n   static_assert(test_category<is_structural, int (ClassType::*)>(true), \"\");\n   static_assert(test_category<is_structural, int (ClassType::*) (int)>(true), \"\");\n   static_assert(test_category<is_structural, std::nullptr_t>(true), \"\");\n-#if __cpp_impl_reflection >= 202506L\n+#if __cpp_impl_reflection >= 202603L\n   static_assert(test_category<is_structural, decltype(^^::)>(true), \"\");\n #endif\n   static_assert(test_category<is_structural, int&>(true), \"\");\n--- libstdc++-v3/testsuite/20_util/variable_templates_for_traits.cc.jj\t2026-04-08 07:49:13.479066346 +0200\n+++ libstdc++-v3/testsuite/20_util/variable_templates_for_traits.cc\t2026-04-22 12:06:28.514242009 +0200\n@@ -331,7 +331,7 @@ static_assert(is_convertible_v<int&, con\n static_assert(!is_convertible_v<const int&, int&>\n \t      && !is_convertible<const int&, int&>::value, \"\");\n \n-#if __cpp_impl_reflection >= 202506L\n+#if __cpp_impl_reflection >= 202603L\n static_assert(is_reflection_v<decltype(^^int)>\n \t      && is_reflection<decltype(^^int)>::value, \"\");\n static_assert(!is_reflection_v<int> && !is_reflection<int>::value, \"\");\n","prefixes":[]}