{"id":2226668,"url":"http://patchwork.ozlabs.org/api/patches/2226668/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.1@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.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.1@forge-stage.sourceware.org>","list_archive_url":null,"date":"2026-04-22T18:06:28","name":"[v1,1/2] libstdc++: Add P1206R7 from_range members to container adaptors [PR111055]","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"7c0a5fc14344afdb35237d09324c6fd144f8e979","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.1@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/2226668/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2226668/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=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 4g16q713Trz1yD5\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 23 Apr 2026 04:16:03 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 46D6A4BC8988\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 22 Apr 2026 18:16:01 +0000 (GMT)","from forge-stage.sourceware.org (vm08.sourceware.org [38.145.34.39])\n by sourceware.org (Postfix) with ESMTPS id 216054BBC0A9\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 EA6A9433F1\n for <gcc-patches@gcc.gnu.org>; Wed, 22 Apr 2026 18:07:48 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 46D6A4BC8988","OpenDKIM Filter v2.11.0 sourceware.org 216054BBC0A9"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 216054BBC0A9","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 216054BBC0A9","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776881269; cv=none;\n b=ZeZf1ikaj/SDyj9QpBtkQxf7dxWzU2rC4ZogXL+2U4kQ6EwqlVagkjhkM/ZpUFTh3zIOguqc5vG52hB6iaPPNsG6d1+xAhurTruduSxyuQfYTQ4ed/rwRX1/yl+XDGHrNAhqiTUjmW4edFnDRDkBVCiXRb/uV/WK+8Wri/tcW2k=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776881269; c=relaxed/simple;\n bh=yQ7JIJkdgw3L4F4UoxZPe7F2KF8ac1Itlz4+inZMeNc=;\n h=From:Date:Subject:To:Message-ID;\n b=okyrVp+mIRieG9NScYqsMwEdID5h5n5MqRVf4zo5p7mg/FiCn4L/AQuMe/hI33MBCA/Ank5HKA3L92ARuAGbWdIITywYd1mqDoV6lrNT+NTvKxmvsGvNb/jH/Hg+4EEBbaU/46mURFAakQVQe3Lj66+mV6O+HvKTbuLH0UO9+5o=","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:28 +0000","Subject":"[PATCH v1 1/2] libstdc++: Add P1206R7 from_range members to container\n adaptors [PR111055]","To":"gcc-patches mailing list <gcc-patches@gcc.gnu.org>","Message-ID":"\n <bmm.hhuny7nknu.gcc.gcc-TEST.tkaminsk.43.1.1@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/dbf4fbc34538f6050bc53e5e10074101c61ee628","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: Jonathan Wakely <jwakely@redhat.com>\n\nThis is another piece of P1206R7, adding new members to std::stack,\nstd::queue, and std::priority_queue.\n\nlibstdc++-v3/ChangeLog:\n\n\tPR libstdc++/111055\n\t* include/bits/stl_queue.h (queue(from_range_t, _Rg&&))\n\t(queue(from_range_t, _Rg&&, const _Alloc&), push_range):\n\tDefine.\n\t(priority_queue(from_range_t, R&&, const Compare&))\n\t(push_range): Define.\n\t* include/bits/stl_stack.h (stack(from_range_t, R&&))\n\t(stack(from_range_t, R&&, const Alloc&), push_range): Define.\n---\n libstdc++-v3/include/bits/stl_queue.h | 105 ++++++++++++++++++++++++++\n libstdc++-v3/include/bits/stl_stack.h |  46 +++++++++++\n 2 files changed, 151 insertions(+)","diff":"diff --git a/libstdc++-v3/include/bits/stl_queue.h b/libstdc++-v3/include/bits/stl_queue.h\nindex 627d5e4e63ba..baa0c7d7ead5 100644\n--- a/libstdc++-v3/include/bits/stl_queue.h\n+++ b/libstdc++-v3/include/bits/stl_queue.h\n@@ -61,6 +61,10 @@\n #if __cplusplus >= 201103L\n # include <bits/uses_allocator.h>\n #endif\n+#if __glibcxx_ranges_to_container // C++ >= 23\n+# include <ranges> // ranges::to\n+# include <bits/ranges_algobase.h> // ranges::copy\n+#endif\n \n namespace std _GLIBCXX_VISIBILITY(default)\n {\n@@ -209,6 +213,27 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n \t: c(__first, __last, __a) { }\n #endif\n \n+#if __glibcxx_ranges_to_container // C++ >= 23\n+      /**\n+       * @brief Construct a queue from a range.\n+       * @since C++23\n+       */\n+      template<__detail::__container_compatible_range<_Tp> _Rg>\n+\tqueue(from_range_t, _Rg&& __rg)\n+\t: c(ranges::to<_Sequence>(std::forward<_Rg>(__rg)))\n+\t{ }\n+\n+      /**\n+       * @brief Construct a queue from a range.\n+       * @since C++23\n+       */\n+      template<__detail::__container_compatible_range<_Tp> _Rg,\n+\t       typename _Alloc>\n+\tqueue(from_range_t, _Rg&& __rg, const _Alloc& __a)\n+\t: c(ranges::to<_Sequence>(std::forward<_Rg>(__rg), __a))\n+\t{ }\n+#endif\n+\n       /**\n        *  Returns true if the %queue is empty.\n        */\n@@ -301,6 +326,18 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n #endif\n #endif\n \n+#if __glibcxx_ranges_to_container // C++ >= 23\n+      template<__detail::__container_compatible_range<_Tp> _Rg>\n+\tvoid\n+\tpush_range(_Rg&& __rg)\n+\t{\n+\t  if constexpr (requires { c.append_range(std::forward<_Rg>(__rg)); })\n+\t    c.append_range(std::forward<_Rg>(__rg));\n+\t  else\n+\t    ranges::copy(__rg, std::back_inserter(c));\n+\t}\n+#endif\n+\n       /**\n        *  @brief  Removes first element.\n        *\n@@ -359,6 +396,16 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n     queue(_InputIterator, _InputIterator, _Allocator)\n     -> queue<_ValT, deque<_ValT, _Allocator>>;\n #endif\n+\n+#if __glibcxx_ranges_to_container // C++ >= 23\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+    queue(from_range_t, _Rg&&, _Alloc)\n+    -> queue<ranges::range_value_t<_Rg>,\n+\t     deque<ranges::range_value_t<_Rg>, _Alloc>>;\n+#endif\n #endif\n \n   /**\n@@ -719,6 +766,32 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n \t}\n #endif\n \n+#if __glibcxx_ranges_to_container // C++ >= 23\n+      /**\n+       * @brief Construct a priority_queue from a range.\n+       * @since C++23\n+       *\n+       * @{\n+       */\n+      template<__detail::__container_compatible_range<_Tp> _Rg>\n+\tpriority_queue(from_range_t, _Rg&& __rg,\n+\t\t       const _Compare& __x = _Compare())\n+\t: c(ranges::to<_Sequence>(std::forward<_Rg>(__rg))), comp(__x)\n+\t{ std::make_heap(c.begin(), c.end(), comp); }\n+\n+      template<__detail::__container_compatible_range<_Tp> _Rg, typename _Alloc>\n+\tpriority_queue(from_range_t, _Rg&& __rg, const _Compare& __x,\n+\t\t       const _Alloc& __a)\n+\t: c(ranges::to<_Sequence>(std::forward<_Rg>(__rg), __a)), comp(__x)\n+\t{ std::make_heap(c.begin(), c.end(), comp); }\n+\n+      template<__detail::__container_compatible_range<_Tp> _Rg, typename _Alloc>\n+\tpriority_queue(from_range_t, _Rg&& __rg, const _Alloc& __a)\n+\t: c(ranges::to<_Sequence>(std::forward<_Rg>(__rg), __a)), comp()\n+\t{ std::make_heap(c.begin(), c.end(), comp); }\n+      /// @}\n+#endif\n+\n       /**\n        *  Returns true if the %queue is empty.\n        */\n@@ -776,6 +849,19 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n \t}\n #endif\n \n+#if __glibcxx_ranges_to_container // C++ >= 23\n+      template<__detail::__container_compatible_range<_Tp> _Rg>\n+\tvoid\n+\tpush_range(_Rg&& __rg)\n+\t{\n+\t  if constexpr (requires { c.append_range(std::forward<_Rg>(__rg)); })\n+\t    c.append_range(std::forward<_Rg>(__rg));\n+\t  else\n+\t    ranges::copy(__rg, std::back_inserter(c));\n+\t  std::make_heap(c.begin(), c.end(), comp);\n+\t}\n+#endif\n+\n       /**\n        *  @brief  Removes first element.\n        *\n@@ -837,6 +923,25 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n \t   typename = _RequireNotAllocator<_Container>>\n     priority_queue(_Compare, _Container, _Allocator)\n     -> priority_queue<typename _Container::value_type, _Container, _Compare>;\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+      -> 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+    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>>;\n+#endif\n #endif\n \n   // No equality/comparison operators are provided for priority_queue.\ndiff --git a/libstdc++-v3/include/bits/stl_stack.h b/libstdc++-v3/include/bits/stl_stack.h\nindex ce749f2f8b9c..55c5ec71c774 100644\n--- a/libstdc++-v3/include/bits/stl_stack.h\n+++ b/libstdc++-v3/include/bits/stl_stack.h\n@@ -61,6 +61,10 @@\n #if __cplusplus >= 201103L\n # include <bits/uses_allocator.h>\n #endif\n+#if __glibcxx_ranges_to_container // C++ >= 23\n+# include <ranges> // ranges::to\n+# include <bits/ranges_algobase.h> // ranges::copy\n+#endif\n \n namespace std _GLIBCXX_VISIBILITY(default)\n {\n@@ -177,6 +181,26 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n \t: c(__first, __last) { }\n #endif\n \n+#if __glibcxx_ranges_to_container // C++ >= 23\n+      /**\n+       * @brief Construct a stack from a range.\n+       * @since C++23\n+       */\n+      template<__detail::__container_compatible_range<_Tp> _Rg>\n+\tstack(from_range_t, _Rg&& __rg)\n+\t: c(ranges::to<_Sequence>(std::forward<_Rg>(__rg)))\n+\t{ }\n+\n+      /**\n+       * @brief Construct a stack from a range.\n+       * @since C++23\n+       */\n+      template<__detail::__container_compatible_range<_Tp> _Rg,\n+\t       typename _Alloc>\n+\tstack(from_range_t, _Rg&& __rg, const _Alloc& __a)\n+\t: c(ranges::to<_Sequence>(std::forward<_Rg>(__rg), __a))\n+\t{ }\n+#endif\n \n       template<typename _Alloc, typename _Requires = _Uses<_Alloc>>\n \texplicit\n@@ -276,6 +300,18 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n #endif\n #endif\n \n+#if __glibcxx_ranges_to_container // C++ >= 23\n+      template<__detail::__container_compatible_range<_Tp> _Rg>\n+\tvoid\n+\tpush_range(_Rg&& __rg)\n+\t{\n+\t  if constexpr (requires { c.append_range(std::forward<_Rg>(__rg)); })\n+\t    c.append_range(std::forward<_Rg>(__rg));\n+\t  else\n+\t    ranges::copy(__rg, std::back_inserter(c));\n+\t}\n+#endif\n+\n       /**\n        *  @brief  Removes first element.\n        *\n@@ -334,6 +370,16 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n     stack(_InputIterator, _InputIterator, _Allocator)\n     -> stack<_ValT, deque<_ValT, _Allocator>>;\n #endif\n+\n+#if __glibcxx_ranges_to_container // C++ >= 23\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+    stack(from_range_t, _Rg&&, _Alloc)\n+    -> stack<ranges::range_value_t<_Rg>,\n+\t     deque<ranges::range_value_t<_Rg>, _Alloc>>;\n+#endif\n #endif\n \n   /**\n","prefixes":["v1","1/2"]}