From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 8 Jun 2018 09:42:06 +0000 (+0200)
Subject: MPI_Waitany: set completed request to null.
X-Git-Tag: v3.20~134
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b034798c622c83cdd6fc4f068ca6a86771f82014

MPI_Waitany: set completed request to null.
---

diff --git a/src/smpi/bindings/smpi_pmpi_request.cpp b/src/smpi/bindings/smpi_pmpi_request.cpp
index e015c6c44e..2c96d8ba15 100644
--- a/src/smpi/bindings/smpi_pmpi_request.cpp
+++ b/src/smpi/bindings/smpi_pmpi_request.cpp
@@ -684,6 +684,7 @@ int PMPI_Waitany(int count, MPI_Request requests[], int *index, MPI_Status * sta
   if(*index!=MPI_UNDEFINED){
     trace_smpi_recv_helper(&savedreqs[*index], status);
     TRACE_smpi_comm_out(rank_traced);
+    requests[*index] = MPI_REQUEST_NULL;
   }
   
   for(int i=0; i<count; i++)