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

diff --git a/helgrind/libhb_core.c b/helgrind/libhb_core.c
index b9c806480fe2d3ad31bbf7f4497f7153ceeb31c9..c6fb0723c08e7ee712a04cb0c535b25fc9ac2298 100644 (file)
--- a/helgrind/libhb_core.c
+++ b/helgrind/libhb_core.c
@@ -4738,6 +4738,7 @@ static void event_map_GC ( void )
             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 @@ void libhb_shutdown ( Bool show_stats )
                    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 );