From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 7 Nov 2012 15:59:02 +0000 (+0100)
Subject: model-checker : initialize variables (compilation error with optimizations)
X-Git-Tag: v3_9_rc1~91^2~126^2~15
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/97697743eca3a39982ea5d42539aa53f8acdaebb

model-checker : initialize variables (compilation error with optimizations)
---

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;