do not free the group when freeing the comm, there is a separate function for that...

diff --git a/src/smpi/smpi_comm.c b/src/smpi/smpi_comm.c
index c189c4d..d49b858 100644 (file)
--- a/src/smpi/smpi_comm.c
+++ b/src/smpi/smpi_comm.c
@@ -48,7 +48,6 @@ MPI_Comm smpi_comm_new(MPI_Group group)
 
 void smpi_comm_destroy(MPI_Comm comm)
 {
-  smpi_group_destroy(comm->group);
   xbt_free(comm);
 }
 

diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index ef8b782..8c02fb4 100644 (file)
--- a/src/smpi/smpi_global.c
+++ b/src/smpi/smpi_global.c
@@ -263,6 +263,7 @@ void smpi_global_destroy(void)
   int i;
 
   smpi_bench_destroy();
+  smpi_group_destroy(smpi_comm_group(MPI_COMM_WORLD));
   smpi_comm_destroy(MPI_COMM_WORLD);
   MPI_COMM_WORLD = MPI_COMM_NULL;
   for (i = 0; i < count; i++) {