Implement gdbsrv "v.info stats" command giving statistics for valgrind core + tools

* addition of VG_(needs_print_stats) in pub_tool_tooliface.h
* use the above in memcheck and helgrind
* output valgrind stats and calls print_stats in server.c



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13760
This commit is contained in:
Philippe Waroquiers
2013-12-15 20:24:43 +00:00
parent 7d40b140ac
commit 492a8ae2a2
9 changed files with 211 additions and 151 deletions

View File

@@ -1435,6 +1435,13 @@ problems or bugs.</para>
</para>
</listitem>
<listitem>
<para><varname>v.info stats</varname> shows various valgrind core and
tool statistics. With this, Valgrind and tool statistics can
be examined while running, even without option <option>--stats=yes</option>.
</para>
</listitem>
<listitem>
<para><varname>v.set debuglog &lt;intvalue&gt;</varname> sets the
Valgrind debug log level to &lt;intvalue&gt;. This allows to