From cb6ed95ed3af41f9e32bb41fee19e96fce562c63 Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Sun, 15 Mar 2015 13:28:16 +0100
Subject: [PATCH] posix.cfg: add more interfaces. Remove include from test
 which is missing on travis

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

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 02048fbb2..1641dc0a3 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -957,6 +957,88 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/mqueue.h.html -->
+  <podtype name="mq_attr"/>
+  <podtype name="mqd_t"/>
+  <!-- int      mq_close(mqd_t); -->
+  <function name="mq_close">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int      mq_getattr(mqd_t, struct mq_attr *); -->
+  <function name="mq_getattr">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2"/>
+  </function>
+  <!-- int      mq_notify(mqd_t, const struct sigevent *); -->
+  <function name="mq_notify">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2"/>
+  </function>
+  <!-- mqd_t    mq_open(const char *, int, ...); -->
+  <function name="mq_open">
+    <noreturn>false</noreturn>
+  </function>
+  <!-- ssize_t  mq_receive(mqd_t, char *, size_t, unsigned *); -->
+  <function name="mq_receive">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="4"/>
+  </function>
+  <!-- int      mq_send(mqd_t, const char *, size_t, unsigned); -->
+  <function name="mq_send">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="4"/>
+  </function>
+  <!-- int      mq_setattr(mqd_t, const struct mq_attr *restrict,
+             struct mq_attr *restrict); -->
+  <function name="mq_setattr">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="3"/>
+  </function>
+  <!-- ssize_t  mq_timedreceive(mqd_t, char *restrict, size_t,
+             unsigned *restrict, const struct timespec *restrict); -->
+  <function name="mq_timedreceive">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="5"/>
+  </function>
+  <!-- int      mq_timedsend(mqd_t, const char *, size_t, unsigned,
+             const struct timespec *); -->
+  <function name="mq_timedsend">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="5"/>
+  </function>
+  <!-- int      mq_unlink(const char *); -->
+  <function name="mq_unlink">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/ndbm.h.html -->
   <podtype name="datum"/>
   <podtype name="DBM"/>
diff --git a/test/cfg/posix.c b/test/cfg/posix.c
index 571fbea45..dbe55a44e 100644
--- a/test/cfg/posix.c
+++ b/test/cfg/posix.c
@@ -13,7 +13,7 @@
 #include <sys/mman.h>
 #include <sys/socket.h>
 #include <fcntl.h>
-#include <ndbm.h>
+// unavailable on some linux systems #include <ndbm.h>
 #include <netdb.h>
 #include <regex.h>
 #include <time.h>