From 97697743eca3a39982ea5d42539aa53f8acdaebb Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 7 Nov 2012 16:59:02 +0100
Subject: [PATCH] model-checker : initialize variables (compilation error with
 optimizations)

---
 src/mc/mc_compare.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index d1584c6333..fbedb9d705 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -340,7 +340,7 @@ static int compare_local_variables(char *s1, char *s2, xbt_dynar_t heap_equals){
   xbt_dynar_t s_tokens1, s_tokens2;
   unsigned int cursor = 0;
   void *addr1, *addr2;
-  char *ip1, *ip2;
+  char *ip1 = NULL, *ip2 = NULL;
 
   int diff = 0;
   
-- 
2.20.1