Extended std.cfg, posix.cfg and avr.cfg

This commit is contained in:
orbitcowboy 2014-06-25 15:09:03 +02:00
parent c7310c0ab0
commit d19b6f181d
3 changed files with 66 additions and 1 deletions

View File

@ -220,4 +220,57 @@
<!-- stdlib.h -->
<define name="__ptr_t" value="void *"/>
<define name="RAND_MAX" value="0x7FFF"/>
<function name="ltoa">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg>
</function>
<function name="utoa">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg>
</function>
<function name="ultoa">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg>
</function>
<function name="random">
<noreturn>false</noreturn>
<leak-ignore/>
</function>
<function name="random_r">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
</function>
<function name="srandom">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
</function>
<function name="dtostre">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/></arg>
</function>
<function name="dtostrf">
<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"><not-null/></arg>
</function>
<define name="RANDOM_MAX" value="0x7FFFFFFF"/>
<define name="DTOSTR_ALWAYS_SIGN" value="0x01"/>
<define name="DTOSTR_PLUS_SIGN" value="0x02"/>
<define name="DTOSTR_UPPERCASE" value="0x04"/>
</def>

View File

@ -53,7 +53,11 @@
<function name="popen"><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
<function name="pclose"><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="fdopen"><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="rand_r">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
</function>
<memory>
<dealloc>free</dealloc>
<alloc init="true">strdup</alloc>

View File

@ -262,6 +262,14 @@
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="rand">
<noreturn>false</noreturn>
<leak-ignore/>
</function>
<function name="srand">
<noreturn>false</noreturn>
<leak-ignore/>
</function>
<function name="ldiv">
<noreturn>false</noreturn>
<leak-ignore/>