{"id":2226774,"url":"http://patchwork.ozlabs.org/api/patches/2226774/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhup55wx16.gcc.gcc-TEST.tkaminsk.85.1.4@forge-stage.sourceware.org/","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":"<bmm.hhup55wx16.gcc.gcc-TEST.tkaminsk.85.1.4@forge-stage.sourceware.org>","list_archive_url":null,"date":"2026-04-22T18:49:41","name":"[v1,04/10] Remove isConst template parameter in favor of separate specialzation for const _Tp.","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"b472bddb70453ac0fd20b14ea5d9835fca827a40","submitter":{"id":93223,"url":"http://patchwork.ozlabs.org/api/people/93223/?format=json","name":"tkaminsk via Sourceware Forge","email":"forge-bot+tkaminsk@forge-stage.sourceware.org"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhup55wx16.gcc.gcc-TEST.tkaminsk.85.1.4@forge-stage.sourceware.org/mbox/","series":[{"id":501094,"url":"http://patchwork.ozlabs.org/api/series/501094/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=501094","date":"2026-04-22T18:49:39","name":"WIP: libstdc++: add support for cv-qualified types in atomic_ref (P3323R1)","version":1,"mbox":"http://patchwork.ozlabs.org/series/501094/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2226774/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2226774/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 spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=38.145.34.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; dmarc=none (p=none dis=none)\n header.from=forge-stage.sourceware.org","sourceware.org;\n spf=pass smtp.mailfrom=forge-stage.sourceware.org","server2.sourceware.org;\n arc=none smtp.remote-ip=38.145.34.39"],"Received":["from vm01.sourceware.org (vm01.sourceware.org [38.145.34.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 4g18bh0ZTWz1y2d\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 23 Apr 2026 05:36:16 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 191DA44BB373\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 22 Apr 2026 19:36:14 +0000 (GMT)","from forge-stage.sourceware.org (vm08.sourceware.org [38.145.34.39])\n by sourceware.org (Postfix) with ESMTPS id 3473040AB6A3\n for <gcc-patches@gcc.gnu.org>; Wed, 22 Apr 2026 18:51:08 +0000 (GMT)","from forge-stage.sourceware.org (localhost [IPv6:::1])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange x25519 server-signature ECDSA (prime256v1) server-digest SHA256)\n (No client certificate requested)\n by forge-stage.sourceware.org (Postfix) with ESMTPS id 0D51443593\n for <gcc-patches@gcc.gnu.org>; Wed, 22 Apr 2026 18:51:08 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 191DA44BB373","OpenDKIM Filter v2.11.0 sourceware.org 3473040AB6A3"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 3473040AB6A3","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 3473040AB6A3","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776883868; cv=none;\n b=AjswA36bao7f5TwFx9eUVjUrYhs3mSGxOddnBZwcgYpXwtOeR6F6P7a2ypB5/rjFdHg83bGz+Uj4hH0RfciDbfO7alB9PCzUCJiwICRiXqVs7wmqcgMjTPk/lTjw9gtBLIDSiN+fbQz66ijMswyTjQjdncXhtxj8KpqIy2cwmYM=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776883868; c=relaxed/simple;\n bh=gQReSBvrp9d5IMX0CLGiVKoahH6dX4TNsLOufVwhTDc=;\n h=From:Date:Subject:MIME-Version:To:Message-ID;\n b=D3c3swWAlDlJDO7mJ7xkLvwzZ3LZLXBB+6EJ45EBv1k3tuRVw6J7fWMvm4/DgTGyHC8Qt91KfYjZPFRxV/LeWHL/mUNh73AqpCv+qSExlrp7OFs/5hdpIt4I5z8Te0Zl5e+N6mbFvgc8apaX+eR4SGmMXkHn4YbeKk5sUCPzGlc=","ARC-Authentication-Results":"i=1; server2.sourceware.org","From":"tkaminsk via Sourceware Forge\n <forge-bot+tkaminsk@forge-stage.sourceware.org>","Date":"Wed, 22 Apr 2026 18:49:41 +0000","Subject":"[PATCH v1 04/10] Remove isConst template parameter in favor of\n separate specialzation for const _Tp.","MIME-Version":"1.0","Content-Type":"text/plain; charset=UTF-8","Content-Transfer-Encoding":"8bit","To":"gcc-patches mailing list <gcc-patches@gcc.gnu.org>","Message-ID":"\n <bmm.hhup55wx16.gcc.gcc-TEST.tkaminsk.85.1.4@forge-stage.sourceware.org>","X-Mailer":"batrachomyomachia","X-Pull-Request-Organization":"gcc","X-Pull-Request-Repository":"gcc-TEST","X-Pull-Request":"https://forge.sourceware.org/gcc/gcc-TEST/pulls/85","References":"\n <bmm.hhup55wx16.gcc.gcc-TEST.tkaminsk.85.1.0@forge-stage.sourceware.org>","In-Reply-To":"\n <bmm.hhup55wx16.gcc.gcc-TEST.tkaminsk.85.1.0@forge-stage.sourceware.org>","X-Patch-URL":"\n https://forge.sourceware.org/tkaminsk/gcc/commit/e700db27a00c37f9d8ac7429dbbc768aa2714461","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":"gcc-patches mailing list <gcc-patches@gcc.gnu.org>,\n tkaminsk@gcc.gnu.org","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"From: Tomasz Kamiński <tkaminsk@redhat.com>\n\nWe already have had 3 separate specializations for integers/floating\n(difference_type is value_type), pointers (difference_type is ptrdiff_t)\nand rest. This requires having 4, and seems easier.\n---\n libstdc++-v3/include/bits/atomic_base.h | 60 ++++++++++++++-----------\n 1 file changed, 33 insertions(+), 27 deletions(-)","diff":"diff --git a/libstdc++-v3/include/bits/atomic_base.h b/libstdc++-v3/include/bits/atomic_base.h\nindex 4caa9e30b4dc..b124aae626a0 100644\n--- a/libstdc++-v3/include/bits/atomic_base.h\n+++ b/libstdc++-v3/include/bits/atomic_base.h\n@@ -1667,48 +1667,30 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n     };\n \n   template<typename _Tp,\n-\t   bool = is_const_v<_Tp>,\n \t   bool = is_integral_v<_Tp> && !is_same_v<remove_cv_t<_Tp>, bool>,\n \t   bool = is_floating_point_v<_Tp>,\n \t   bool = is_pointer_v<_Tp>>\n     struct __atomic_ref;\n \n-  // base classes for const qualified types\n+  // base class for non-integral, non-floating-point, non-pointer types\n   template<typename _Tp>\n-    struct __atomic_ref<_Tp, true, false, false, false>\n+    struct __atomic_ref<_Tp, false, false, false>\n       : __atomic_ref_base<_Tp>\n     {\n       using __atomic_ref_base<_Tp>::__atomic_ref_base;\n+      using __atomic_ref_base<_Tp>::operator=;\n     };\n \n   template<typename _Tp>\n-    struct __atomic_ref<_Tp, true, false, false, true>\n-      : __atomic_ref_base<_Tp>\n-    {\n-      using difference_type = ptrdiff_t;\n-      using __atomic_ref_base<_Tp>::__atomic_ref_base;\n-    };\n-\n-  template<typename _Tp, bool _IsIntegral, bool _IsFloatingPoint>\n-    struct __atomic_ref<_Tp, true, _IsIntegral, _IsFloatingPoint, false>\n-      : __atomic_ref_base<_Tp>\n+    struct __atomic_ref<const _Tp, false, false, false>\n+      : __atomic_ref_base<const _Tp>\n     {\n-      using difference_type = typename __atomic_ref_base<_Tp>::value_type;\n-      using __atomic_ref_base<_Tp>::__atomic_ref_base;\n+      using __atomic_ref_base<const _Tp>::__atomic_ref_base;\n     };\n \n-  // base class for non-integral, non-floating-point, non-pointer types\n-  template<typename _Tp>\n-    struct __atomic_ref<_Tp, false, false, false, false>\n-      : __atomic_ref_base<_Tp>\n-    {\n-      using __atomic_ref_base<_Tp>::__atomic_ref_base;\n-      using __atomic_ref_base<_Tp>::operator=;\n-     };\n-\n   // base class for atomic_ref<integral-type>\n   template<typename _Tp>\n-    struct __atomic_ref<_Tp, false, true, false, false>\n+    struct __atomic_ref<_Tp, true, false, false>\n       : __atomic_ref_base<_Tp>\n     {\n       using value_type = typename __atomic_ref_base<_Tp>::value_type;\n@@ -1779,9 +1761,17 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n       { return __atomic_impl::__xor_fetch(this->_M_ptr, __i); }\n     };\n \n+  template<typename _Tp>\n+    struct __atomic_ref<const _Tp, true, false, false>\n+      : __atomic_ref_base<const _Tp>\n+    {\n+      using difference_type = typename __atomic_ref_base<const _Tp>::value_type;\n+      using __atomic_ref_base<const _Tp>::__atomic_ref_base;\n+    };\n+\n   // base class for atomic_ref<floating-point-type>\n   template<typename _Fp>\n-    struct __atomic_ref<_Fp, false, false, true, false>\n+    struct __atomic_ref<_Fp, false, true, false>\n       : __atomic_ref_base<_Fp>\n     {\n       using value_type = typename __atomic_ref_base<_Fp>::value_type;\n@@ -1809,9 +1799,17 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n       { return __atomic_impl::__sub_fetch_flt(this->_M_ptr, __i); }\n     };\n \n+  template<typename _Fp>\n+    struct __atomic_ref<const _Fp, false, true, false>\n+      : __atomic_ref_base<const _Fp>\n+    {\n+      using difference_type = typename __atomic_ref_base<const _Fp>::value_type;\n+      using __atomic_ref_base<const _Fp>::__atomic_ref_base;\n+    };\n+\n   // base class for atomic_ref<pointer-type>\n   template<typename _Pt>\n-    struct __atomic_ref<_Pt, false, false, false, true>\n+    struct __atomic_ref<_Pt, false, false, true>\n       : __atomic_ref_base<_Pt>\n     {\n       using value_type = typename __atomic_ref_base<_Pt>::value_type;\n@@ -1870,6 +1868,14 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n \treturn __d * sizeof(_Et);\n       }\n     };\n+\n+  template<typename _Pt>\n+    struct __atomic_ref<const _Pt, false, false, true>\n+      : __atomic_ref_base<const _Pt>\n+    {\n+      using difference_type = ptrdiff_t;\n+      using __atomic_ref_base<const _Pt>::__atomic_ref_base;\n+    };\n #endif // C++2a\n \n   /// @endcond\n","prefixes":["v1","04/10"]}