From 89d4cefa960c54c2bccb48296a9ea1bb598f83e7 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 7 Jun 2019 20:57:26 +0200
Subject: [PATCH] std.cfg: Added support for std::distance() and
 std::set::count().

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 898aa0656..0794648b7 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -6360,9 +6360,10 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <returnValue type="std::size_t"/>
     <noreturn>false</noreturn>
   </function>
-  <!-- size_type std::map::count( const Key& key ) const; -->
+  <!--                     size_type std::map::count( const Key& key ) const; -->
   <!-- template< class K > size_type std::map::count( const K& x ) const; // since C++14 -->
-  <function name="std::map::count">
+  <!--                     size_type std::set::count( const value_type& val) const; -->
+  <function name="std::map::count,std::set::count">
     <noreturn>false</noreturn>
     <returnValue type="size_t"/>
     <use-retval/>
@@ -6987,6 +6988,20 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
       <not-uninit/>
     </arg>
   </function>
+  <!-- template<class InputIterator> typename iterator_traits<InputIterator>::difference_type std::distance (InputIterator first, InputIterator last); -->
+  <function name="std::distance">
+    <use-retval/>
+    <returnValue type="std::size_t"/>
+    <noreturn>false</noreturn>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <iterator container="1" type="first"/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <iterator container="1" type="last"/>
+    </arg>
+  </function>
   <!-- template <class ForwardIterator, class OutputIterator>  OutputIterator std::rotate_copy (ForwardIterator first, ForwardIterator middle, ForwardIterator last, OutputIterator result); -->
   <function name="std::rotate_copy">
     <leak-ignore/>