From b222ff14be5100a9f6f19674f23528135a477cad Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Thu, 28 Feb 2019 22:55:17 +0100
Subject: [PATCH] gnu.cfg: Added support fo xexit().

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

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index f79a95843..7e318b4f9 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -13,6 +13,13 @@
     <alloc init="true">xcalloc</alloc>
     <dealloc>free</dealloc>
   </memory>
+  <!-- void xexit(int status); -->
+  <function name="xexit">
+    <noreturn>true</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- void * xmalloc(size_t size); -->
   <function name="xmalloc">
     <use-retval/>