MatCat.OpenSource/8sa1-binutils-gdb
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Expand dynamic type documentation

Browse Source 
This expands the Python dynamic type documentation, as suggested by
Christian.

gdb/doc/ChangeLog
2020-04-27  Tom Tromey  <tromey@adacore.com>

	* python.texi (Types In Python): Mention missing fields.  Add
	dynamic type example.
This commit is contained in:
Tom Tromey 2020-04-27 08:23:53 -06:00
parent ff8885c3be
commit 45fc7c9968
2 changed files with 25 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gdb/doc/ChangeLog
View File

@ -1,3 +1,8 @@
2020-04-27 Tom Tromey <tromey@adacore.com>
* python.texi (Types In Python): Mention missing fields. Add
dynamic type example.
2020-04-24 Tom Tromey <tromey@adacore.com> 2020-04-24 Tom Tromey <tromey@adacore.com>
PR python/23662: PR python/23662:

22
gdb/doc/python.texi
View File

@ -1071,7 +1071,24 @@ The type code for this type. The type code will be one of the
@defvar Type.dynamic @defvar Type.dynamic
A boolean indicating whether this type is dynamic. In some A boolean indicating whether this type is dynamic. In some
situations, such as Rust @code{enum} types or Ada variant records, the situations, such as Rust @code{enum} types or Ada variant records, the
concrete type of a value may vary depending on its contents. concrete type of a value may vary depending on its contents. That is,
the declared type of a variable, or the type returned by
@code{gdb.lookup_type} may be dynamic; while the type of the
variable's value will be a concrete instance of that dynamic type.
For example, consider this code:
@smallexample
int n;
int array[n];
@end smallexample
Here, at least conceptually (whether your compiler actually does this
is a separate issue), examining @w{@code{gdb.lookup_symbol("array", ...).type}}
could yield a @code{gdb.Type} which reports a size of @code{None}.
This is the dynamic type.
However, examining @code{gdb.parse_and_eval("array").type} would yield
a concrete type, whose length would be known.
@end defvar @end defvar
@defvar Type.name @defvar Type.name
@ -1116,7 +1133,8 @@ This attribute is not available for @code{enum} or @code{static}
(as in C@t{++}) fields. The value is the position, counting (as in C@t{++}) fields. The value is the position, counting
in bits, from the start of the containing type. Note that, in a in bits, from the start of the containing type. Note that, in a
dynamic type, the position of a field may not be constant. In this dynamic type, the position of a field may not be constant. In this
case, the value will be @code{None}. case, the value will be @code{None}. Also, a dynamic type may have
fields that do not appear in a corresponding concrete type.
@item enumval @item enumval
This attribute is only available for @code{enum} fields, and its value This attribute is only available for @code{enum} fields, and its value