gnu.cfg,posix.cfg: Added support for more functions.

This commit is contained in:
orbitcowboy 2016-01-22 10:40:04 +01:00
parent b65873711a
commit 8ea36fb6ec
2 changed files with 129 additions and 1 deletions

View File

@ -505,6 +505,49 @@
<valid>0:</valid>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man3/ffs.3.html -->
<!-- int ffsl(long int i);
int ffsll(long long int i); -->
<function name="ffsl,ffsll">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man3/strchr.3.html -->
<!-- char *strchrnul(const char *s, int c); -->
<function name="strchrnul">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<not-uninit/>
<strz/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man2/setrlimit.2.html -->
<!-- int prlimit(pid_t pid, int resource, const struct rlimit *new_limit,
struct rlimit *old_limit); -->
<function name="prlimit">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
</arg>
<arg nr="4"/>
</function>
<!-- see https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html -->
<define name="__builtin_expect(X,Y)" value="(X)"/>
<!-- see http://kernelnewbies.org/FAQ/LikelyUnlikely -->

View File

@ -1638,7 +1638,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-null/>
</arg>
</function>
<!--int getpwnam_r(const char *, struct passwd *, char *, size_t, struct passwd **); -->
<!--int getpwnam_r(const char *, struct passwd *, char *, size_t, struct passwd **); -->
<function name="getpwnam_r">
<use-retval/>
<noreturn>false</noreturn>
@ -2630,6 +2630,91 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-uninit/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man3/ffs.3.html -->
<!-- int ffs(int i); -->
<function name="ffs">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man2/shmctl.2.html -->
<!-- int shmctl(int shmid, int cmd, struct shmid_ds *buf); -->
<function name="shmctl">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-null/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man2/shmget.2.html -->
<!-- int shmget(key_t key, size_t size, int shmflg); -->
<function name="shmget">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man2/shmat.2.html -->
<!-- void *shmat(int shmid, const void *shmaddr, int shmflg); -->
<function name="shmat">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2"/>
<arg nr="3">
<not-uninit/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man2/shmat.2.html -->
<!-- int shmdt(const void *shmaddr);-->
<function name="shmdt">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"/>
</function>
<!-- http://man7.org/linux/man-pages/man2/setrlimit.2.html -->
<!-- int getrlimit(int resource, struct rlimit *rlim); -->
<function name="getrlimit">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-null/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man2/setrlimit.2.html -->
<!-- int setrlimit(int resource, const struct rlimit *rlim); -->
<function name="setrlimit">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
<not-null/>
</arg>
</function>
<memory>
<alloc init="true">strdup</alloc>
<alloc init="true">strndup</alloc>