From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 4 Oct 2013 09:47:09 +0000 (+0200)
Subject: model-checker : dangling pointer set to NULL
X-Git-Tag: v3_9_90~40^2~21
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d969dee04ed9f3f9b8a116a7bcce2597ec0e09f6?ds=sidebyside

model-checker : dangling pointer set to NULL
---

diff --git a/src/smpi/smpi_base.c b/src/smpi/smpi_base.c
index e973e7543d..e1d0252937 100644
--- a/src/smpi/smpi_base.c
+++ b/src/smpi/smpi_base.c
@@ -755,6 +755,12 @@ void smpi_mpi_wait(MPI_Request * request, MPI_Status * status)
   if ((*request)->action != NULL) { // this is not a detached send
     simcall_comm_wait((*request)->action, -1.0);
   }
+
+#ifdef HAVE_MC
+  if(MC_is_active())
+    (*request)->action->comm.dst_data = NULL; // dangling pointer : dst_data is freed with a wait, need to set it to NULL for system state comparison
+#endif
+
   finish_wait(request, status);
   request=MPI_REQUEST_NULL;
   // FIXME for a detached send, finish_wait is not called: