From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 13 Jun 2012 09:43:50 +0000 (+0200)
Subject: model-checker : unused variables deleted
X-Git-Tag: v3_8~629^2~8
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e39bbd6388a46a93cf74fe1562e2015060071c24

model-checker : unused variables deleted
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 117534f425..1ad236eabb 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -36,7 +36,6 @@ unsigned int hash_region(char *str, int str_len){
 int data_program_region_compare(void *d1, void *d2, size_t size){
   int distance = 0;
   int i;
-  char *pointed_address1 = NULL, *pointed_address2 = NULL;
   
   for(i=0; i<size; i++){
     if(memcmp(((char *)d1) + i, ((char *)d2) + i, 1) != 0){
@@ -47,16 +46,12 @@ int data_program_region_compare(void *d1, void *d2, size_t size){
   
   fprintf(stderr, "Hamming distance between data program regions : %d\n", distance);
 
-  free(pointed_address1);
-  free(pointed_address2);
-
   return distance;
 }
 
 int data_libsimgrid_region_compare(void *d1, void *d2, size_t size){
   int distance = 0;
   int i;
-  char *pointed_address1 = NULL, *pointed_address2 = NULL;
   
   for(i=0; i<size; i++){
     if(memcmp(((char *)d1) + i, ((char *)d2) + i, 1) != 0){
@@ -66,9 +61,6 @@ int data_libsimgrid_region_compare(void *d1, void *d2, size_t size){
   }
   
   fprintf(stderr, "Hamming distance between data libsimgrid regions : %d\n", distance);
-
-  free(pointed_address1);
-  free(pointed_address2);
   
   return distance;
 }