No, scan-build, there is no memory leak here.

diff --git a/src/smpi/mpi/smpi_comm.cpp b/src/smpi/mpi/smpi_comm.cpp
index e8e893f..be9d0fa 100644 (file)
--- a/src/smpi/mpi/smpi_comm.cpp
+++ b/src/smpi/mpi/smpi_comm.cpp
@@ -571,6 +571,7 @@ MPI_Comm Comm::split_type(int type, int /*key*/, MPI_Info)
   if(type != MPI_UNDEFINED)
     return res;
   else{
   if(type != MPI_UNDEFINED)
     return res;
   else{

+    xbt_assert(res->refcount_ == 1); // ensure the next call to Comm::destroy really frees the comm

     Comm::destroy(res);
     return MPI_COMM_NULL;
   }
     Comm::destroy(res);
     return MPI_COMM_NULL;
   }