Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/patches/2226670/?format=api
{ "id": 2226670, "url": "http://patchwork.ozlabs.org/api/patches/2226670/?format=api", "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=api", "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.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.2@forge-stage.sourceware.org>", "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=api", "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=api", "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": "<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 4g16rg10Gjz1yD5\n\tfor <incoming@patchwork.ozlabs.org>; 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 <incoming@patchwork.ozlabs.org>; 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 <gcc-patches@gcc.gnu.org>; 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 <gcc-patches@gcc.gnu.org>; 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 <forge-bot+tkaminsk@forge-stage.sourceware.org>", "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 <gcc-patches@gcc.gnu.org>", "Message-ID": "\n <bmm.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.2@forge-stage.sourceware.org>", "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 <bmm.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.0@forge-stage.sourceware.org>", "In-Reply-To": "\n <bmm.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.0@forge-stage.sourceware.org>", "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 <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\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<ranges::input_range _Rg>\n queue(from_range_t, _Rg&&) -> queue<ranges::range_value_t<_Rg>>;\n \n- template<ranges::input_range _Rg, typename _Alloc>\n+ template<ranges::input_range _Rg, __allocator_like _Alloc>\n queue(from_range_t, _Rg&&, _Alloc)\n -> queue<ranges::range_value_t<_Rg>,\n \t deque<ranges::range_value_t<_Rg>, _Alloc>>;\n@@ -926,18 +926,15 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n \n #if __glibcxx_ranges_to_container // C++ >= 23\n template<ranges::input_range _Rg,\n-\t typename _Compare = less<ranges::range_value_t<_Rg>>>\n- priority_queue(from_range_t, _Rg&&, _Compare = _Compare())\n- -> priority_queue<ranges::range_value_t<_Rg>,\n-\t\t\tvector<ranges::range_value_t<_Rg>>, _Compare>;\n-\n- template<ranges::input_range _Rg, typename _Compare, typename _Alloc>\n- priority_queue(from_range_t, _Rg&&, _Compare, _Alloc)\n+\t __not_allocator_like _Compare = less<ranges::range_value_t<_Rg>>,\n+\t __allocator_like _Alloc = std::allocator<ranges::range_value_t<_Rg>>>\n+ priority_queue(from_range_t, _Rg&&, _Compare = _Compare(),\n+ _Alloc = _Alloc())\n -> priority_queue<ranges::range_value_t<_Rg>,\n \t\t\tvector<ranges::range_value_t<_Rg>, _Alloc>,\n \t\t\t_Compare>;\n \n- template<ranges::input_range _Rg, typename _Alloc>\n+ template<ranges::input_range _Rg, __allocator_like _Alloc>\n priority_queue(from_range_t, _Rg&&, _Alloc)\n -> priority_queue<ranges::range_value_t<_Rg>,\n \t\t\tvector<ranges::range_value_t<_Rg>, _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<ranges::input_range _Rg>\n stack(from_range_t, _Rg&&) -> stack<ranges::range_value_t<_Rg>>;\n \n- template<ranges::input_range _Rg, typename _Alloc>\n+ template<ranges::input_range _Rg, __allocator_like _Alloc>\n stack(from_range_t, _Rg&&, _Alloc)\n -> stack<ranges::range_value_t<_Rg>,\n \t deque<ranges::range_value_t<_Rg>, _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 <queue>\n+#include <ranges>\n+#include <span>\n+#include <testsuite_allocator.h>\n+#include <testsuite_hooks.h>\n+#include <testsuite_iterators.h>\n+#include <vector>\n+\n+struct Gt {\n+ template<typename T, typename U>\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<long> r(p, p);\n+ std::priority_queue pq(std::from_range, r);\n+ static_assert(std::is_same_v<decltype(pq), std::priority_queue<long>>);\n+\n+ Gt cmp;\n+ std::priority_queue pq3(std::from_range, r, cmp);\n+ static_assert(std::is_same_v<decltype(pq3), std::priority_queue<long, std::vector<long>, Gt>>);\n+\n+ using Alloc = __gnu_test::SimpleAllocator<long>;\n+ Alloc alloc;\n+ std::priority_queue pq2(std::from_range, r, alloc);\n+ static_assert(std::is_same_v<decltype(pq2), std::priority_queue<long, std::vector<long, Alloc>>>);\n+\n+ std::priority_queue pq4(std::from_range, r, cmp, alloc);\n+ static_assert(std::is_same_v<decltype(pq4), std::priority_queue<long, std::vector<long, Alloc>, Gt>>);\n+}\n+\n+template<typename Range, typename Cont, typename Cmp = std::less<int>>\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<Range>;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [&](std::priority_queue<V, Cont, Cmp>& l, std::span<T> r) {\n+ if (l.size() != r.size())\n+ return false;\n+\n+ std::vector<T> 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<V, Cont, Cmp> pq0(std::from_range, Range(a, a+0));\n+ VERIFY( pq0.empty() );\n+\n+ std::priority_queue<V, Cont, Cmp> 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<V, Cont, Cmp> pq7(std::from_range, Range(a, a+7), alloc);\n+ VERIFY( eq(pq7, {a, 7}) );\n+\n+ std::priority_queue<V, Cont, Cmp> pq9(std::from_range, Range(a, a+9), cmp, alloc);\n+ VERIFY( eq(pq9, {a, 9}) );\n+}\n+\n+template<typename T, typename Alloc = std::allocator<T>>\n+struct NoFromRangeCont : std::vector<T, Alloc>\n+{\n+ NoFromRangeCont() = default;\n+ NoFromRangeCont(const Alloc& a) : std::vector<T, Alloc>(a) {}\n+};\n+\n+template<typename Range>\n+void\n+do_test_c()\n+{\n+ do_test<Range, std::vector<int>>();\n+ do_test<Range, std::vector<int, __gnu_test::SimpleAllocator<int>>>();\n+ do_test<Range, std::vector<int>, Gt>();\n+ do_test<Range, std::vector<int, __gnu_test::SimpleAllocator<int>>, Gt>();\n+ do_test<Range, std::deque<int>>();\n+ do_test<Range, NoFromRangeCont<int>>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c<test_forward_range<int>>();\n+ do_test_c<test_range_nocopy<int, input_iterator_wrapper_nocopy>>();\n+ do_test_c<test_forward_range<short>>();\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 <queue>\n+#include <ranges>\n+#include <span>\n+#include <testsuite_allocator.h>\n+#include <testsuite_hooks.h>\n+#include <testsuite_iterators.h>\n+#include <vector>\n+\n+struct Gt {\n+ template<typename T, typename U>\n+ bool operator()(T const& l, U const & r) {\n+ return l > r; \n+ }\n+};\n+\n+template<typename Range, typename Cont, typename Cmp = std::less<int>>\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<Range>;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [&](std::priority_queue<V, Cont, Cmp> l, std::span<T> r) {\n+ if (l.size() != r.size())\n+ return false;\n+\n+ std::vector<T> 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<V, Cont, Cmp> 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<typename T, typename Alloc = std::allocator<T>>\n+struct NoAppendRangeCont : std::vector<T, Alloc>\n+{\n+ template<typename R>\n+ void append_range(R&&) = delete;\n+};\n+\n+template<typename Range>\n+void\n+do_test_c()\n+{\n+ do_test<Range, std::vector<int>>();\n+ do_test<Range, std::vector<int>, Gt>();\n+ do_test<Range, std::deque<int>>();\n+ do_test<Range, NoAppendRangeCont<int>>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c<test_forward_range<int>>();\n+ do_test_c<test_range_nocopy<int, input_iterator_wrapper_nocopy>>();\n+ do_test_c<test_forward_range<short>>();\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 <list>\n+#include <queue>\n+#include <span>\n+#include <testsuite_allocator.h>\n+#include <testsuite_hooks.h>\n+#include <testsuite_iterators.h>\n+\n+void\n+test_deduction_guide(long* p)\n+{\n+ __gnu_test::test_input_range<long> r(p, p);\n+ std::queue q(std::from_range, r);\n+ static_assert(std::is_same_v<decltype(q), std::queue<long>>);\n+\n+ using Alloc = __gnu_test::SimpleAllocator<long>;\n+ Alloc alloc;\n+ std::queue q2(std::from_range, r, alloc);\n+ static_assert(std::is_same_v<decltype(q2), std::queue<long, std::deque<long, Alloc>>>);\n+}\n+\n+template<typename Range, typename Cont>\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<Range>;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [](std::queue<V, Cont>& l, std::span<T> 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<V, Cont> q0(std::from_range, Range(a, a+0));\n+ VERIFY( q0.empty() );\n+\n+ std::queue<V, Cont> q4(std::from_range, Range(a, a+4));\n+ VERIFY( eq(q4, {a, 4}) );\n+\n+ typename Cont::allocator_type alloc;\n+ std::queue<V, Cont> q9(std::from_range, Range(a, a+9), alloc);\n+ VERIFY( eq(q9, {a, 9}) );\n+}\n+\n+template<typename T, typename Alloc = std::allocator<T>>\n+struct NoFromRangeCont : std::deque<T, Alloc>\n+{\n+ NoFromRangeCont() = default;\n+ NoFromRangeCont(const Alloc& a) : std::deque<T, Alloc>(a) {}\n+};\n+\n+template<typename Range>\n+void\n+do_test_c()\n+{\n+ do_test<Range, std::deque<int>>();\n+ do_test<Range, std::deque<int, __gnu_test::SimpleAllocator<int>>>();\n+ do_test<Range, std::list<int>>();\n+ do_test<Range, NoFromRangeCont<int>>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c<test_forward_range<int>>();\n+ do_test_c<test_range_nocopy<int, input_iterator_wrapper_nocopy>>();\n+ do_test_c<test_forward_range<short>>();\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 <list>\n+#include <queue>\n+#include <span>\n+#include <testsuite_hooks.h>\n+#include <testsuite_iterators.h>\n+\n+template<typename Range, typename Cont>\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<Range>;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [](std::queue<V, Cont> l, std::span<T> 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<V, Cont> 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<typename T, typename Alloc = std::allocator<T>>\n+struct NoAppendRangeCont : std::deque<T, Alloc>\n+{\n+ template<typename R>\n+ void append_range(R&&) = delete;\n+};\n+\n+template<typename Range>\n+void\n+do_test_c()\n+{\n+ do_test<Range, std::deque<int>>();\n+ do_test<Range, std::list<int>>();\n+ do_test<Range, NoAppendRangeCont<int>>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c<test_forward_range<int>>();\n+ do_test_c<test_range_nocopy<int, input_iterator_wrapper_nocopy>>();\n+ do_test_c<test_forward_range<short>>();\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 <ranges>\n+#include <span>\n+#include <stack>\n+#include <testsuite_allocator.h>\n+#include <testsuite_hooks.h>\n+#include <testsuite_iterators.h>\n+#include <vector>\n+\n+void\n+test_deduction_guide(long* p)\n+{\n+ __gnu_test::test_input_range<long> r(p, p);\n+ std::stack s(std::from_range, r);\n+ static_assert(std::is_same_v<decltype(s), std::stack<long>>);\n+\n+ using Alloc = __gnu_test::SimpleAllocator<long>;\n+ Alloc alloc;\n+ std::stack s2(std::from_range, r, alloc);\n+ static_assert(std::is_same_v<decltype(s2), std::stack<long, std::deque<long, Alloc>>>);\n+}\n+\n+template<typename Range, typename Cont>\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<Range>;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [](std::stack<V, Cont>& l, std::span<T> 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<V, Cont> s0(std::from_range, Range(a, a+0));\n+ VERIFY( s0.empty() );\n+\n+ std::stack<V, Cont> s4(std::from_range, Range(a, a+4));\n+ VERIFY( eq(s4, {a, 4}) );\n+\n+ typename Cont::allocator_type alloc;\n+ std::stack<V, Cont> s9(std::from_range, Range(a, a+9), alloc);\n+ VERIFY( eq(s9, {a, 9}) );\n+}\n+\n+template<typename T, typename Alloc = std::allocator<T>>\n+struct NoFromRangeCont : std::deque<T, Alloc>\n+{\n+ NoFromRangeCont() = default;\n+ NoFromRangeCont(const Alloc& a) : std::deque<T, Alloc>(a) {}\n+};\n+\n+template<typename Range>\n+void\n+do_test_c()\n+{\n+ do_test<Range, std::deque<int>>();\n+ do_test<Range, std::deque<int, __gnu_test::SimpleAllocator<int>>>();\n+ do_test<Range, std::vector<int>>();\n+ do_test<Range, NoFromRangeCont<int>>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c<test_forward_range<int>>();\n+ do_test_c<test_range_nocopy<int, input_iterator_wrapper_nocopy>>();\n+ do_test_c<test_forward_range<short>>();\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 <ranges>\n+#include <span>\n+#include <stack>\n+#include <testsuite_hooks.h>\n+#include <testsuite_iterators.h>\n+#include <vector>\n+\n+template<typename Range, typename Cont>\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<Range>;\n+ T a[]{1,2,3,4,5,6,7,8,9};\n+\n+ auto eq = [](std::stack<V, Cont> l, std::span<T> 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<V, Cont> 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<typename T, typename Alloc = std::allocator<T>>\n+struct NoAppendRangeCont : std::deque<T, Alloc>\n+{\n+ template<typename R>\n+ void append_range(R&&) = delete;\n+};\n+\n+template<typename Range>\n+void\n+do_test_c()\n+{\n+ do_test<Range, std::deque<int>>();\n+ do_test<Range, std::vector<int>>();\n+ do_test<Range, NoAppendRangeCont<int>>();\n+}\n+\n+bool\n+test_ranges()\n+{\n+ using namespace __gnu_test;\n+\n+ do_test_c<test_forward_range<int>>();\n+ do_test_c<test_range_nocopy<int, input_iterator_wrapper_nocopy>>();\n+ do_test_c<test_forward_range<short>>();\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<T>::ContainerType bounds;\n };\n \n+ // A move-only type meeting the minimum std::range requirements\n+ template<typename T, template<typename> class Iter>\n+ struct test_range_nocopy : test_range<T, Iter>\n+ {\n+ test_range_nocopy(T* first, T* last) : test_range<T, Iter>(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<typename T>\n using test_contiguous_range\n = test_range<T, contiguous_iterator_wrapper>;\n", "prefixes": [ "v1", "2/2" ] }