From 16e3a0ada6dac6562b09532b21828231784644e9 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 1 Mar 2019 15:05:10 +0100
Subject: [PATCH] std.cfg: Added support for std::shuffle() and
 std::random_shuffle().

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 5c936385b..5621eaa2d 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -6805,6 +6805,25 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <iterator container="1" type="last"/>
     </arg>
   </function>
+  <!-- template< class RandomIt >                   void std::random_shuffle( RandomIt first, RandomIt last ); (deprecated in C++14) (removed in C++17) -->
+  <!-- template< class RandomIt, class RandomFunc > void std::random_shuffle( RandomIt first, RandomIt last, RandomFunc& r ); (until C++11) -->
+  <!-- template< class RandomIt, class RandomFunc > void std::random_shuffle( RandomIt first, RandomIt last, RandomFunc&& r ); (since C++11) (deprecated in C++14) (removed in C++17) -->
+  <!-- template< class RandomIt, class URBG >       void std::shuffle( RandomIt first, RandomIt last, URBG&& g ); (since C++11) -->
+  <function name="std::random_shuffle,std::shuffle">
+    <noreturn>false</noreturn>
+    <returnValue type="void"/>
+    <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" default="0">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- template< class ForwardIt, class T > void std::fill( ForwardIt first, ForwardIt last, const T& value ); -->
   <function name="std::fill">
     <noreturn>false</noreturn>