* Improve documentation of --vgdb=full

* make a reference to --vex-iropt-precise-memory-exns=yes
  to obtain up to date registers values.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12416

diff --git a/docs/xml/manual-core-adv.xml b/docs/xml/manual-core-adv.xml
index 97ded71a57261b01c40c24d17927f5b82b15ba9c..526351b8f41d856adb7a1530effca13d5be34d5e 100644 (file)
--- a/docs/xml/manual-core-adv.xml
+++ b/docs/xml/manual-core-adv.xml
@@ -746,6 +746,16 @@ are however some limitations and peculiarities:</para>
      </para>
    </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>

diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml
index 07488a47c32b8695437b31c126d1e32836895b78..1927fb991b4bc1e660e90dfdef0696cfb3ec971f 100644 (file)
--- a/docs/xml/manual-core.xml
+++ b/docs/xml/manual-core.xml
@@ -725,13 +725,15 @@ in most cases.  We group the available options by rough categories.</para>
       <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 @@ in most cases.  We group the available options by rough categories.</para>
       documented in the tool specific chapter.
       </para>
 
-      <para><option>--vgdb=full</option> incurs
-      significant performance overheads.
-      </para>
     </listitem>
   </varlistentry>