Make some numbers in helgrind stats use , separators, as the numbers can be big

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15294
This commit is contained in:
Philippe Waroquiers 2015-05-26 21:27:36 +00:00
parent 85a86af96d
commit cc8f7a352f

View File

@ -6467,10 +6467,10 @@ void libhb_shutdown ( Bool show_stats )
if (VG_(clo_verbosity) > 1)
VG_(HT_print_stats) (oldrefHT, cmp_oldref_tsw);
VG_(printf)( " libhb: oldref bind tsw/rcec "
"==/==:%lu ==/!=:%lu !=/!=:%lu\n",
"==/==:%'lu ==/!=:%'lu !=/!=:%'lu\n",
stats__ctxt_eq_tsw_eq_rcec, stats__ctxt_eq_tsw_neq_rcec,
stats__ctxt_neq_tsw_neq_rcec);
VG_(printf)( " libhb: ctxt__rcdec calls %lu. rcec gc discards %lu\n",
VG_(printf)( " libhb: ctxt__rcdec calls %'lu. rcec gc discards %'lu\n",
stats__ctxt_rcdec_calls, stats__ctxt_rcec_gc_discards);
VG_(printf)( " libhb: contextTab: %lu slots,"
" %lu cur ents(ref'd %lu),"