From 80e31755dadb4815f1ce9857ef4e94349a1b5cf3 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Thu, 28 Feb 2019 22:48:39 +0100
Subject: [PATCH] gnu.cfg: Added support for xrealloc().

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

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 6a68943ff..f79a95843 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -48,6 +48,18 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void * xrealloc(void *block, size_t newsize); -->
+  <function name="xrealloc">
+    <returnValue type="void *"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
   <!-- http://man7.org/linux/man-pages/man3/asprintf.3.html -->
   <!-- int asprintf(char **strp, const char *fmt, ...); -->
   <function name="asprintf">