[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 3b92c94..aae71fa 100644 (file)
--- 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);
 }