model-checker : unused variables deleted

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 117534f..1ad236e 100644 (file)
--- 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;
 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){
   
   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);
 
   
   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;
   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){
   
   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);
   }
   
   fprintf(stderr, "Hamming distance between data libsimgrid regions : %d\n", distance);

-
-  free(pointed_address1);
-  free(pointed_address2);

   
   return distance;
 }
   
   return distance;
 }