|
From: <sv...@va...> - 2012-03-05 22:13:53
|
Author: philippe
Date: 2012-03-05 22:09:20 +0000 (Mon, 05 Mar 2012)
New Revision: 12416
Log:
* Improve documentation of --vgdb=full
* make a reference to --vex-iropt-precise-memory-exns=yes
to obtain up to date registers values.
Modified:
trunk/docs/xml/manual-core-adv.xml
trunk/docs/xml/manual-core.xml
Modified: trunk/docs/xml/manual-core-adv.xml
===================================================================
--- trunk/docs/xml/manual-core-adv.xml 2012-03-03 18:46:05 UTC (rev 12415)
+++ trunk/docs/xml/manual-core-adv.xml 2012-03-05 22:09:20 UTC (rev 12416)
@@ -747,6 +747,16 @@
</listitem>
<listitem>
+ <para>Registers values.</para>
+ <para>When Valgrind gdbserver stops on an error, registers values
+ might not be always up to date due to the optimisations done by
+ the Valgrind core. The
+ option <option>--vex-iropt-precise-memory-exns=yes</option>
+ ensures precise registers values by disabling some optimisations.
+ </para>
+ </listitem>
+
+ <listitem>
<para>Hardware watchpoint support by the Valgrind
gdbserver.</para>
Modified: trunk/docs/xml/manual-core.xml
===================================================================
--- trunk/docs/xml/manual-core.xml 2012-03-03 18:46:05 UTC (rev 12415)
+++ trunk/docs/xml/manual-core.xml 2012-03-05 22:09:20 UTC (rev 12416)
@@ -725,13 +725,15 @@
<option><![CDATA[--vgdb=<no|yes|full> [default: yes] ]]></option>
</term>
<listitem>
+
<para>Valgrind will provide "gdbserver" functionality when
- <option>--vgdb=yes</option>
- or <option>--vgdb=full</option> is specified. This
- allows an external GNU GDB debugger
- to control and debug your program when it runs on Valgrind. See
- <xref linkend="manual-core-adv.gdbserver"/> for a detailed
- description.
+ <option>--vgdb=yes</option> or <option>--vgdb=full</option> is
+ specified. This allows an external GNU GDB debugger to control
+ and debug your program when it runs on Valgrind.
+ <option>--vgdb=full</option> incurs significant performance
+ overheads, but provides more precise breakpoints and
+ watchpoints. See <xref linkend="manual-core-adv.gdbserver"/> for
+ a detailed description.
</para>
<para> If the embedded gdbserver is enabled but no gdb is
@@ -743,9 +745,6 @@
documented in the tool specific chapter.
</para>
- <para><option>--vgdb=full</option> incurs
- significant performance overheads.
- </para>
</listitem>
</varlistentry>
|