std.cfg: Added support for more functions.

This commit is contained in:
orbitcowboy 2014-06-25 14:27:01 +02:00
parent 95c49ec5dc
commit c7310c0ab0
1 changed files with 308 additions and 37 deletions

View File

@ -3,7 +3,11 @@
<function name="abort"><noreturn>true</noreturn></function>
<function name="abs"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/><not-bool/></arg></function>
<function name="acos"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="asctime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="asctime">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
</function>
<function name="asin"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="atan"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="atan2"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
@ -13,10 +17,18 @@
<function name="atoll"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="calloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
<function name="ceil"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="clearerr"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="clearerr">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="cos"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="cosh"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="ctime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="ctime">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
</function>
<function name="difftime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
<function name="div">
<noreturn>false</noreturn>
@ -27,12 +39,40 @@
<function name="exit"><noreturn>true</noreturn><arg nr="1"><not-uninit/></arg></function>
<function name="exp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="fabs"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="fclose"><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="feof"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="ferror"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="fflush"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="fgetc"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="fgetpos"> <noreturn>false</noreturn><leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
<function name="fclose">
<noreturn>false</noreturn>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="feof">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="ferror">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="fflush">
<noreturn>false</noreturn>
<leak-ignore/><arg nr="1"><not-uninit/></arg>
</function>
<function name="fgetc">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="fgetwc">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="fgetpos">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="fgets">
<noreturn>false</noreturn>
<leak-ignore/>
@ -42,21 +82,56 @@
</function>
<function name="floor"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="fmod"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
<function name="fopen"><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
<function name="fprintf"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><formatstr/><arg nr="2"><formatstr/></arg><arg nr="any"><not-uninit/></arg></function>
<function name="vfprintf"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><formatstr/><arg nr="2"><formatstr/></arg><arg nr="any"><not-uninit/></arg></function>
<function name="fopen">
<noreturn>false</noreturn>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="fprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg><formatstr/>
<arg nr="2"><formatstr/></arg>
<arg nr="any"><not-uninit/></arg>
</function>
<function name="vfprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<formatstr/><arg nr="2"><formatstr/></arg>
<arg nr="any"><not-uninit/></arg>
</function>
<function name="vfwprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<formatstr/><arg nr="2"><formatstr/></arg>
<arg nr="any"><not-uninit/></arg>
</function>
<function name="fputc">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/><not-bool/><valid>0:</valid></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="fputwc">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/><not-bool/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="fputs">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="fputws">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="fread">
<noreturn>false</noreturn>
<leak-ignore/>
@ -65,7 +140,10 @@
<arg nr="3"><not-null/><not-uninit/></arg>
<arg nr="4"><not-null/><not-uninit/></arg>
</function>
<function name="free"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
<function name="free">
<noreturn>false</noreturn>
<arg nr="1"><not-uninit/>
</arg></function>
<function name="freopen">
<noreturn>false</noreturn>
<arg nr="1"><not-uninit/></arg>
@ -123,16 +201,48 @@
<arg nr="3"><not-null/><not-uninit/></arg>
<arg nr="4"><not-null/><not-uninit/></arg>
</function>
<function name="getc"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="mbstowcs">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-uninit/></arg>
</function>
<function name="wcstombs">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-uninit/></arg>
</function>
<function name="getc">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="ungetc">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="ungetwc">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="getenv"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="gets"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/></arg></function>
<function name="gmtime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="gets">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
</function>
<function name="gmtime">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="isalnum"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
<function name="isalpha"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
<function name="isblank"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
@ -158,7 +268,11 @@
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="localtime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="localtime">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="log"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="log10"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="longjmp">
@ -204,14 +318,22 @@
<arg nr="2"><not-uninit/></arg>
<arg nr="3"><not-bool/><valid>0:</valid></arg>
</function>
<function name="mktime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="mktime">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="modf">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/></arg>
</function>
<function name="perror"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="perror">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-uninit/></arg>
</function>
<function name="pow">
<noreturn>false</noreturn>
<leak-ignore/>
@ -230,6 +352,12 @@
<formatstr/> <arg nr="1"><formatstr/></arg>
<arg nr="any"><not-uninit/></arg>
</function>
<function name="vwprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/> <arg nr="1"><formatstr/></arg>
<arg nr="any"><not-uninit/></arg>
</function>
<function name="bsearch">
<noreturn>false</noreturn>
<leak-ignore/>
@ -253,6 +381,12 @@
<arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0:</valid></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="putwc">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/><not-bool/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="putchar">
<noreturn>false</noreturn>
<leak-ignore/>
@ -263,15 +397,26 @@
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0:</valid></arg>
</function>
<function name="realloc"><noreturn>false</noreturn><arg nr="2"><not-uninit/></arg></function>
<function name="remove"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="realloc">
<noreturn>false</noreturn>
<arg nr="2"><not-uninit/></arg>
</function>
<function name="remove">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="rename">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="rewind"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="rewind">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="round"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<function name="scanf">
<noreturn>false</noreturn>
@ -289,6 +434,14 @@
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-bool/></arg>
</function>
<function name="setvbuf">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-uninit/></arg>
<arg nr="3"><not-uninit/></arg>
<arg nr="4"><not-uninit/></arg>
</function>
<function name="setjmp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
<memory>
@ -341,9 +494,43 @@
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="strcpy"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/></arg> <arg nr="2"><not-null/><not-uninit/></arg> </function>
<function name="strlen"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> </function>
<function name="strncpy"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/></arg> <arg nr="2"><not-null/><not-uninit/></arg> <arg nr="3"><not-bool/><valid>0:</valid></arg> </function>
<function name="strcpy">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="wcscpy">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="strftime">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></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>
</function>
<function name="strlen">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="wcslen">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
</function>
<function name="strncpy">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-bool/><valid>0:</valid></arg>
</function>
<function name="strncat">
<noreturn>false</noreturn>
<leak-ignore/>
@ -372,9 +559,48 @@
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-bool/><valid>0:</valid></arg>
</function>
<function name="strstr"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="2"><not-null/><not-uninit/></arg> </function>
<function name="strspn"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="2"><not-null/><not-uninit/></arg> </function>
<function name="strerror"> <noreturn>false</noreturn> <leak-ignore/></function>
<function name="strstr">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="wcsstr">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="strspn">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="strxfrm">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-uninit/></arg>
</function>
<function name="wcsxfrm">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-uninit/></arg>
</function>
<function name="wcsspn">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="strerror">
<noreturn>false</noreturn>
<leak-ignore/>
</function>
<function name="strcspn">
<noreturn>false</noreturn>
<leak-ignore/>
@ -387,6 +613,19 @@
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="wcspbrk">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
</function>
<function name="wcsncpy">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-uninit/></arg>
</function>
<function name="strcoll">
<noreturn>false</noreturn>
<leak-ignore/>
@ -491,23 +730,55 @@
<arg nr="3"><valid>0,2:36</valid></arg>
</function>
<function name="wprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="1"><formatstr/></arg> </function>
<function name="sprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="2"><formatstr/></arg> </function>
<function name="vsprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="2"><formatstr/></arg> </function>
<function name="fwprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="2"><formatstr/></arg> </function>
<function name="snprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="3"><formatstr/></arg> </function>
<function name="wprintf">
<noreturn>false</noreturn>
<leak-ignore/><formatstr/><arg nr="1"><formatstr/></arg>
<arg nr="any"><not-uninit/></arg>
</function>
<function name="sprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/><arg nr="2"><formatstr/></arg>
</function>
<function name="vsprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/><arg nr="2"><formatstr/></arg>
</function>
<function name="fwprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/>
<arg nr="2"><formatstr/></arg>
</function>
<function name="snprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/> <arg nr="3"><formatstr/></arg>
</function>
<function name="vsnprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="3"><formatstr/></arg> </function>
<function name="fnprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="3"><formatstr/></arg> </function>
<function name="wscanf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr scan="true"/> <arg nr="1"><formatstr/></arg> </function>
<function name="wscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/> <arg nr="1"><formatstr/></arg>
</function>
<function name="sscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/> <arg nr="2"><formatstr/></arg>
</function>
<function name="fwscanf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr scan="true"/> <arg nr="2"><formatstr/></arg> </function>
<function name="swscanf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr scan="true"/> <arg nr="2"><formatstr/></arg> </function>
<function name="fwscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/> <arg nr="2"><formatstr/></arg>
</function>
<function name="swscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/><arg nr="2"><formatstr/></arg>
</function>
<podtype name="int8_t" sign="s" size="1"/>
<podtype name="int16_t" sign="s" size="2"/>