From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 29 Mar 2019 10:11:08 +0000 (+0100)
Subject: [scan-build] Assert that there is no memory leak here.
X-Git-Tag: v3.22.2~189
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fd48ba1bffbea870e893a356438ad6a8df237c57?ds=sidebyside

[scan-build] Assert that there is no memory leak here.
---

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)