From 07948677f8fb2c44e93d660bee38d71216aeb34d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sat, 21 Dec 2013 13:32:59 +0100
Subject: [PATCH] Fixed #5247 (FP: Memory is allocated but not initialized for
 FILE*)

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 0f8511e92..39fa8feb5 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -11,7 +11,7 @@
 
   <resource>
     <dealloc>fclose</dealloc>
-    <alloc init="false">fopen</alloc>
+    <alloc init="true">fopen</alloc>
   </resource>
 
   <function name="fopen">   <noreturn>false</noreturn> </function>