don't push null request back in the dynar

diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c
index a8ffb17..685f7f3 100644 (file)
--- a/src/smpi/smpi_replay.c
+++ b/src/smpi/smpi_replay.c
@@ -364,6 +364,7 @@ static void action_test(const char *const *action){
   /* push back request in dynar to be caught by a subsequent wait. if the test
    * did succeed, the request is now NULL.
    */
+   if(request)
   xbt_dynar_push_as(reqq[smpi_process_index()],MPI_Request, request);
 
 #ifdef HAVE_TRACING