From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 2 Jun 2012 15:00:53 +0000 (+0200)
Subject: model-checker : initialize pointers (segfault with free)
X-Git-Tag: v3_8~656
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5ff7a0f00eab7d7005451ad66f517ac9c4bfd68a

model-checker : initialize pointers (segfault with free)
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 241baab292..08ee45f0f1 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -91,7 +91,7 @@ int data_program_region_compare(void *d1, void *d2, size_t size){
   int distance = 0;
   int pointer_align;
   int i;
-  char *pointed_address1, *pointed_address2;
+  char *pointed_address1 = NULL, *pointed_address2 = NULL;
   
   for(i=0; i<size; i++){
     if(memcmp(((char *)d1) + i, ((char *)d2) + i, 1) != 0){
@@ -117,7 +117,7 @@ int data_libsimgrid_region_compare(void *d1, void *d2, size_t size){
   int distance = 0;
   int pointer_align;
   int i;
-  char *pointed_address1, *pointed_address2;
+  char *pointed_address1 = NULL, *pointed_address2 = NULL;
   
   for(i=0; i<size; i++){
     if(memcmp(((char *)d1) + i, ((char *)d2) + i, 1) != 0){