From fee84a45ba55bf82a59ad13e4ea29dbff83a0f79 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 8 Nov 2019 10:51:57 +0100
Subject: [PATCH] No, scan-build, there is no memory leak here.

---
 src/smpi/mpi/smpi_comm.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smpi/mpi/smpi_comm.cpp b/src/smpi/mpi/smpi_comm.cpp
index e8e893fe10..be9d0fa425 100644
--- 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{
+    xbt_assert(res->refcount_ == 1); // ensure the next call to Comm::destroy really frees the comm
     Comm::destroy(res);
     return MPI_COMM_NULL;
   }
-- 
2.20.1