Fixed false positive introduced recently: return value of time() does not need to be taken

This commit is contained in:
PKEuS 2014-09-28 10:04:33 +02:00
parent 73171b0bc7
commit df01bf5006
1 changed files with 1 additions and 1 deletions

View File

@ -794,7 +794,7 @@
<arg nr="1"><not-null/><not-uninit/>
</arg> <arg nr="3"><valid>0,2:36</valid></arg>
</function>
<function name="time"> <use-retval/> <noreturn>false</noreturn> <leak-ignore/> </function>
<function name="time"> <noreturn>false</noreturn> <leak-ignore/> </function>
<function name="tmpnam"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"></arg></function>
<function name="tmpfile"> <use-retval/> <noreturn>false</noreturn> </function>
<function name="tolower"> <use-retval/> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>