From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
Date: Fri, 17 Apr 2015 21:19:43 +0000 (+0000)
Subject: Fix statistics about ctxt_rcec :
X-Git-Tag: svn/VALGRIND_3_11_0~493
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=3041d1036a30e05bffb2c87dc312d20a910eba31;p=thirdparty%2Fvalgrind.git

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 b9c806480f..c6fb0723c0 100644
--- 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 );