[Valgrind-developers] valgrind: r12416 - trunk/docs/xml

[<sv...@va...>]

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>