- mmalloc_set_current_heap(std_heap);
-
- if (_sg_mc_visited > 0 || _sg_mc_liveness || _sg_mc_termination || mc_mode == MC_MODE_SERVER) {
- /* Ignore some variables from xbt/ex.h used by exception e for stacks comparison */
- MC_ignore_local_variable("e", "*");
- MC_ignore_local_variable("__ex_cleanup", "*");
- MC_ignore_local_variable("__ex_mctx_en", "*");
- MC_ignore_local_variable("__ex_mctx_me", "*");
- MC_ignore_local_variable("__xbt_ex_ctx_ptr", "*");
- MC_ignore_local_variable("_log_ev", "*");
- MC_ignore_local_variable("_throw_ctx", "*");
- MC_ignore_local_variable("ctx", "*");
-
- MC_ignore_local_variable("self", "simcall_BODY_mc_snapshot");
- MC_ignore_local_variable("next_cont"
- "ext", "smx_ctx_sysv_suspend_serial");
- MC_ignore_local_variable("i", "smx_ctx_sysv_suspend_serial");
-
- /* Ignore local variable about time used for tracing */
- MC_ignore_local_variable("start_time", "*");
-
- /* Main MC state: */
- MCer_ignore_global_variable("mc_model_checker");
- MCer_ignore_global_variable("initial_communications_pattern");
- MCer_ignore_global_variable("incomplete_communications_pattern");
- MCer_ignore_global_variable("nb_comm_pattern");
-
- /* MC __thread variables: */
- MCer_ignore_global_variable("mc_diff_info");
- MCer_ignore_global_variable("mc_comp_times");
- MCer_ignore_global_variable("mc_snapshot_comparison_time");
-
- /* This MC state is used in MC replay as well: */
- MCer_ignore_global_variable("mc_time");
-
- /* Static variable used for tracing */
- MCer_ignore_global_variable("counter");
-
- /* SIMIX */
- MCer_ignore_global_variable("smx_total_comms");
-
- if (mc_mode == MC_MODE_CLIENT) {
- /* Those requests are handled on the client side and propagated by message
- * to the server: */
-
- MC_ignore_heap(mc_time, MC_smx_get_maxpid() * sizeof(double));
-
- smx_process_t process;
- xbt_swag_foreach(process, simix_global->process_list) {
- MC_ignore_heap(&(process->process_hookup), sizeof(process->process_hookup));
- }
- }
-
- }
-
- mmalloc_set_current_heap(heap);
+ /* Ignore some variables from xbt/ex.h used by exception e for stacks comparison */
+ MC_ignore_local_variable("e", "*");
+ MC_ignore_local_variable("__ex_cleanup", "*");
+ MC_ignore_local_variable("__ex_mctx_en", "*");
+ MC_ignore_local_variable("__ex_mctx_me", "*");
+ MC_ignore_local_variable("__xbt_ex_ctx_ptr", "*");
+ MC_ignore_local_variable("_log_ev", "*");
+ MC_ignore_local_variable("_throw_ctx", "*");
+ MC_ignore_local_variable("ctx", "*");
+
+ MC_ignore_local_variable("self", "simcall_BODY_mc_snapshot");
+ MC_ignore_local_variable("next_cont"
+ "ext", "smx_ctx_sysv_suspend_serial");
+ MC_ignore_local_variable("i", "smx_ctx_sysv_suspend_serial");
+
+ /* Ignore local variable about time used for tracing */
+ MC_ignore_local_variable("start_time", "*");
+
+ /* Static variable used for tracing */
+ MCer_ignore_global_variable("counter");
+
+ /* SIMIX */
+ MCer_ignore_global_variable("smx_total_comms");