These free's are buggy.

AFAICT, it's the responsibility of smpi_mpi_waitall to free the
requests.

diff --git a/src/smpi/smpi_coll.c b/src/smpi/smpi_coll.c
index 1c05340..7798de8 100644 (file)
--- a/src/smpi/smpi_coll.c
+++ b/src/smpi/smpi_coll.c
@@ -118,9 +118,6 @@ static void tree_bcast(void *buf, int count, MPI_Datatype datatype,
   }
   smpi_mpi_startall(tree->numChildren, requests);
   smpi_mpi_waitall(tree->numChildren, requests, MPI_STATUS_IGNORE);
-  for (i = 0; i < tree->numChildren; i++){
-    xbt_free (requests[i]);
-  }
   xbt_free(requests);
 }
 
@@ -159,9 +156,6 @@ static void tree_antibcast(void *buf, int count, MPI_Datatype datatype,
   }
   smpi_mpi_startall(tree->numChildren, requests);
   smpi_mpi_waitall(tree->numChildren, requests, MPI_STATUS_IGNORE);
-  for (i = 0; i < tree->numChildren; i++){
-    xbt_free (requests[i]);
-  }
   xbt_free(requests);
 }