std.cfg: Added support for bsearch.

This commit is contained in:
orbitcowboy 2014-06-23 14:43:56 +02:00
parent f90445e947
commit 0a17473962
2 changed files with 11 additions and 2 deletions

View File

@ -216,7 +216,7 @@
<noreturn>false</noreturn>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
</function>
<!-- stdlib.h -->
<define name="__ptr_t" value="void *"/>
<define name="RAND_MAX" value="0x7FFF"/>

View File

@ -225,6 +225,15 @@
<formatstr/> <arg nr="1"><formatstr/></arg>
<arg nr="any"><not-uninit/></arg>
</function>
<function name="bsearch">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg>
<arg nr="4"><not-null/><not-uninit/></arg>
<arg nr="5"><not-null/><not-uninit/></arg>
</function>
<function name="putc">
<noreturn>false</noreturn>
<leak-ignore/>
@ -260,7 +269,7 @@
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/><arg nr="1"><formatstr/></arg>
</function>
</function>
<function name="setbuf">
<noreturn>false</noreturn>
<leak-ignore/>