2015-01-11 10:12:39 +01:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
<def format="1">
|
|
|
|
<memory>
|
|
|
|
<dealloc>free</dealloc>
|
|
|
|
<alloc init="true">get_current_dir_name</alloc>
|
|
|
|
</memory>
|
2015-05-11 08:53:54 +02:00
|
|
|
<!-- long long atoq(const char *nptr); -->
|
|
|
|
<function name="atoq">
|
|
|
|
<use-retval/>
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
2015-02-16 22:19:51 +01:00
|
|
|
<function name="strndupa">
|
|
|
|
<use-retval/>
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
|
|
|
<function name="strdupa">
|
|
|
|
<use-retval/>
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
2015-02-21 11:08:58 +01:00
|
|
|
<!-- http://www.gnu.org/software/libc/manual/html_node/Backtraces.html -->
|
|
|
|
<!-- int backtrace (void **buffer, int size) -->
|
|
|
|
<function name="backtrace">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
|
|
|
<!-- char ** backtrace_symbols (void *const *buffer, int size) -->
|
|
|
|
<function name="backtrace_symbols">
|
|
|
|
<noreturn>false</noreturn>
|
2015-03-08 14:24:54 +01:00
|
|
|
<use-retval/>
|
2015-02-21 11:08:58 +01:00
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
|
|
|
<!-- void backtrace_symbols_fd (void *const *buffer, int size, int fd) -->
|
|
|
|
<function name="backtrace_symbols_fd">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
2015-03-01 20:18:26 +01:00
|
|
|
<!-- char *qecvt(long double value, int ndigit, int * decpt, int * sign); -->
|
|
|
|
<function name="ecvt">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="4">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
|
|
|
<!-- char *qfcvt(double value, int ndigit, int * decpt, int * sign); -->
|
|
|
|
<function name="qfcvt">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="4">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
|
|
|
<!-- char *qgcvt(long double value, int ndigit, char *buf); -->
|
|
|
|
<function name="qgcvt">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
|
|
|
<!-- int ecvt_r (double value, int ndigit, int *decpt, int *neg, char *buf, size_t len); -->
|
|
|
|
<function name="ecvt_r">
|
|
|
|
<noreturn>false</noreturn>
|
2015-03-08 14:24:54 +01:00
|
|
|
<pure/>
|
2015-03-01 20:18:26 +01:00
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="4">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="5">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="6"/>
|
|
|
|
</function>
|
|
|
|
<!-- int fcvt_r (double value, int ndigit, int *decpt, int *neg, char *buf, size_t len); -->
|
2015-03-05 06:48:44 +01:00
|
|
|
<function name="fcvt_r">
|
2015-03-01 20:18:26 +01:00
|
|
|
<noreturn>false</noreturn>
|
2015-03-08 14:24:54 +01:00
|
|
|
<pure/>
|
2015-03-01 20:18:26 +01:00
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="4">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="5">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="6"/>
|
|
|
|
</function>
|
|
|
|
<!-- int qecvt_r (long double value, int ndigit, int *decpt, int *neg, char *buf, size_t len); -->
|
|
|
|
<function name="qecvt_r">
|
|
|
|
<noreturn>false</noreturn>
|
2015-03-08 14:24:54 +01:00
|
|
|
<pure/>
|
2015-03-01 20:18:26 +01:00
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="4">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="5">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="6"/>
|
|
|
|
</function>
|
|
|
|
<!-- int qfcvt_r (long double value, int ndigit, int *decpt, int *neg, char *buf, size_t len); -->
|
|
|
|
<function name="qfcvt_r">
|
|
|
|
<noreturn>false</noreturn>
|
2015-03-08 14:24:54 +01:00
|
|
|
<pure/>
|
2015-03-01 20:18:26 +01:00
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="4">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="5">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="6"/>
|
|
|
|
</function>
|
2015-03-08 14:04:09 +01:00
|
|
|
<!-- https://www.gnu.org/software/gnulib/manual/html_node/c_002dstrcasestr.html -->
|
|
|
|
<!-- size_t strcasestr(const char *s1, const char *s2); -->
|
|
|
|
<function name="strcasestr">
|
|
|
|
<use-retval/>
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
2015-03-08 14:24:54 +01:00
|
|
|
<pure/>
|
2015-03-08 14:04:09 +01:00
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
2015-01-11 10:12:39 +01:00
|
|
|
</def>
|