From 7e43498bcc44bdfdbefa524d476323afce9ab4e8 Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Sun, 26 Jan 2014 09:53:31 +0100
Subject: [PATCH] Fixed #2776 (false negative: usage of unitialized pointer
 (closedir))

---
 cfg/posix.cfg | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index b169e6c00..682967fc2 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -2,7 +2,8 @@
 <def>
   <function name="usleep"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><valid>0-999999</valid></arg> </function>
   <function name="_exit"> <noreturn>true</noreturn> </function>
-  
+  <function name="closedir">  <arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
+
   <resource>
     <dealloc>close</dealloc>
     <alloc init="true">socket</alloc>