Fix statistics about ctxt_rcec :
* the nr of discards was always 0
* the cur nr of values was shown as max
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15105 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/helgrind/libhb_core.c b/helgrind/libhb_core.c
index b9c8064..c6fb072 100644
--- a/helgrind/libhb_core.c
+++ b/helgrind/libhb_core.c
@@ -4738,6 +4738,7 @@
free_RCEC(p);
p = *pp;
tl_assert(stats__ctxt_tab_curr > 0);
+ stats__ctxt_rcdec_discards++;
stats__ctxt_tab_curr--;
} else {
pp = &p->next;
@@ -6293,9 +6294,10 @@
stats__ctxt_rcdec3 );
VG_(printf)( " libhb: ctxt__rcdec: calls %lu, discards %lu\n",
stats__ctxt_rcdec_calls, stats__ctxt_rcdec_discards);
- VG_(printf)( " libhb: contextTab: %lu slots, %lu max ents\n",
+ VG_(printf)( " libhb: contextTab: %lu slots, %lu cur ents,"
+ " %lu max ents\n",
(UWord)N_RCEC_TAB,
- stats__ctxt_tab_curr );
+ stats__ctxt_tab_curr, stats__ctxt_tab_max );
VG_(printf)( " libhb: contextTab: %lu queries, %lu cmps\n",
stats__ctxt_tab_qs,
stats__ctxt_tab_cmps );