From d2552dd93ae27a3bf4aa8017f0056a1baaf2c3e0 Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Thu, 5 Feb 2015 14:18:08 +0100
Subject: [PATCH] posix.cfg: declared usleep() as <leak-ignore/>. Improved
 support for <unistd.h> functions.

---
 cfg/posix.cfg | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 14af4d73a..c7d5540ad 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -6,9 +6,14 @@
       <not-bool/>
       <valid>0:999999</valid>
     </arg>
+    <leak-ignore/>
   </function>
+  <!-- void _exit(int status); -->
   <function name="_exit">
     <noreturn>true</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
   <!-- int access(const char *pathname, int mode); -->
   <function name="access">