get_libsimgrid_plt_section();
get_binary_plt_section();
+ /* Ignore some variables from xbt/ex.h used by exception e for stacks comparison */
+ MC_ignore_stack("e", "*");
+ MC_ignore_stack("__ex_cleanup", "*");
+ MC_ignore_stack("__ex_mctx_en", "*");
+ MC_ignore_stack("__ex_mctx_me", "*");
+ MC_ignore_stack("_log_ev", "*");
+ MC_ignore_stack("_throw_ctx", "*");
+ MC_ignore_stack("ctx", "*");
+
+
if(raw_mem_set)
MC_SET_RAW_MEM;
MC_UNSET_RAW_MEM;
- if(_surf_mc_stateful > 0)
+ if(_surf_mc_stateful > 0){
MC_init();
+ }else{
+ MC_init_memory_map_info();
+ get_libsimgrid_plt_section();
+ get_binary_plt_section();
+ }
MC_dpor_init();
var->address = address;
var->size = size;
- if(current_var->address > address)
+ if(current_var->address < address)
xbt_dynar_insert_at(mc_data_bss_comparison_ignore, cursor + 1, &var);
else
xbt_dynar_insert_at(mc_data_bss_comparison_ignore, cursor, &var);