diff --git a/helgrind/hg_main.c b/helgrind/hg_main.c index f9917eadc..e1e7b8778 100644 --- a/helgrind/hg_main.c +++ b/helgrind/hg_main.c @@ -5359,6 +5359,9 @@ static void hg_print_stats (void) HG_(stats__LockN_to_P_queries), HG_(stats__LockN_to_P_get_map_size)() ); + VG_(printf)("client malloc-ed blocks: %'8d\n", + VG_(HT_count_nodes)(hg_mallocmeta_table)); + VG_(printf)("string table map: %'8llu queries (%llu map size)\n", HG_(stats__string_table_queries), HG_(stats__string_table_get_map_size)() ); diff --git a/helgrind/libhb_core.c b/helgrind/libhb_core.c index a187e28fd..dca8774af 100644 --- a/helgrind/libhb_core.c +++ b/helgrind/libhb_core.c @@ -6120,6 +6120,33 @@ void libhb_shutdown ( Bool show_stats ) } VG_(printf)("%s","\n"); + { + UWord OldRef_accs_n[N_OLDREF_ACCS+1]; + UInt accs_n; + UWord OldRef_n; + UInt i; + + OldRef_n = 0; + for (i = 0; i <= N_OLDREF_ACCS; i++) + OldRef_accs_n[i] = 0; + + for (OldRef* o = mru.prev; o != &lru; o = o->prev) { + OldRef_n++; + accs_n = 0; + for (i = 0; i < N_OLDREF_ACCS; i++) { + if (o->accs[i].thrid != 0) + accs_n++; + } + OldRef_accs_n[accs_n]++; + } + + tl_assert(OldRef_n == oldrefTreeN); + VG_(printf)( " libhb: oldrefTreeN %lu ", oldrefTreeN); + VG_(printf)( "( "); + for (i = 0; i <= N_OLDREF_ACCS; i++) + VG_(printf)( "accs[%d]=%lu ", i, OldRef_accs_n[i]); + VG_(printf)( ")\n"); + } VG_(printf)( " libhb: ctxt__rcdec: 1=%lu(%lu eq), 2=%lu, 3=%lu\n", stats__ctxt_rcdec1, stats__ctxt_rcdec1_eq, stats__ctxt_rcdec2,