From 54bb0820c6a3eb8ed65b1464959800cdadaf85d0 Mon Sep 17 00:00:00 2001
From: chrchr-github <christian.riesch@live.com>
Date: Wed, 18 Sep 2024 22:34:06 +0200
Subject: [PATCH] Add support for std::partition/stable_partition

---
 cfg/std.cfg | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index c013277a670..934db77881b 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -7683,6 +7683,23 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
       <not-uninit/>
     </arg>
   </function>
+  <!-- template< class BidirIt, class UnaryPred > BidirIt partition( BidirIt first, BidirIt last, UnaryPred p ); -->
+  <!-- template< class BidirIt, class UnaryPred > BidirIt stable_partition( BidirIt first, BidirIt last, UnaryPred p ); -->
+  <function name="std::partition,std::stable_partition">
+    <returnValue type="iterator" container="1"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <iterator container="1" type="first"/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <iterator container="1" type="last"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- template< class InputIt, class OutputIt > OutputIt copy( InputIt first, InputIt last, OutputIt d_first ); -->
   <function name="std::copy">
     <returnValue type="iterator" container="2"/>