Request should not be null here.

[simgrid.git] / src / smpi / smpi_replay.c

diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c
index e8f0ada..bdb7654 100644 (file)
--- 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;
 
@@ -721,7 +722,7 @@ smpi_mpi_gatherv(send, send_size, MPI_CURRENT_TYPE,
   log_timed_action (action, clock);
   xbt_free(recvcounts);
   xbt_free(send);
-  if(recv)xbt_free(recv);
+  xbt_free(recv);
   xbt_free(disps);
 
 }