From fd48ba1bffbea870e893a356438ad6a8df237c57 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 29 Mar 2019 11:11:08 +0100
Subject: [PATCH] [scan-build] Assert that there is no memory leak here.

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

diff --git a/src/smpi/mpi/smpi_request.cpp b/src/smpi/mpi/smpi_request.cpp
index 862d3da275..e175c70291 100644
--- a/src/smpi/mpi/smpi_request.cpp
+++ b/src/smpi/mpi/smpi_request.cpp
@@ -782,6 +782,7 @@ void Request::iprobe(int source, int tag, MPI_Comm comm, int* flag, MPI_Status*
       nsleeps++;
   }
   unref(&request);
+  xbt_assert(request == MPI_REQUEST_NULL);
 }
 
 void Request::finish_wait(MPI_Request* request, MPI_Status * status)
-- 
2.20.1