From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 31 Oct 2013 20:36:49 +0000 (+0100)
Subject: It's ok to pass NULL to xbt_free.
X-Git-Tag: v3_10_rc1~25
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b2bb0172d45aeb7a2e873ce982e6174279772b91?ds=inline

It's ok to pass NULL to xbt_free.
---

diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c
index e8f0ada9ad..9151825c05 100644
--- 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);
-  if(recv)xbt_free(recv);
+  xbt_free(recv);
   xbt_free(disps);
 
 }