From 3a690fd18e0051a1150bb81d7982c72ea0a78b41 Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Sun, 15 Mar 2015 12:56:24 +0100
Subject: [PATCH] posix.cfg: fix false positive and add more interfaces

---
 cfg/posix.cfg    | 139 ++++++++++++++++++++++++++++++++++++++++++++++-
 test/cfg/posix.c |   1 +
 2 files changed, 139 insertions(+), 1 deletion(-)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 38bab9fec..02048fbb2 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -957,6 +957,106 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/ndbm.h.html -->
+  <podtype name="datum"/>
+  <podtype name="DBM"/>
+  <!-- int     dbm_clearerr(DBM *); -->
+  <function name="dbm_clearerr">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- void    dbm_close(DBM *); -->
+  <function name="dbm_close">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- int     dbm_delete(DBM *, datum); -->
+  <function name="dbm_delete">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int     dbm_error(DBM *); -->
+  <function name="dbm_error">
+    <noreturn>false</noreturn>
+    <use-retval/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- datum   dbm_fetch(DBM *, datum); -->
+  <function name="dbm_fetch">
+    <noreturn>false</noreturn>
+    <use-retval/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- datum   dbm_firstkey(DBM *); -->
+  <function name="dbm_firstkey">
+    <noreturn>false</noreturn>
+    <use-retval/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- datum   dbm_nextkey(DBM *); -->
+  <function name="dbm_nextkey">
+    <noreturn>false</noreturn>
+    <use-retval/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- DBM    *dbm_open(const char *, int, mode_t); -->
+  <function name="dbm_open">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int     dbm_store(DBM *, datum, datum, int); -->
+  <function name="dbm_store">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- http://pubs.opengroup.org/onlinepubs/009695399/basedefs/netdb.h.html -->
   <podtype name="addrinfo"/>
   <podtype name="hostent"/>
@@ -1047,11 +1147,48 @@
   <function name="setpwent">
     <noreturn>false</noreturn>
   </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/nl_types.h.html -->
+  <podtype name="nl_catd"/>
+  <podtype name="nl_item"/>
+  <!-- int       catclose(nl_catd); -->
+  <function name="catclose">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- char     *catgets(nl_catd, int, int, const char *); -->
+  <function name="catgets">
+    <noreturn>false</noreturn>
+    <use-retval/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- nl_catd   catopen(const char *, int); -->
+  <function name="catopen">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/poll.h.html -->
   <!-- int   poll(struct pollfd [], nfds_t, int); -->
   <function name="poll">
     <noreturn>false</noreturn>
-    <use-retval/>
     <arg nr="1">
       <not-uninit/>
     </arg>
diff --git a/test/cfg/posix.c b/test/cfg/posix.c
index 1decaf1be..571fbea45 100644
--- a/test/cfg/posix.c
+++ b/test/cfg/posix.c
@@ -13,6 +13,7 @@
 #include <sys/mman.h>
 #include <sys/socket.h>
 #include <fcntl.h>
+#include <ndbm.h>
 #include <netdb.h>
 #include <regex.h>
 #include <time.h>