From 8aa32688d42df9a93a261c7f88e87bcf040eccb7 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 4 Oct 2013 22:31:08 +0200
Subject: [PATCH] Reset requests to MPI_REQUEST_NULL.

---
 src/smpi/smpi_base.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smpi/smpi_base.c b/src/smpi/smpi_base.c
index 6e4f684be4..0059f76e76 100644
--- a/src/smpi/smpi_base.c
+++ b/src/smpi/smpi_base.c
@@ -652,6 +652,7 @@ int smpi_mpi_testany(int count, MPI_Request requests[], int *index,
     if(i != -1) {
       *index = map[i];
       finish_wait(&requests[*index], status);
+      requests[*index] = MPI_REQUEST_NULL;
       flag = 1;
     }
   }else{
@@ -803,6 +804,7 @@ int smpi_mpi_waitany(int count, MPI_Request requests[],
       if (i != -1) {
         index = map[i];
         finish_wait(&requests[index], status);
+        requests[index] = MPI_REQUEST_NULL;
       }
     }
     xbt_free(map);
-- 
2.20.1