From c87e83575a36116787d0a2a3da74c852ea6b28ff Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Tue, 7 Mar 2017 10:54:44 +0100
Subject: [PATCH] std.cfg: Added support for std::copy().

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index de7db0892..cf64b268d 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -4242,6 +4242,23 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <not-uninit/>
     </arg>
   </function>
+  <!-- template< class InputIt, class OutputIt > OutputIt copy( InputIt first, InputIt last, OutputIt d_first ); -->
+  <function name="std::copy">
+    <noreturn>false</noreturn>
+    <returnValue type="iterator" container="2"/>
+    <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/>
+      <iterator container="2" type="first"/>
+    </arg>
+  </function>
   <!-- bool std::all_of(InputIterator first, InputIterator last, UnaryPredicate pred) -->
   <!-- bool std::any_of(InputIterator first, InputIterator last, UnaryPredicate pred) -->
   <!-- bool std::none_of(InputIterator first, InputIterator last, UnaryPredicate pred) -->