Fixed 32 wrongly configured functions (#6120) and added support for second argument of strchr() to std.cfg.

This commit is contained in:
PKEuS 2014-09-02 17:52:52 +02:00
parent 7342a81ea7
commit a0d8fc1df4
1 changed files with 34 additions and 32 deletions

View File

@ -29,13 +29,13 @@
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
</function> </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="difftime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
<function name="div"> <function name="div">
<pure/> <pure/>
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
</function> </function>
<function name="exit"><noreturn>true</noreturn><arg nr="1"><not-uninit/></arg></function> <function name="exit"><noreturn>true</noreturn><arg nr="1"><not-uninit/></arg></function>
<function name="exp"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function> <function name="exp"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
@ -74,8 +74,8 @@
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-null/><not-uninit/></arg>
</function> </function>
<function name="floor"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function> <function name="floor"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="fmod"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function> <function name="fmod"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
<function name="fopen"> <function name="fopen">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-null/><not-uninit/></arg>
@ -130,8 +130,8 @@
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><minsize type="mul" arg="2" arg2="3"/></arg> <arg nr="1"><not-null/><minsize type="mul" arg="2" arg2="3"/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg> <arg nr="3"><not-uninit/></arg>
<arg nr="4"><not-null/><not-uninit/></arg> <arg nr="4"><not-null/><not-uninit/></arg>
</function> </function>
<function name="free"> <function name="free">
@ -147,7 +147,7 @@
<function name="frexp"> <function name="frexp">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/></arg> <arg nr="2"><not-null/></arg>
</function> </function>
<function name="fscanf"> <function name="fscanf">
@ -191,8 +191,8 @@
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/><minsize type="mul" arg="2" arg2="3"/></arg> <arg nr="1"><not-null/><not-uninit/><minsize type="mul" arg="2" arg2="3"/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg> <arg nr="3"><not-uninit/></arg>
<arg nr="4"><not-null/><not-uninit/></arg> <arg nr="4"><not-null/><not-uninit/></arg>
</function> </function>
<function name="mbstowcs"> <function name="mbstowcs">
@ -247,13 +247,13 @@
<function name="isspace"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function> <function name="isspace"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
<function name="isupper"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function> <function name="isupper"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
<function name="isxdigit"><pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function> <function name="isxdigit"><pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
<function name="labs"> <pure/><noreturn>false</noreturn><leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg></function> <function name="labs"> <pure/><noreturn>false</noreturn><leak-ignore/> <arg nr="1"><not-uninit/></arg></function>
<function name="ldexp"> <function name="ldexp">
<pure/> <pure/>
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
</function> </function>
<function name="rand"> <function name="rand">
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -267,21 +267,21 @@
<pure/> <pure/>
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
</function> </function>
<function name="localtime"> <function name="localtime">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
</function> </function>
<function name="log"><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-uninit/></arg></function>
<function name="log10"><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-uninit/></arg></function>
<function name="longjmp"> <function name="longjmp">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
</function> </function>
<function name="malloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function> <function name="malloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
<function name="alloca"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function> <function name="alloca"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
@ -330,7 +330,7 @@
<function name="modf"> <function name="modf">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/></arg> <arg nr="2"><not-null/></arg>
</function> </function>
<function name="perror"> <function name="perror">
@ -342,8 +342,8 @@
<pure/> <pure/>
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
</function> </function>
<function name="printf"> <function name="printf">
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -369,28 +369,28 @@
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-null/><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg> <arg nr="3"><not-uninit/></arg>
<arg nr="4"><not-null/><not-uninit/></arg> <arg nr="4"><not-uninit/></arg>
<arg nr="5"><not-null/><not-uninit/></arg> <arg nr="5"><not-null/><not-uninit/></arg>
</function> </function>
<function name="qsort"> <function name="qsort">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg> <arg nr="3"><not-uninit/></arg>
<arg nr="4"><not-null/><not-uninit/></arg> <arg nr="4"><not-null/><not-uninit/></arg>
</function> </function>
<function name="putc"> <function name="putc">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0:</valid></arg> <arg nr="1"><not-uninit/><not-bool/><valid>0:</valid></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-null/><not-uninit/></arg>
</function> </function>
<function name="putwc"> <function name="putwc">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/><not-bool/></arg> <arg nr="1"><not-uninit/><not-bool/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-null/><not-uninit/></arg>
</function> </function>
<function name="putchar"> <function name="putchar">
@ -423,7 +423,7 @@
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-null/><not-uninit/></arg>
</function> </function>
<function name="round"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function> <function name="round"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<function name="scanf"> <function name="scanf">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
@ -448,7 +448,7 @@
<arg nr="3"><not-uninit/></arg> <arg nr="3"><not-uninit/></arg>
<arg nr="4"><not-uninit/></arg> <arg nr="4"><not-uninit/></arg>
</function> </function>
<function name="setjmp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function> <function name="setjmp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<memory> <memory>
<dealloc>free</dealloc> <dealloc>free</dealloc>
@ -479,11 +479,13 @@
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-uninit/></arg>
</function> </function>
<function name="wcschr"> <function name="wcschr">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/><not-uninit/></arg> <arg nr="1"><not-null/><not-uninit/></arg>
<arg nr="2"><not-uninit/></arg>
</function> </function>
<function name="strcmp"> <function name="strcmp">
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -515,7 +517,7 @@
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"><not-null/></arg> <arg nr="1"><not-null/></arg>
<arg nr="2"><not-null/><not-uninit/></arg> <arg nr="2"><not-uninit/></arg>
<arg nr="3"><not-null/><not-uninit/></arg> <arg nr="3"><not-null/><not-uninit/></arg>
<arg nr="4"><not-null/><not-uninit/></arg> <arg nr="4"><not-null/><not-uninit/></arg>
</function> </function>