walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

posix.cfg: fix false positive and add more interfaces

This commit is contained in:
Alexander Mai 2015-03-15 12:56:24 +01:00
parent e8161aeda6
commit 3a690fd18e
2 changed files with 139 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

139
cfg/posix.cfg
View File

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

1
test/cfg/posix.c
View File

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