X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/de2ba1766285962d449105925be099707e0102e6..c73aeef05e1a3702e23296f6ff6690d6d408543b:/src/include/mc/datatypes.h diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h index d21613cbef..656541b87a 100644 --- a/src/include/mc/datatypes.h +++ b/src/include/mc/datatypes.h @@ -40,6 +40,7 @@ typedef struct s_stack_region{ char *process_name; void *context; size_t size; + int block; }s_stack_region_t, *stack_region_t; typedef struct s_heap_equality{ @@ -50,5 +51,12 @@ typedef struct s_heap_equality{ void heap_equality_free_voidp(void *e); void stack_region_free_voidp(void *s); +void heap_ignore_region_free(mc_heap_ignore_region_t r); +void heap_ignore_region_free_voidp(void *r); +void data_bss_ignore_variable_free(mc_data_bss_ignore_variable_t v); +void data_bss_ignore_variable_free_voidp(void *v); +void stack_ignore_variable_free(mc_stack_ignore_variable_t v); +void stack_ignore_variable_free_voidp(void *v); + SG_END_DECL() #endif /* _MC_MC_H */