From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 10 Nov 2015 09:26:22 +0000 (+0100)
Subject: [mc] Remove MC code in sigsegvhandler
X-Git-Tag: v3_13~1582^2~11
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/87116782db3154fb79cd353db446bd226cf15976

[mc] Remove MC code in sigsegvhandler

We do not have mc_stack in the model-checked process.
---

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 3b92c94667..aae71fa0c9 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -88,14 +88,6 @@ static void _XBT_CALL segvhandler(int signum, siginfo_t *siginfo, void *context)
     }
 #endif
   }
-#ifdef HAVE_MC
-  if (MC_is_active()) {
-    if (mc_stack) {
-      MC_dump_stack_safety(mc_stack);
-    }
-    MC_print_statistics(mc_stats);
-  }
-#endif
   raise(signum);
 }