{"id":2226670,"url":"http://patchwork.ozlabs.org/api/patches/2226670/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.2@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:06:29","name":"[v1,2/2] Tests and fixes","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"0bf3171ac7463c924914ac294fb455852918e19f","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.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.2@forge-stage.sourceware.org/mbox/","series":[{"id":501067,"url":"http://patchwork.ozlabs.org/api/series/501067/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=501067","date":"2026-04-22T18:06:27","name":"tk/PR111055-from-range-adaptors","version":1,"mbox":"http://patchwork.ozlabs.org/series/501067/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2226670/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2226670/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=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 4g16rg10Gjz1yD5\n\tfor ; Thu, 23 Apr 2026 04:17:23 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 3DC6E4901419\n\tfor ; Wed, 22 Apr 2026 18:17:21 +0000 (GMT)","from forge-stage.sourceware.org (vm08.sourceware.org [38.145.34.39])\n by sourceware.org (Postfix) with ESMTPS id 2930F4B920CA\n for ; Wed, 22 Apr 2026 18:07:49 +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 04D40433F3\n for ; Wed, 22 Apr 2026 18:07:49 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 3DC6E4901419","OpenDKIM Filter v2.11.0 sourceware.org 2930F4B920CA"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 2930F4B920CA","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 2930F4B920CA","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776881269; cv=none;\n b=M98f7xp70sWQtIMHR1pReJ38dS858WAFvSFep6v7E//VOG0jLkuP1TCWnryClUA7bfweCQgeMi0ECcfBuoqGqvnUGF9gj6g1aIL0cp0iSUVSw29+711MhWUlm2lAiDHVhEpe8fZQywnbVPST2MbLLrQ2OEEKUElg5+rSMTuen0Y=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776881269; c=relaxed/simple;\n bh=OksZ3H3FQ2ehHPUjRAsIT84CM+taxMbtRycWkOA9HKo=;\n h=From:Date:Subject:MIME-Version:To:Message-ID;\n b=XUgqftkDHQYDAXt6hvc9OY0je6RFGIfbiWU8ukvV940vcf5Kv4Nz8d3KRasBG0bWmR0eMUzC8eYfWI31nPhjfLWQadcjAA22g3vk7WRN374CwWSZorAjzz5+QOi/DT5a3frkbH1IIzkvgDlV/A33KX0pv+xtYoMD4vlMqaQ02ZQ=","ARC-Authentication-Results":"i=1; server2.sourceware.org","From":"tkaminsk via Sourceware Forge\n ","Date":"Wed, 22 Apr 2026 18:06:29 +0000","Subject":"[PATCH v1 2/2] Tests and fixes","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-Requested-Reviewer":"redi","X-Pull-Request-Organization":"gcc","X-Pull-Request-Repository":"gcc-TEST","X-Pull-Request":"https://forge.sourceware.org/gcc/gcc-TEST/pulls/43","References":"\n ","In-Reply-To":"\n ","X-Patch-URL":"\n https://forge.sourceware.org/tkaminsk/gcc/commit/1457fd4aa1dc2d82fa0320ffd69b27dbdeed1047","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\nlibstdc++-v3/ChangeLog:\n\n\t* testsuite/util/testsuite_iterators.h (test_range_nocopy): Define.\n\t* testsuite/23_containers/queue/cons_from_range.cc: New test.\n\t* testsuite/23_containers/queue/members/push_range.cc: New test.\n\t* testsuite/23_containers/stack/cons_from_range.cc: New test.\n\t* testsuite/23_containers/stack/push_range.cpp: New test.\n---\n libstdc++-v3/include/bits/stl_queue.h | 15 +--\n libstdc++-v3/include/bits/stl_stack.h | 2 +-\n .../priority_queue/cons_from_range.cc | 111 ++++++++++++++++++\n .../priority_queue/members/push_range.cc | 86 ++++++++++++++\n .../23_containers/queue/cons_from_range.cc | 88 ++++++++++++++\n .../23_containers/queue/members/push_range.cc | 73 ++++++++++++\n .../23_containers/stack/cons_from_range.cc | 89 ++++++++++++++\n .../23_containers/stack/members/push_range.cc | 74 ++++++++++++\n .../testsuite/util/testsuite_iterators.h | 11 ++\n 9 files changed, 539 insertions(+), 10 deletions(-)\n create mode 100644 libstdc++-v3/testsuite/23_containers/priority_queue/cons_from_range.cc\n create mode 100644 libstdc++-v3/testsuite/23_containers/priority_queue/members/push_range.cc\n create mode 100644 libstdc++-v3/testsuite/23_containers/queue/cons_from_range.cc\n create mode 100644 libstdc++-v3/testsuite/23_containers/queue/members/push_range.cc\n create mode 100644 libstdc++-v3/testsuite/23_containers/stack/cons_from_range.cc\n create mode 100644 libstdc++-v3/testsuite/23_containers/stack/members/push_range.cc","diff":"diff --git a/libstdc++-v3/include/bits/stl_queue.h b/libstdc++-v3/include/bits/stl_queue.h\nindex baa0c7d7ead5..2a4b62918a0a 100644\n--- a/libstdc++-v3/include/bits/stl_queue.h\n+++ b/libstdc++-v3/include/bits/stl_queue.h\n@@ -401,7 +401,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n template\n queue(from_range_t, _Rg&&) -> queue>;\n \n- template\n+ template\n queue(from_range_t, _Rg&&, _Alloc)\n -> queue,\n \t deque, _Alloc>>;\n@@ -926,18 +926,15 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n \n #if __glibcxx_ranges_to_container // C++ >= 23\n template>>\n- priority_queue(from_range_t, _Rg&&, _Compare = _Compare())\n- -> priority_queue,\n-\t\t\tvector>, _Compare>;\n-\n- template\n- priority_queue(from_range_t, _Rg&&, _Compare, _Alloc)\n+\t __not_allocator_like _Compare = less>,\n+\t __allocator_like _Alloc = std::allocator>>\n+ priority_queue(from_range_t, _Rg&&, _Compare = _Compare(),\n+ _Alloc = _Alloc())\n -> priority_queue,\n \t\t\tvector, _Alloc>,\n \t\t\t_Compare>;\n \n- template\n+ template\n priority_queue(from_range_t, _Rg&&, _Alloc)\n -> priority_queue,\n \t\t\tvector, _Alloc>>;\ndiff --git a/libstdc++-v3/include/bits/stl_stack.h b/libstdc++-v3/include/bits/stl_stack.h\nindex 55c5ec71c774..2a274bf4c3af 100644\n--- a/libstdc++-v3/include/bits/stl_stack.h\n+++ b/libstdc++-v3/include/bits/stl_stack.h\n@@ -375,7 +375,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n template\n stack(from_range_t, _Rg&&) -> stack>;\n \n- template\n+ template\n stack(from_range_t, _Rg&&, _Alloc)\n -> stack,\n \t deque, _Alloc>>;\ndiff --git a/libstdc++-v3/testsuite/23_containers/priority_queue/cons_from_range.cc b/libstdc++-v3/testsuite/23_containers/priority_queue/cons_from_range.cc\nnew file mode 100644\nindex 000000000000..a7ff3e3b0372\n--- /dev/null\n+++ b/libstdc++-v3/testsuite/23_containers/priority_queue/cons_from_range.cc\n@@ -0,0 +1,111 @@\n+// { dg-do run { target c++23 } }\n+\n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+\n+struct Gt {\n+ template\n+ bool operator()(T const& l, U const & r) {\n+ return l > r;\n+ }\n+};\n+\n+void\n+test_deduction_guide(long* p)\n+{\n+ __gnu_test::test_input_range r(p, p);\n+ std::priority_queue pq(std::from_range, r);\n+ static_assert(std::is_same_v>);\n+\n+ Gt cmp;\n+ std::priority_queue pq3(std::from_range, r, cmp);\n+ static_assert(std::is_same_v, Gt>>);\n+\n+ using Alloc = __gnu_test::SimpleAllocator;\n+ Alloc alloc;\n+ std::priority_queue pq2(std::from_range, r, alloc);\n+ static_assert(std::is_same_v>>);\n+\n+ std::priority_queue pq4(std::from_range, r, cmp, alloc);\n+ static_assert(std::is_same_v, Gt>>);\n+}\n+\n+template>\n+constexpr void\n+do_test(Cmp cmp = Cmp())\n+{\n+ // The queue's value_type.\n+ using V = typename Cont::value_type;\n+\n+ // The range's value_type.\n+ using T = std::ranges::range_value_t;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [&](std::priority_queue& l, std::span r) {\n+ if (l.size() != r.size())\n+ return false;\n+\n+ std::vector s(r.begin(), r.end());\n+ std::ranges::sort(s, cmp);\n+ for (auto const& v : s | std::views::reverse) {\n+ if (v != l.top())\n+ return false;\n+ l.pop();\n+ }\n+ return true;\n+ };\n+\n+ std::priority_queue pq0(std::from_range, Range(a, a+0));\n+ VERIFY( pq0.empty() );\n+\n+ std::priority_queue pq4(std::from_range, Range(a, a+4), cmp);\n+ VERIFY( eq(pq4, {a, 4}) );\n+\n+ typename Cont::allocator_type alloc;\n+ std::priority_queue pq7(std::from_range, Range(a, a+7), alloc);\n+ VERIFY( eq(pq7, {a, 7}) );\n+\n+ std::priority_queue pq9(std::from_range, Range(a, a+9), cmp, alloc);\n+ VERIFY( eq(pq9, {a, 9}) );\n+}\n+\n+template>\n+struct NoFromRangeCont : std::vector\n+{\n+ NoFromRangeCont() = default;\n+ NoFromRangeCont(const Alloc& a) : std::vector(a) {}\n+};\n+\n+template\n+void\n+do_test_c()\n+{\n+ do_test>();\n+ do_test>>();\n+ do_test, Gt>();\n+ do_test>, Gt>();\n+ do_test>();\n+ do_test>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c>();\n+ do_test_c>();\n+ do_test_c>();\n+\n+ return true;\n+}\n+\n+int main()\n+{\n+ test_ranges();\n+}\ndiff --git a/libstdc++-v3/testsuite/23_containers/priority_queue/members/push_range.cc b/libstdc++-v3/testsuite/23_containers/priority_queue/members/push_range.cc\nnew file mode 100644\nindex 000000000000..a380dbd10984\n--- /dev/null\n+++ b/libstdc++-v3/testsuite/23_containers/priority_queue/members/push_range.cc\n@@ -0,0 +1,86 @@\n+// { dg-do run { target c++23 } }\n+\n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+\n+struct Gt {\n+ template\n+ bool operator()(T const& l, U const & r) {\n+ return l > r; \n+ }\n+};\n+\n+template>\n+constexpr void\n+do_test(Cmp cmp = Cmp())\n+{\n+ // The queue's value_type.\n+ using V = typename Cont::value_type;\n+\n+ // The range's value_type.\n+ using T = std::ranges::range_value_t;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [&](std::priority_queue l, std::span r) {\n+ if (l.size() != r.size())\n+ return false;\n+\n+ std::vector s(r.begin(), r.end());\n+ std::ranges::sort(s, cmp);\n+ for (auto const& v : s | std::views::reverse) {\n+ if (v != l.top())\n+ return false;\n+ l.pop();\n+ }\n+ return true;\n+ };\n+\n+ std::priority_queue pq(std::from_range, Range(a, a+0));\n+ pq.push_range(Range(a, a+0));\n+ VERIFY( pq.empty() );\n+\n+ pq.push_range(Range(a, a+4));\n+ VERIFY( eq(pq, {a, 4}) );\n+\n+ pq.push_range(Range(a+4, a+9));\n+ VERIFY( eq(pq, {a, 9}) );\n+}\n+\n+template>\n+struct NoAppendRangeCont : std::vector\n+{\n+ template\n+ void append_range(R&&) = delete;\n+};\n+\n+template\n+void\n+do_test_c()\n+{\n+ do_test>();\n+ do_test, Gt>();\n+ do_test>();\n+ do_test>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c>();\n+ do_test_c>();\n+ do_test_c>();\n+\n+ return true;\n+}\n+\n+int main()\n+{\n+ test_ranges();\n+}\ndiff --git a/libstdc++-v3/testsuite/23_containers/queue/cons_from_range.cc b/libstdc++-v3/testsuite/23_containers/queue/cons_from_range.cc\nnew file mode 100644\nindex 000000000000..c21f52cb1e2e\n--- /dev/null\n+++ b/libstdc++-v3/testsuite/23_containers/queue/cons_from_range.cc\n@@ -0,0 +1,88 @@\n+// { dg-do run { target c++23 } }\n+\n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+\n+void\n+test_deduction_guide(long* p)\n+{\n+ __gnu_test::test_input_range r(p, p);\n+ std::queue q(std::from_range, r);\n+ static_assert(std::is_same_v>);\n+\n+ using Alloc = __gnu_test::SimpleAllocator;\n+ Alloc alloc;\n+ std::queue q2(std::from_range, r, alloc);\n+ static_assert(std::is_same_v>>);\n+}\n+\n+template\n+constexpr void\n+do_test()\n+{\n+ // The queue's value_type.\n+ using V = typename Cont::value_type;\n+\n+ // The range's value_type.\n+ using T = std::ranges::range_value_t;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [](std::queue& l, std::span r) {\n+ if (l.size() != r.size())\n+ return false;\n+ for (auto const& v : r) {\n+ if (v != l.front())\n+ return false;\n+ l.pop();\n+ }\n+ return true;\n+ };\n+\n+ std::queue q0(std::from_range, Range(a, a+0));\n+ VERIFY( q0.empty() );\n+\n+ std::queue q4(std::from_range, Range(a, a+4));\n+ VERIFY( eq(q4, {a, 4}) );\n+\n+ typename Cont::allocator_type alloc;\n+ std::queue q9(std::from_range, Range(a, a+9), alloc);\n+ VERIFY( eq(q9, {a, 9}) );\n+}\n+\n+template>\n+struct NoFromRangeCont : std::deque\n+{\n+ NoFromRangeCont() = default;\n+ NoFromRangeCont(const Alloc& a) : std::deque(a) {}\n+};\n+\n+template\n+void\n+do_test_c()\n+{\n+ do_test>();\n+ do_test>>();\n+ do_test>();\n+ do_test>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c>();\n+ do_test_c>();\n+ do_test_c>();\n+\n+ return true;\n+}\n+\n+int main()\n+{\n+ test_ranges();\n+}\ndiff --git a/libstdc++-v3/testsuite/23_containers/queue/members/push_range.cc b/libstdc++-v3/testsuite/23_containers/queue/members/push_range.cc\nnew file mode 100644\nindex 000000000000..bf82b869c1bf\n--- /dev/null\n+++ b/libstdc++-v3/testsuite/23_containers/queue/members/push_range.cc\n@@ -0,0 +1,73 @@\n+// { dg-do run { target c++23 } }\n+\n+#include \n+#include \n+#include \n+#include \n+#include \n+\n+template\n+constexpr void\n+do_test()\n+{\n+ // The queue's value_type.\n+ using V = typename Cont::value_type;\n+\n+ // The range's value_type.\n+ using T = std::ranges::range_value_t;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [](std::queue l, std::span r) {\n+ if (l.size() != r.size())\n+ return false;\n+ for (auto const& v : r) {\n+ if (v != l.front())\n+ return false;\n+ l.pop();\n+ }\n+ return true;\n+ };\n+\n+ std::queue q;\n+ q.push_range(Range(a, a+0));\n+ VERIFY( q.empty() );\n+\n+ q.push_range(Range(a, a+4));\n+ VERIFY( eq(q, {a, 4}) );\n+\n+ q.push_range(Range(a+4, a+9));\n+ VERIFY( eq(q, {a, 9}) );\n+}\n+\n+template>\n+struct NoAppendRangeCont : std::deque\n+{\n+ template\n+ void append_range(R&&) = delete;\n+};\n+\n+template\n+void\n+do_test_c()\n+{\n+ do_test>();\n+ do_test>();\n+ do_test>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c>();\n+ do_test_c>();\n+ do_test_c>();\n+\n+ return true;\n+}\n+\n+int main()\n+{\n+ test_ranges();\n+}\ndiff --git a/libstdc++-v3/testsuite/23_containers/stack/cons_from_range.cc b/libstdc++-v3/testsuite/23_containers/stack/cons_from_range.cc\nnew file mode 100644\nindex 000000000000..e957d0c4450a\n--- /dev/null\n+++ b/libstdc++-v3/testsuite/23_containers/stack/cons_from_range.cc\n@@ -0,0 +1,89 @@\n+// { dg-do run { target c++23 } }\n+\n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+\n+void\n+test_deduction_guide(long* p)\n+{\n+ __gnu_test::test_input_range r(p, p);\n+ std::stack s(std::from_range, r);\n+ static_assert(std::is_same_v>);\n+\n+ using Alloc = __gnu_test::SimpleAllocator;\n+ Alloc alloc;\n+ std::stack s2(std::from_range, r, alloc);\n+ static_assert(std::is_same_v>>);\n+}\n+\n+template\n+constexpr void\n+do_test()\n+{\n+ // The stack's value_type.\n+ using V = typename Cont::value_type;\n+\n+ // The range's value_type.\n+ using T = std::ranges::range_value_t;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [](std::stack& l, std::span r) {\n+ if (l.size() != r.size())\n+ return false;\n+ for (auto const& v : r | std::views::reverse) {\n+ if (v != l.top())\n+ return false;\n+ l.pop();\n+ }\n+ return true;\n+ };\n+\n+ std::stack s0(std::from_range, Range(a, a+0));\n+ VERIFY( s0.empty() );\n+\n+ std::stack s4(std::from_range, Range(a, a+4));\n+ VERIFY( eq(s4, {a, 4}) );\n+\n+ typename Cont::allocator_type alloc;\n+ std::stack s9(std::from_range, Range(a, a+9), alloc);\n+ VERIFY( eq(s9, {a, 9}) );\n+}\n+\n+template>\n+struct NoFromRangeCont : std::deque\n+{\n+ NoFromRangeCont() = default;\n+ NoFromRangeCont(const Alloc& a) : std::deque(a) {}\n+};\n+\n+template\n+void\n+do_test_c()\n+{\n+ do_test>();\n+ do_test>>();\n+ do_test>();\n+ do_test>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c>();\n+ do_test_c>();\n+ do_test_c>();\n+\n+ return true;\n+}\n+\n+int main()\n+{\n+ test_ranges();\n+}\ndiff --git a/libstdc++-v3/testsuite/23_containers/stack/members/push_range.cc b/libstdc++-v3/testsuite/23_containers/stack/members/push_range.cc\nnew file mode 100644\nindex 000000000000..78b826a70281\n--- /dev/null\n+++ b/libstdc++-v3/testsuite/23_containers/stack/members/push_range.cc\n@@ -0,0 +1,74 @@\n+// { dg-do run { target c++23 } }\n+\n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+\n+template\n+constexpr void\n+do_test()\n+{\n+ // The stack's value_type.\n+ using V = typename Cont::value_type;\n+\n+ // The range's value_type.\n+ using T = std::ranges::range_value_t;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [](std::stack l, std::span r) {\n+ if (l.size() != r.size())\n+ return false;\n+ for (auto const& v : r | std::views::reverse) {\n+ if (v != l.top())\n+ return false;\n+ l.pop();\n+ }\n+ return true;\n+ };\n+\n+ std::stack s;\n+ s.push_range(Range(a, a+0));\n+ VERIFY( s.empty() );\n+\n+ s.push_range(Range(a, a+4));\n+ VERIFY( eq(s, {a, 4}) );\n+\n+ s.push_range(Range(a+4, a+9));\n+ VERIFY( eq(s, {a, 9}) );\n+}\n+\n+template>\n+struct NoAppendRangeCont : std::deque\n+{\n+ template\n+ void append_range(R&&) = delete;\n+};\n+\n+template\n+void\n+do_test_c()\n+{\n+ do_test>();\n+ do_test>();\n+ do_test>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c>();\n+ do_test_c>();\n+ do_test_c>();\n+\n+ return true;\n+}\n+\n+int main()\n+{\n+ test_ranges();\n+}\ndiff --git a/libstdc++-v3/testsuite/util/testsuite_iterators.h b/libstdc++-v3/testsuite/util/testsuite_iterators.h\nindex 2895ff8c1b93..0df6dcc5af50 100644\n--- a/libstdc++-v3/testsuite/util/testsuite_iterators.h\n+++ b/libstdc++-v3/testsuite/util/testsuite_iterators.h\n@@ -867,6 +867,17 @@ namespace __gnu_test\n typename Iter::ContainerType bounds;\n };\n \n+ // A move-only type meeting the minimum std::range requirements\n+ template class Iter>\n+ struct test_range_nocopy : test_range\n+ {\n+ test_range_nocopy(T* first, T* last) : test_range(first, last)\n+ {}\n+\n+ test_range_nocopy(test_range_nocopy&&) = default;\n+ test_range_nocopy& operator=(test_range_nocopy&&) = default;\n+ };\n+\n template\n using test_contiguous_range\n = test_range;\n","prefixes":["v1","2/2"]}