[binutils-gdb] Mention virtual tables in Python dynamic_type documentation

[Tom Tromey <tromey at sourceware dot org>]

https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=9da10427ddcfae7313c462f729407e0c7c59e2d8

commit 9da10427ddcfae7313c462f729407e0c7c59e2d8
Author: Tom Tromey <tom@tromey.com>
Date:   Sat Sep 8 13:44:24 2018 -0600

    Mention virtual tables in Python dynamic_type documentation
    
    PR python/16461 asks that the Python dynamic_type documentation
    mention virtual tables; this patch implements that request.
    
    gdb/doc/ChangeLog
    2018-09-10  Tom Tromey  <tom@tromey.com>
    
    	PR python/16461:
    	* python.texi (Values From Inferior): Mention use of virtual
    	table.

Diff:
---
 gdb/doc/ChangeLog   |  6 ++++++
 gdb/doc/python.texi | 16 ++++++++--------
 2 files changed, 14 insertions(+), 8 deletions(-)

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 642bc54..e1a3c86 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,5 +1,11 @@
 2018-09-10  Tom Tromey  <tom@tromey.com>
 
+	PR python/16461:
+	* python.texi (Values From Inferior): Mention use of virtual
+	table.
+
+2018-09-10  Tom Tromey  <tom@tromey.com>
+
 	* python.texi (Basic Python): Parenthesize argument to
 	decode_line.
 
diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi
index 6eccc2b..e310c16 100644
--- a/gdb/doc/python.texi
+++ b/gdb/doc/python.texi
@@ -658,14 +658,14 @@ The type of this @code{gdb.Value}.  The value of this attribute is a
 @end defvar
 
 @defvar Value.dynamic_type
-The dynamic type of this @code{gdb.Value}.  This uses C@t{++} run-time
-type information (@acronym{RTTI}) to determine the dynamic type of the
-value.  If this value is of class type, it will return the class in
-which the value is embedded, if any.  If this value is of pointer or
-reference to a class type, it will compute the dynamic type of the
-referenced object, and return a pointer or reference to that type,
-respectively.  In all other cases, it will return the value's static
-type.
+The dynamic type of this @code{gdb.Value}.  This uses the object's
+virtual table and the C@t{++} run-time type information
+(@acronym{RTTI}) to determine the dynamic type of the value.  If this
+value is of class type, it will return the class in which the value is
+embedded, if any.  If this value is of pointer or reference to a class
+type, it will compute the dynamic type of the referenced object, and
+return a pointer or reference to that type, respectively.  In all
+other cases, it will return the value's static type.
 
 Note that this feature will only work when debugging a C@t{++} program
 that includes @acronym{RTTI} for the object in question.  Otherwise,