From b8fc5d84a6fcf56a745815d784bc10ebbeb6e68a Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 5 Nov 2013 21:52:55 +0100
Subject: [PATCH] Request should not be null here.

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

diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c
index 9151825c05..bdb76547bf 100644
--- a/src/smpi/smpi_replay.c
+++ b/src/smpi/smpi_replay.c
@@ -334,8 +334,9 @@ static void action_wait(const char *const *action){
       "action wait not preceded by any irecv: %s",
       xbt_str_join_array(action," "));
   request = xbt_dynar_pop_as(globals->irecvs,MPI_Request);
+  xbt_assert(request != NULL, "found null request in globals->irecv");
 #ifdef HAVE_TRACING
-  int rank = request && request->comm != MPI_COMM_NULL
+  int rank = request->comm != MPI_COMM_NULL
       ? smpi_comm_rank(request->comm)
       : -1;
 
-- 
2.20.1