posix.cfg: Added support for more functions.

This commit is contained in:
Martin Ettl 2015-04-05 23:15:23 +02:00
parent b5f20be151
commit 92c364ead8
1 changed files with 66 additions and 0 deletions

View File

@ -1,5 +1,15 @@
<?xml version="1.0"?>
<def format="1">
<!-- unsigned int sleep(unsigned int seconds); -->
<function name="sleep">
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
<not-bool/>
<valid>0:</valid>
</arg>
<leak-ignore/>
</function>
<!-- int usleep(useconds_t useconds); -->
<function name="usleep">
<noreturn>false</noreturn>
@ -43,6 +53,30 @@
</arg>
<leak-ignore/>
</function>
<!-- struct hostent *gethostbyname(const char *name); -->
<function name="gethostbyname">
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
<not-null/>
</arg>
<leak-ignore/>
</function>
<!-- struct hostent *gethostbyaddr(const void *addr, socklen_t len, int type); -->
<function name="gethostbyaddr">
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
<not-null/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
</arg>
<leak-ignore/>
</function>
<!-- int brk(void *addr); -->
<function name="brk">
<noreturn>false</noreturn>
@ -709,6 +743,17 @@
<not-uninit/>
</arg>
</function>
<!-- int fcntl(int fd, int cmd, ... /* arg */ ); -->
<function name="fcntl">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<!-- void syslog(int priority, const char *format, ...); -->
<function name="syslog">
<noreturn>false</noreturn>
@ -958,6 +1003,7 @@
<podtype name="intptr_t"/>
<podtype name="timespec"/>
<podtype name="timeval"/>
<podtype name="sigaction"/>
<!-- http://pubs.opengroup.org/onlinepubs/009695399/basedefs/arpa/inet.h.html -->
<!-- uint32_t htonl(uint32_t); -->
<function name="htonl">
@ -1689,6 +1735,26 @@
<not-uninit/>
</arg>
</function>
<!-- int killpg(int pgrp, int sig); -->
<function name="killpg">
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<!-- int kill(pid_t pid, int sig); -->
<function name="kill">
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<!-- int clock_gettime(clockid_t clock_id, struct timespec *tp); -->
<function name="clock_gettime">
<noreturn>false</noreturn>