From 8e13c74695c9e566571291e32af459dc077a3325 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sat, 10 May 2014 21:26:27 +0200
Subject: [PATCH] Fixed #5778 (False positive: Deallocating a deallocated
 pointer when exit function is called)

---
 cfg/std.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index d677a2326..38c43ccbe 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -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>