Fixed #2776 (false negative: usage of unitialized pointer (closedir))

2014-01-26 09:53:31 +01:00 · 2014-01-26 09:53:31 +01:00 · 7e43498bcc
parent 59d43de5e9
commit 7e43498bcc
1 changed files with 2 additions and 1 deletions
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@ -2,6 +2,7 @@
 <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>