Add partial patch

(Return error when gif file read to decode, private is not initialized)

Change-Id: I4a64905b0b81cd5a8be748cf3761e991781e4df0
Signed-off-by: Jiyong Min <jiyong.min@samsung.com>

diff --git a/lib/dgif_lib.c b/lib/dgif_lib.c
index f8e5921..e22925e 100644 (file)
--- a/lib/dgif_lib.c
+++ b/lib/dgif_lib.c
@@ -97,6 +97,9 @@ DGifOpenFileHandle(int FileHandle, int *Error)
         free((char *)GifFile);
         return NULL;
     }
+
+    /*@i1@*/memset(Private, '\0', sizeof(GifFilePrivateType));
+
 #ifdef _WIN32
     _setmode(FileHandle, O_BINARY);    /* Make sure it is in binary mode. */
 #endif /* _WIN32 */