posix.cfg: Added support for more functions.

This commit is contained in:
Martin Ettl 2015-04-09 21:35:18 +02:00
parent 84830638a2
commit c73e0a82f8
1 changed files with 41 additions and 0 deletions

View File

@ -11,6 +11,19 @@
</arg>
<leak-ignore/>
</function>
<!-- int symlink(const char *oldpath, const char *newpath); -->
<function name="symlink">
<noreturn>false</noreturn>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="2">
<not-null/>
<not-uninit/>
</arg>
<leak-ignore/>
</function>
<!-- int open(const char *pathname, int flags) -->
<function name="open">
<use-retval/>
@ -23,6 +36,33 @@
<not-uninit/>
</arg>
</function>
<!-- int creat(const char *pathname, mode_t mode); -->
<function name="creat">
<use-retval/>
<noreturn>false</noreturn>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<!-- int open(const char *pathname, int flags, mode_t mode); -->
<function name="open">
<use-retval/>
<noreturn>false</noreturn>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
</arg>
</function>
<!-- unsigned int sleep(unsigned int seconds); -->
<function name="sleep">
<noreturn>false</noreturn>
@ -959,6 +999,7 @@
<resource>
<dealloc>close</dealloc>
<alloc init="true">open</alloc>
<alloc init="true">creat</alloc>
<alloc init="true">socket</alloc>
</resource>
<resource>