posix.cfg: add more interfaces. Remove include from test which is missing on travis

This commit is contained in:
Alexander Mai 2015-03-15 13:28:16 +01:00
parent 3a690fd18e
commit cb6ed95ed3
2 changed files with 83 additions and 1 deletions

View File

@ -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"/>

View File

@ -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>