Fixed #5778 (False positive: Deallocating a deallocated pointer when exit function is called)

This commit is contained in:
Daniel Marjamäki 2014-05-10 21:26:27 +02:00
parent 827cfac91e
commit 8e13c74695
1 changed files with 1 additions and 1 deletions

View File

@ -19,7 +19,7 @@
<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><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
<function name="exit"><noreturn>true</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
<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>