From 0000bb279228e5766738f5f6a20b52eab7baa658 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Tue, 5 Apr 2022 11:09:58 +0200
Subject: [PATCH] gnu.cfg: Added support for mempcpy() and wmempcpy(). Ref.:
 https://man7.org/linux/man-pages/man3/mempcpy.3.html

---
 cfg/gnu.cfg | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index e568c0aad..bf43c2a66 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -248,6 +248,50 @@
       <not-bool/>
     </arg>
   </function>
+  <!-- https://man7.org/linux/man-pages/man3/mempcpy.3.html-->
+  <!-- wchar_t *wmempcpy(wchar_t *restrict dest, const wchar_t *restrict src, size_t n);-->
+  <function name="wmempcpy">
+    <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <not-overlapping-data ptr1-arg="1" ptr2-arg="2" size-arg="3"/>
+    <arg nr="1" direction="out">
+      <not-null/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+  </function>
+  <!-- https://man7.org/linux/man-pages/man3/mempcpy.3.html-->
+  <!-- void *mempcpy(void *restrict dest, const void *restrict src, size_t n);-->
+  <function name="mempcpy">
+    <returnValue type="void *"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <not-overlapping-data ptr1-arg="1" ptr2-arg="2" size-arg="3"/>
+    <arg nr="1" direction="out">
+      <not-null/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+  </function>
   <!-- void xexit(int status); -->
   <function name="xexit">
     <noreturn>true</noreturn>