gnu.cfg: Added support fo xexit().

This commit is contained in:
orbitcowboy 2019-02-28 22:55:17 +01:00
parent 80e31755da
commit b222ff14be
1 changed files with 7 additions and 0 deletions

View File

@ -13,6 +13,13 @@
<alloc init="true">xcalloc</alloc>
<dealloc>free</dealloc>
</memory>
<!-- void xexit(int status); -->
<function name="xexit">
<noreturn>true</noreturn>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- void * xmalloc(size_t size); -->
<function name="xmalloc">
<use-retval/>