gdb/ 2014-11-25 Jan Kratochvil Fix internal error on stubs of dynamic types. * gdbtypes.c (resolve_dynamic_type_internal): Apply check_typedef to TYPE if not TYPE_CODE_TYPEDEF. gdb/testsuite/ 2014-11-25 Jan Kratochvil Fix internal error on stubs of dynamic types. * gdb.base/vla-stub-define.c: New file. * gdb.base/vla-stub.c: New file. * gdb.base/vla-stub.exp: New file. diff --git a/gdb/gdbtypes.c b/gdb/gdbtypes.c index 61d259d..aa76604 100644 --- a/gdb/gdbtypes.c +++ b/gdb/gdbtypes.c @@ -1875,41 +1875,48 @@ resolve_dynamic_type_internal (struct type *type, CORE_ADDR addr, if (!is_dynamic_type_internal (real_type, top_level)) return type; - switch (TYPE_CODE (type)) + if (TYPE_CODE (type) == TYPE_CODE_TYPEDEF) { - case TYPE_CODE_TYPEDEF: resolved_type = copy_type (type); TYPE_TARGET_TYPE (resolved_type) = resolve_dynamic_type_internal (TYPE_TARGET_TYPE (type), addr, top_level); - break; + } + else + { + /* Typedefs do not need to be preserved here but we need + to resolve any possible stub types. */ + type = real_type; - case TYPE_CODE_REF: - { - CORE_ADDR target_addr = read_memory_typed_address (addr, type); + switch (TYPE_CODE (type)) + { + case TYPE_CODE_REF: + { + CORE_ADDR target_addr = read_memory_typed_address (addr, type); - resolved_type = copy_type (type); - TYPE_TARGET_TYPE (resolved_type) - = resolve_dynamic_type_internal (TYPE_TARGET_TYPE (type), - target_addr, top_level); - break; - } + resolved_type = copy_type (type); + TYPE_TARGET_TYPE (resolved_type) + = resolve_dynamic_type_internal (TYPE_TARGET_TYPE (type), + target_addr, top_level); + break; + } - case TYPE_CODE_ARRAY: - resolved_type = resolve_dynamic_array (type, addr); - break; + case TYPE_CODE_ARRAY: + resolved_type = resolve_dynamic_array (type, addr); + break; - case TYPE_CODE_RANGE: - resolved_type = resolve_dynamic_range (type, addr); - break; + case TYPE_CODE_RANGE: + resolved_type = resolve_dynamic_range (type, addr); + break; - case TYPE_CODE_UNION: - resolved_type = resolve_dynamic_union (type, addr); - break; + case TYPE_CODE_UNION: + resolved_type = resolve_dynamic_union (type, addr); + break; - case TYPE_CODE_STRUCT: - resolved_type = resolve_dynamic_struct (type, addr); - break; + case TYPE_CODE_STRUCT: + resolved_type = resolve_dynamic_struct (type, addr); + break; + } } /* Resolve data_location attribute. */ diff --git a/gdb/testsuite/gdb.base/vla-stub-define.c b/gdb/testsuite/gdb.base/vla-stub-define.c new file mode 100644 index 0000000..7445a4f --- /dev/null +++ b/gdb/testsuite/gdb.base/vla-stub-define.c @@ -0,0 +1,21 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2014 Free Software Foundation, Inc. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +struct dynamic_struct +{ + int dynamic_field[0]; +} use_dynamic_struct; diff --git a/gdb/testsuite/gdb.base/vla-stub.c b/gdb/testsuite/gdb.base/vla-stub.c new file mode 100644 index 0000000..b7ccf041 --- /dev/null +++ b/gdb/testsuite/gdb.base/vla-stub.c @@ -0,0 +1,37 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2014 Free Software Foundation, Inc. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +struct dynamic_struct; +typedef struct dynamic_struct dynamic_struct_t; + +struct static_struct +{ + int field; +}; +typedef struct static_struct static_struct_t; + +struct local_struct +{ + static_struct_t here; + dynamic_struct_t *ptr; +} local_struct; + +int +main (void) +{ + return 0; +} diff --git a/gdb/testsuite/gdb.base/vla-stub.exp b/gdb/testsuite/gdb.base/vla-stub.exp new file mode 100644 index 0000000..f8c9a91 --- /dev/null +++ b/gdb/testsuite/gdb.base/vla-stub.exp @@ -0,0 +1,25 @@ +# Copyright 2014 Free Software Foundation, Inc. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +standard_testfile .c vla-stub-define.c +if { [prepare_for_testing "failed to prepare for vla-stub.exp" \ + ${testfile} [list ${srcfile} ${srcfile2}]] } { + return -1 +} + +gdb_test "p *local_struct.ptr" { = {dynamic_field = 0x0}} + +gdb_test "whatis local_struct.here" "type = static_struct_t" +gdb_test "whatis *local_struct.ptr" "type = dynamic_struct_t"