From 87116782db3154fb79cd353db446bd226cf15976 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 10 Nov 2015 10:26:22 +0100
Subject: [PATCH] [mc] Remove MC code in sigsegvhandler

We do not have mc_stack in the model-checked process.
---
 src/simix/smx_global.c | 8 --------
 1 file changed, 8 deletions(-)

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);
 }
 
-- 
2.20.1