{"id":2226776,"url":"http://patchwork.ozlabs.org/api/patches/2226776/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhup55wx16.gcc.gcc-TEST.tkaminsk.85.1.8@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":"","list_archive_url":null,"date":"2026-04-22T18:49:45","name":"[v1,08/10] Added test for volatile","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"40fac03c1a22e6ffcb7d72b7180463ab4eeb4a43","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.8@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/2226776/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2226776/checks/","tags":{},"related":[],"headers":{"Return-Path":"","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=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; 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\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 4g18cX2qqXz1y2d\n\tfor ; Thu, 23 Apr 2026 05:37:00 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id C414542CABD4\n\tfor ; Wed, 22 Apr 2026 19:36:50 +0000 (GMT)","from forge-stage.sourceware.org (vm08.sourceware.org [38.145.34.39])\n by sourceware.org (Postfix) with ESMTPS id 22B19407EE03\n for ; Wed, 22 Apr 2026 18:51:10 +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 449CF43597\n for ; Wed, 22 Apr 2026 18:51:08 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org C414542CABD4","OpenDKIM Filter v2.11.0 sourceware.org 22B19407EE03"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 22B19407EE03","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 22B19407EE03","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776883870; cv=none;\n b=bgYyvvtn5daY58wsW+kJzKWBZOP7vwQKtUZN9oWNVHvo2AjbgOKMGWq00MC07OGk+9G9q+Y24LpB8Za06CEfLLRk2GQDkUlBdFpDaS73hh0q+NMT3hYHyNdSDPGUeTtzQHnqFWwuKR3aWzWAiFz6Lb2mcBevCwNdaADHa2Qwo3s=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776883870; c=relaxed/simple;\n bh=cpq2eEHZWrWxToM+MQWGt7ynIKhEzJgbUueDt2W0hnk=;\n h=From:Date:Subject:MIME-Version:To:Message-ID;\n b=ufzFrQBdqc57++4ipknRDfpWWRI764dG0Zahxhx17P7xIp0T8TAbkb/X6MrjHMzyLcgy0jj/RjmiWVHEudw0BO5bPDW/Uop8QAy4nCLskSQ1ue+qZh/Je7AMmNEf90XxXYbcF1tXU4FHUQIIJxmJXqn/JCu8mzlwKCDvrMyzx04=","ARC-Authentication-Results":"i=1; server2.sourceware.org","From":"tkaminsk via Sourceware Forge\n ","Date":"Wed, 22 Apr 2026 18:49:45 +0000","Subject":"[PATCH v1 08/10] Added test for volatile","MIME-Version":"1.0","Content-Type":"text/plain; charset=UTF-8","Content-Transfer-Encoding":"8bit","To":"gcc-patches mailing list ","Message-ID":"\n ","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 ","In-Reply-To":"\n ","X-Patch-URL":"\n https://forge.sourceware.org/tkaminsk/gcc/commit/91a6239aef530e4f6252bbede2aab24091aad3ec","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Reply-To":"gcc-patches mailing list ,\n tkaminsk@gcc.gnu.org","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"From: Tomasz Kamiński \n\n---\n .../testsuite/29_atomics/atomic_ref/115402.cc | 17 ----\n .../29_atomics/atomic_ref/cv_qual.cc | 94 +++++++++++++++++++\n 2 files changed, 94 insertions(+), 17 deletions(-)\n delete mode 100644 libstdc++-v3/testsuite/29_atomics/atomic_ref/115402.cc\n create mode 100644 libstdc++-v3/testsuite/29_atomics/atomic_ref/cv_qual.cc","diff":"diff --git a/libstdc++-v3/testsuite/29_atomics/atomic_ref/115402.cc b/libstdc++-v3/testsuite/29_atomics/atomic_ref/115402.cc\ndeleted file mode 100644\nindex 615834400174..000000000000\n--- a/libstdc++-v3/testsuite/29_atomics/atomic_ref/115402.cc\n+++ /dev/null\n@@ -1,17 +0,0 @@\n-// PR libstdc++/115402\n-// { dg-do run { target c++20 } }\n-\n-#include \n-\n-int\n-main()\n-{\n- volatile int vi = 0;\n- std::atomic_ref vref(vi);\n- int val = vref.load();\n- vref.exchange(val);\n- vref.compare_exchange_weak(val, 0);\n- vref.compare_exchange_strong(val, 0);\n- // TODO volatile waits are not supported\n- // vref.wait(0);\n-}\ndiff --git a/libstdc++-v3/testsuite/29_atomics/atomic_ref/cv_qual.cc b/libstdc++-v3/testsuite/29_atomics/atomic_ref/cv_qual.cc\nnew file mode 100644\nindex 000000000000..cc397de6ec61\n--- /dev/null\n+++ b/libstdc++-v3/testsuite/29_atomics/atomic_ref/cv_qual.cc\n@@ -0,0 +1,94 @@\n+// Copyright (C) 2019-2025 Free Software Foundation, Inc.\n+//\n+// This file is part of the GNU ISO C++ Library. This library is free\n+// software; you can redistribute it and/or modify it under the\n+// terms of the GNU General Public License as published by the\n+// Free Software Foundation; either version 3, or (at your option)\n+// any later version.\n+\n+// This library is distributed in the hope that it will be useful,\n+// but WITHOUT ANY WARRANTY; without even the implied warranty of\n+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\n+// GNU General Public License for more details.\n+\n+// You should have received a copy of the GNU General Public License along\n+// with this library; see the file COPYING3. If not see\n+// .\n+\n+// { dg-do run { target c++20 } }\n+// { dg-require-atomic-cmpxchg-word \"\" }\n+// { dg-add-options libatomic }\n+\n+#include \n+#include \n+\n+struct X\n+{\n+ X() = default;\n+ X(int i) : i(i) { }\n+ int i;\n+\n+ friend bool\n+ operator==(X, X) = default;\n+};\n+\n+template\n+void\n+test01(V v0, V v1)\n+{\n+ V value;\n+\n+ if constexpr (std::atomic_ref::is_always_lock_free)\n+ {\n+ std::atomic_ref a(value);\n+ VERIFY( a.is_lock_free() );\n+ \n+ a = v0;\n+ VERIFY( V(a) == v0 );\n+ VERIFY( a.load() == v0 );\n+\n+ a.store(v1);\n+ VERIFY( a.load() == v1 ); \n+\n+ V last = a.exchange(v0);\n+ VERIFY( a.load() == v0 );\n+ VERIFY( last == v1 );\n+\n+ V expected = a.load();\n+ while (!a.compare_exchange_weak(expected, v1))\n+ { /* weak form can fail spuriously */ }\n+ VERIFY( a.load() == v1 );\n+ VERIFY( expected == v0 );\n+\n+ bool ok;\n+ ok = a.compare_exchange_strong(expected, v0);\n+ VERIFY( !ok && a.load() == v1 && expected == v1 );\n+\n+ ok = a.compare_exchange_strong(expected, v0);\n+ VERIFY( ok && a.load() == v0 && expected == v1 );\n+\n+ std::atomic_ref cva(value);\n+ VERIFY( cva.is_lock_free() );\n+ VERIFY( V(cva) == v0 );\n+ VERIFY( cva.load() == v0 );\n+ }\n+\n+ value = v0;\n+ std::atomic_ref ca(value);\n+ bool lf = ca.is_lock_free();\n+ if constexpr (std::atomic_ref::is_always_lock_free)\n+ VERIFY( lf );\n+ VERIFY( V(ca) == v0 );\n+ VERIFY( ca.load() == v0 );\n+}\n+\n+int\n+main()\n+{\n+ int x;\n+ test01(false, true);\n+ test01(1, 2);\n+ test01(1.2, 3.4);\n+ test01(&x, &x+1);\n+ test01(12, 13);\n+}\n","prefixes":["v1","08/10"]}