From 98b62384504f539d06c686fdc5dbaf0cdf14daa7 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Mon, 21 Sep 2020 08:50:28 +0200
Subject: [PATCH] std.cfg: Added return values for 'wmemmove' and 'memmove'

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 872083e19..20c830aa9 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -3923,9 +3923,30 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     </arg>
   </function>
   <!-- void * memmove(void *ct, const void *cs, size_t n); -->
-  <!-- wchar_t * wmemmove(wchar_t *ct, const wchar_t *cs, size_t n); -->
-  <function name="memmove,std::memmove,wmemmove,std::wmemmove">
+  <function name="memmove,std::memmove">
     <noreturn>false</noreturn>
+    <returnValue type="void *"/>
+    <leak-ignore/>
+    <arg nr="1" direction="out">
+      <not-null/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="2">
+      <!-- TODO: direction? memory could be overwritten -->
+      <not-null/>
+      <not-uninit/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+  </function>
+  <!-- wchar_t * wmemmove(wchar_t *ct, const wchar_t *cs, size_t n); -->
+  <function name="wmemmove,std::wmemmove">
+    <noreturn>false</noreturn>
+    <returnValue type="wchar_t *"/>
     <leak-ignore/>
     <arg nr="1" direction="out">
       <not-null/>