Add stats in helgrind for oldref history found versus not found
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15283 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/helgrind/libhb_core.c b/helgrind/libhb_core.c
index d507394..7fbca3a 100644
--- a/helgrind/libhb_core.c
+++ b/helgrind/libhb_core.c
@@ -4226,6 +4226,8 @@
it's not straightforward to do.
*/
+static UWord stats__evm__lookup_found = 0;
+static UWord stats__evm__lookup_notfound = 0;
static UWord stats__ctxt_rcdec1 = 0;
static UWord stats__ctxt_rcdec2 = 0;
@@ -4800,6 +4802,7 @@
*resSzB = cand_szB;
*resIsW = cand_isW;
*locksHeldW = cand_locksHeldW;
+ stats__evm__lookup_found++;
return True;
}
@@ -4807,6 +4810,7 @@
} /* for (j = 0; j < nToCheck; j++) */
/* really didn't find anything. */
+ stats__evm__lookup_notfound++;
return False;
}
@@ -6525,6 +6529,8 @@
for (i = 0; i <= N_OLDREF_ACCS; i++)
VG_(printf)( "accs[%d]=%lu ", i, OldRef_accs_n[i]);
VG_(printf)( ")\n");
+ VG_(printf)( " libhb: oldref lookup found=%lu notfound=%lu\n",
+ stats__evm__lookup_found, stats__evm__lookup_notfound);
}
VG_(printf)( " libhb: ctxt__rcdec: 1=%lu(%lu eq), 2=%lu, 3=%lu\n",
stats__ctxt_rcdec1, stats__ctxt_rcdec1_eq,