diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 9e3471bca..02551b444 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -1185,6 +1185,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- void srandom(unsigned int seed); -->
   <function name="srandom">
     <noreturn>false</noreturn>
+    <returnValue type="void"/>
     <!-- It is common practice to call srandom with an uninitialized 
          variable. Therefore, no warning shall be generated in this 
          very special case. -->
@@ -1194,6 +1195,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <function name="rewinddir">
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <returnValue type="void"/>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
@@ -1203,6 +1205,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <function name="seekdir">
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <returnValue type="void"/>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
@@ -1827,6 +1830,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
        http://pubs.opengroup.org/onlinepubs/009695399/functions/inet_addr.html -->
   <function name="inet_addr">
     <leak-ignore/>
+    <pure/>
     <returnValue type="in_addr_t"/>
     <noreturn>false</noreturn>
     <arg nr="1">
@@ -2114,6 +2118,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!--void           endpwent(void); -->
   <function name="endpwent">
     <noreturn>false</noreturn>
+    <returnValue type="void"/>
   </function>
   <!--struct passwd *getpwent(void); -->
   <function name="getpwent">
@@ -3006,6 +3011,17 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="3"/>
   </function>
+  <!-- int pthread_cond_signal(pthread_cond_t *cond);
+       int pthread_cond_broadcast(pthread_cond_t *cond); -->
+  <function name="pthread_cond_signal,pthread_cond_broadcast">
+    <returnValue type="int"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int pthread_create(pthread_t * thread, const pthread_attr_t * attr, void *(*start_routine)(void*), void * arg); -->
   <function name="pthread_create">
     <returnValue type="int"/>
@@ -4180,6 +4196,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- This type definitions refer to http://pubs.opengroup.org/onlinepubs/009695399/basedefs/sys/types.h.html-->
   <podtype name="in_port_t" sign="u" size="2"/>
   <podtype name="in_addr_t" sign="u" size="4"/>
+  <podtype name="nfds_t" sign="u"/>
   <podtype name="socklen_t" sign="u" size="4"/>
   <podtype name="sa_family_t" sign="u" size="2"/>
   <podtype name="nlink_t" sign="s"/>
@@ -4197,13 +4214,13 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <podtype name="suseconds_t" sign="u"/>
   <podtype name="blksize_t" sign="s"/>
   <podtype name="ssize_t" sign="s"/>
-  <podtype name="dirent"/>
-  <podtype name="DIR"/>
+  <!-- struct: <podtype name="dirent"/> -->
+  <!-- struct: <podtype name="DIR"/> -->
   <podtype name="clockid_t"/>
   <podtype name="dev_t"/>
   <podtype name="key_t"/>
   <podtype name="tms"/>
-  <podtype name="utsname"/>
+  <!-- struct: <podtype name="utsname"/> -->
   <podtype name="pthread_attr_t"/>
   <podtype name="pthread_cond_t"/>
   <podtype name="pthread_condattr_t"/>
@@ -4228,9 +4245,9 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <podtype name="termios"/>
   <podtype name="intptr_t"/>
   <podtype name="timespec"/>
-  <podtype name="timeval"/>
+  <!-- struct: <podtype name="timeval"/> -->
   <podtype name="timezone"/>
-  <podtype name="sigaction"/>
+  <!-- struct: <podtype name="sigaction"/> -->
   <podtype name="stack_t"/>
   <podtype name="mq_attr"/>
   <podtype name="mqd_t"/>