It's ok to pass NULL to xbt_free.

diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c
index e8f0ada..9151825 100644 (file)
--- a/src/smpi/smpi_replay.c
+++ b/src/smpi/smpi_replay.c
@@ -721,7 +721,7 @@ smpi_mpi_gatherv(send, send_size, MPI_CURRENT_TYPE,
   log_timed_action (action, clock);
   xbt_free(recvcounts);
   xbt_free(send);
   log_timed_action (action, clock);
   xbt_free(recvcounts);
   xbt_free(send);

-  if(recv)xbt_free(recv);
+  xbt_free(recv);

   xbt_free(disps);
 
 }
   xbt_free(disps);
 
 }