diff options
author | Joel Brobecker <brobecker@adacore.com> | 2014-01-04 06:31:11 +0400 |
---|---|---|
committer | Joel Brobecker <brobecker@adacore.com> | 2014-01-07 08:29:04 +0400 |
commit | f30b8b38d48949edc10344089d05015a659f87aa (patch) | |
tree | aa17158e1a84d2dccf72444818c67a38c2267ccb /gdb/aix-thread.c | |
parent | 8e355c5d24da7a92110851de95ead5ccfa089fe9 (diff) | |
download | gdb-f30b8b38d48949edc10344089d05015a659f87aa.zip gdb-f30b8b38d48949edc10344089d05015a659f87aa.tar.gz gdb-f30b8b38d48949edc10344089d05015a659f87aa.tar.bz2 |
varobj/Ada: Missing children for interface-wide tagged types
Consider the following code:
type Element is abstract tagged null record;
type GADataType is interface;
type Data_Type is new Element and GADataType with record
I : Integer := 42;
end record;
Result1 : Data_Type;
GGG1 : GADataType'Class := GADataType'Class (Result1);
When trying to create a varobj for variable ggg1, GDB currently
returns an object which has no child:
-var-create ggg1 * ggg1
^done,name="ggg1",numchild="0",[...]
This is incorrect, it should return an object which has one child
(field "i"). This is because tagged-type objects are dynamic, and
we need to apply a small transformation in order to get their actual
type. This is already done on the GDB/CLI side in ada-valprint,
and it needs to be done on the ada-varobj side as well.
gdb/ChangeLog:
* ada-varobj.c (ada_varobj_adjust_for_child_access): Convert
tagged type objects to their actual type.
gdb/testsuite/ChangeLog:
* gdb.ada/mi_interface: New testcase.
Diffstat (limited to 'gdb/aix-thread.c')
0 files changed, 0 insertions, 0 deletions