[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 862d3da..e175c70 100644 (file)
--- 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);
       nsleeps++;
   }
   unref(&request);

+  xbt_assert(request == MPI_REQUEST_NULL);

 }
 
 void Request::finish_wait(MPI_Request* request, MPI_Status * status)
 }
 
 void Request::finish_wait(MPI_Request* request, MPI_Status * status)