Reverted 5e08784b5c
. There are unwanted changes, for instance for closedir. The use-retval should only be used when it's pointless to call the function without taking the return value.
This commit is contained in:
parent
94c677905b
commit
a19545eb3a
160
cfg/posix.cfg
160
cfg/posix.cfg
|
@ -2,149 +2,129 @@
|
||||||
<def format="1">
|
<def format="1">
|
||||||
<function name="usleep"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><valid>0:999999</valid></arg> </function>
|
<function name="usleep"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><valid>0:999999</valid></arg> </function>
|
||||||
<function name="_exit"> <noreturn>true</noreturn> </function>
|
<function name="_exit"> <noreturn>true</noreturn> </function>
|
||||||
<function name="closedir"><use-retval/><noreturn>false</noreturn> <arg nr="1"><not-bool/><not-uninit/><not-null/></arg> </function>
|
<function name="closedir"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-uninit/><not-null/></arg> </function>
|
||||||
<function name="strdup">
|
<function name="strdup">
|
||||||
<use-retval/>
|
|
||||||
<noreturn>false</noreturn>
|
<noreturn>false</noreturn>
|
||||||
<arg nr="1"><not-null/><not-uninit/></arg>
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
||||||
</function>
|
</function>
|
||||||
<function name="strdupa">
|
<function name="strdupa">
|
||||||
<use-retval/>
|
|
||||||
<noreturn>false</noreturn>
|
<noreturn>false</noreturn>
|
||||||
<arg nr="1"><not-null/><not-uninit/></arg>
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
||||||
</function>
|
</function>
|
||||||
<function name="strndup">
|
<function name="strndup">
|
||||||
<use-retval/>
|
|
||||||
<noreturn>false</noreturn>
|
<noreturn>false</noreturn>
|
||||||
<arg nr="1"><not-null/><not-uninit/></arg>
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
||||||
<arg nr="2"><not-uninit/></arg>
|
<arg nr="2"><not-uninit/></arg>
|
||||||
</function>
|
</function>
|
||||||
<function name="strndupa">
|
<function name="strndupa">
|
||||||
<use-retval/>
|
|
||||||
<noreturn>false</noreturn>
|
<noreturn>false</noreturn>
|
||||||
<arg nr="1"><not-null/><not-uninit/></arg>
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
||||||
<arg nr="2"><not-uninit/></arg>
|
<arg nr="2"><not-uninit/></arg>
|
||||||
</function>
|
</function>
|
||||||
<function name="wcsdup">
|
<function name="wcsdup">
|
||||||
<use-retval/>
|
|
||||||
<noreturn>false</noreturn>
|
<noreturn>false</noreturn>
|
||||||
<arg nr="1"><not-null/><not-uninit/></arg>
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
||||||
</function>
|
</function>
|
||||||
<function name="mkstemp"><use-retval/><noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
<function name="mkstemp"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
||||||
<function name="mkdtemp"><use-retval/><noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
<function name="mkdtemp"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
||||||
<function name="mktemp"><use-retval/><noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
<function name="mktemp"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
||||||
<function name="getcwd">
|
<function name="getcwd">
|
||||||
<use-retval/>
|
<noreturn>false</noreturn>
|
||||||
<noreturn>false</noreturn>
|
<arg nr="2"><not-uninit/></arg>
|
||||||
<arg nr="2"><not-uninit/></arg>
|
<leak-ignore/>
|
||||||
<leak-ignore/>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="mkdir">
|
<function name="mkdir">
|
||||||
<use-retval/>
|
<noreturn>false</noreturn>
|
||||||
<noreturn>false</noreturn>
|
<arg nr="1"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="1"><not-uninit/><not-null/></arg>
|
<arg nr="2"><not-uninit/></arg>
|
||||||
<arg nr="2"><not-uninit/></arg>
|
<leak-ignore/>
|
||||||
<leak-ignore/>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="rmdir"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
<function name="rmdir"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
||||||
<function name="chdir"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
<function name="chdir"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
||||||
<function name="fchdir"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
|
||||||
<function name="link">
|
<function name="link">
|
||||||
<use-retval/>
|
<noreturn>false</noreturn>
|
||||||
<noreturn>false</noreturn>
|
<arg nr="1"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="1"><not-uninit/><not-null/></arg>
|
<arg nr="2"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="2"><not-uninit/><not-null/></arg>
|
<leak-ignore/>
|
||||||
<leak-ignore/>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="rename"><use-retval/><noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
<function name="rename"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
|
||||||
<function name="isatty"><use-retval/><noreturn>false</noreturn> <arg nr="1"><not-uninit/></arg> <leak-ignore/> </function>
|
<function name="isatty"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/></arg> <leak-ignore/> </function>
|
||||||
<function name="popen"><use-retval/><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
|
|
||||||
<function name="pclose"><use-retval/><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg></function>
|
<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="fdopen"><use-retval/><noreturn>false</noreturn><arg nr="1"><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">
|
<function name="rand_r">
|
||||||
<use-retval/>
|
<noreturn>false</noreturn>
|
||||||
<noreturn>false</noreturn>
|
<leak-ignore/>
|
||||||
<leak-ignore/>
|
<arg nr="1"><not-null/></arg>
|
||||||
<arg nr="1"><not-null/></arg>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="memmem">
|
<function name="memmem">
|
||||||
<use-retval/>
|
<noreturn>false</noreturn>
|
||||||
<noreturn>false</noreturn>
|
<leak-ignore/>
|
||||||
<leak-ignore/>
|
<arg nr="1"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="1"><not-uninit/><not-null/></arg>
|
<arg nr="2"><not-uninit/></arg>
|
||||||
<arg nr="2"><not-uninit/></arg>
|
<arg nr="3"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="3"><not-uninit/><not-null/></arg>
|
<arg nr="4"><not-uninit/></arg>
|
||||||
<arg nr="4"><not-uninit/></arg>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="memrchr">
|
<function name="memrchr">
|
||||||
<use-retval/>
|
<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/><not-bool/><valid>0:</valid></arg>
|
||||||
<arg nr="2"><not-uninit/><not-bool/><valid>0:</valid></arg>
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
||||||
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="rawmemchr">
|
<function name="rawmemchr">
|
||||||
<use-retval/>
|
<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/><not-bool/><valid>0:</valid></arg>
|
||||||
<arg nr="2"><not-uninit/><not-bool/><valid>0:</valid></arg>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="strcasecmp">
|
<function name="strcasecmp">
|
||||||
<use-retval/>
|
<noreturn>false</noreturn>
|
||||||
<noreturn>false</noreturn>
|
<leak-ignore/>
|
||||||
<leak-ignore/>
|
<arg nr="1"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="1"><not-uninit/><not-null/></arg>
|
<arg nr="2"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="2"><not-uninit/><not-null/></arg>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="strncasecmp">
|
<function name="strncasecmp">
|
||||||
<use-retval/>
|
<noreturn>false</noreturn>
|
||||||
<noreturn>false</noreturn>
|
<leak-ignore/>
|
||||||
<leak-ignore/>
|
<arg nr="1"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="1"><not-uninit/><not-null/></arg>
|
<arg nr="2"><not-uninit/><not-null/></arg>
|
||||||
<arg nr="2"><not-uninit/><not-null/></arg>
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
||||||
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="read">
|
<function name="read">
|
||||||
<use-retval/>
|
<arg nr="1"><not-uninit/></arg>
|
||||||
<arg nr="1"><not-uninit/></arg>
|
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
||||||
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
<arg nr="3"><not-uninit/></arg>
|
||||||
<arg nr="3"><not-uninit/></arg>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="write">
|
<function name="write">
|
||||||
<use-retval/>
|
<arg nr="1"><not-uninit/></arg>
|
||||||
<arg nr="1"><not-uninit/></arg>
|
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
||||||
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
<arg nr="3"><not-uninit/></arg>
|
||||||
<arg nr="3"><not-uninit/></arg>
|
|
||||||
</function>
|
</function>
|
||||||
<function name="recv">
|
<function name="recv">
|
||||||
<use-retval/>
|
<arg nr="1"><not-uninit/></arg>
|
||||||
<arg nr="1"><not-uninit/></arg>
|
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
||||||
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
<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="recvfrom">
|
<function name="recvfrom">
|
||||||
<use-retval/>
|
<arg nr="1"><not-uninit/></arg>
|
||||||
<arg nr="1"><not-uninit/></arg>
|
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
||||||
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
<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="send">
|
<function name="send">
|
||||||
<use-retval/>
|
<arg nr="1"><not-uninit/></arg>
|
||||||
<arg nr="1"><not-uninit/></arg>
|
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
||||||
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
<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="sendto">
|
<function name="sendto">
|
||||||
<use-retval/>
|
<arg nr="1"><not-uninit/></arg>
|
||||||
<arg nr="1"><not-uninit/></arg>
|
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
||||||
<arg nr="2"><minsize type="argvalue" arg="3"/></arg>
|
<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>
|
||||||
<memory>
|
<memory>
|
||||||
<dealloc>free</dealloc>
|
<dealloc>free</dealloc>
|
||||||
|
|
Loading…
Reference in New Issue