void tag_check(void) { single_check(); extend_checks(); contract_checks(); printf("after extend_checks: %d allocated\n", nr_allocated); __leak_check(); leak_check(); printf("after leak_check: %d allocated\n", nr_allocated); simple_checks(); printf("after simple_checks: %d allocated\n", nr_allocated); thrash_tags(); printf("after thrash_tags: %d allocated\n", nr_allocated); }
void MAC_(common_fini)(void (*leak_check)(void)) { MAC_(print_malloc_stats)(); if (VG_(clo_verbosity) == 1) { if (!MAC_(clo_leak_check)) VG_(message)(Vg_UserMsg, "For a detailed leak analysis, rerun with: --leak-check=yes"); VG_(message)(Vg_UserMsg, "For counts of detected errors, rerun with: -v"); } if (MAC_(clo_leak_check)) leak_check(); done_prof_mem(); }