gnu.cfg: Added support for xrealloc().

This commit is contained in:
orbitcowboy 2019-02-28 22:48:39 +01:00
parent 43daaca19c
commit 80e31755da
1 changed files with 12 additions and 0 deletions

View File

@ -48,6 +48,18 @@
<valid>0:</valid>
</arg>
</function>
<!-- void * xrealloc(void *block, size_t newsize); -->
<function name="xrealloc">
<returnValue type="void *"/>
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
<valid>0:</valid>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man3/asprintf.3.html -->
<!-- int asprintf(char **strp, const char *fmt, ...); -->
<function name="asprintf">