From: Tom de Vries Date: Wed, 20 May 2020 09:48:39 +0000 (+0200) Subject: [gdb/symtab] Handle .gdb_index in ada language mode X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a0bacfb08eb87938919023915ecc0ca2ba21223;p=binutils-gdb.git [gdb/symtab] Handle .gdb_index in ada language mode When running test-case gdb.base/with.exp with target board cc-with-gdb-index, we have: ... (gdb) PASS: gdb.base/with.exp: basics: show language with language ada -- print g_s^M 'g_s' has unknown type; cast it to its declared type^M (gdb) FAIL: gdb.base/with.exp: basics: with language ada -- print g_s ... This is due to this bit in dw2_map_matching_symbols: ... if (dwarf2_per_objfile->index_table != nullptr) { /* Ada currently doesn't support .gdb_index (see PR24713). We can get here though if the current language is Ada for a non-Ada objfile using GNU index. As Ada does not look for non-Ada symbols this function should just return. */ return; } ... While the reasoning in the comment may be sound from language perspective, it does introduce an inconsistency in gdb behaviour between: - having a .gdb_index section, and - having a .gdb_names section, or a partial symtab, or -readnow. Fix the inconsistency by completing implementation of dw2_map_matching_symbols. Tested on x86_64-linux, both with native and target board cc-with-debug-index. gdb/ChangeLog: 2020-05-20 Tom de Vries PR symtab/25833 * dwarf2/read.c (dw2_map_matching_symbols): Handle .gdb_index. gdb/testsuite/ChangeLog: 2020-05-20 Tom de Vries PR symtab/25833 * gdb.base/with-mf-inc.c: New test. * gdb.base/with-mf-main.c: New test. * gdb.base/with-mf.exp: New file. --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 85a016bd6b7..6a7cbf38c01 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2020-05-20 Tom de Vries + + PR symtab/25833 + * dwarf2/read.c (dw2_map_matching_symbols): Handle .gdb_index. + 2020-05-20 Alan Modra PR 25993 diff --git a/gdb/dwarf2/read.c b/gdb/dwarf2/read.c index 2ab7c5c3313..ded71f53b59 100644 --- a/gdb/dwarf2/read.c +++ b/gdb/dwarf2/read.c @@ -3649,6 +3649,20 @@ dw2_expand_symtabs_with_fullname (struct objfile *objfile, } } +static void +dw2_expand_symtabs_matching_symbol + (mapped_index_base &index, + const lookup_name_info &lookup_name_in, + gdb::function_view symbol_matcher, + enum search_domain kind, + gdb::function_view match_callback); + +static void +dw2_expand_symtabs_matching_one + (struct dwarf2_per_cu_data *per_cu, + gdb::function_view file_matcher, + gdb::function_view expansion_notify); + static void dw2_map_matching_symbols (struct objfile *objfile, @@ -3661,19 +3675,41 @@ dw2_map_matching_symbols struct dwarf2_per_objfile *dwarf2_per_objfile = get_dwarf2_per_objfile (objfile); + const block_enum block_kind = global ? GLOBAL_BLOCK : STATIC_BLOCK; + if (dwarf2_per_objfile->index_table != nullptr) { /* Ada currently doesn't support .gdb_index (see PR24713). We can get here though if the current language is Ada for a non-Ada objfile - using GNU index. As Ada does not look for non-Ada symbols this - function should just return. */ - return; - } + using GNU index. */ + mapped_index &index = *dwarf2_per_objfile->index_table; + + const char *match_name = name.ada ().lookup_name ().c_str (); + auto matcher = [&] (const char *symname) + { + if (ordered_compare == nullptr) + return true; + return ordered_compare (symname, match_name) == 0; + }; + + dw2_expand_symtabs_matching_symbol (index, name, matcher, ALL_DOMAIN, + [&] (offset_type namei) + { + struct dw2_symtab_iterator iter; + struct dwarf2_per_cu_data *per_cu; - /* We have -readnow: no .gdb_index, but no partial symtabs either. So, - inline psym_map_matching_symbols here, assuming all partial symtabs have - been read in. */ - const int block_kind = global ? GLOBAL_BLOCK : STATIC_BLOCK; + dw2_symtab_iter_init (&iter, dwarf2_per_objfile, block_kind, domain, + match_name); + while ((per_cu = dw2_symtab_iter_next (&iter)) != NULL) + dw2_expand_symtabs_matching_one (per_cu, nullptr, nullptr); + return true; + }); + } + else + { + /* We have -readnow: no .gdb_index, but no partial symtabs either. So, + proceed assuming all symtabs have been read in. */ + } for (compunit_symtab *cust : objfile->compunits ()) { diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 932c3801437..cb038b104c4 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2020-05-20 Tom de Vries + + PR symtab/25833 + * gdb.base/with-mf-inc.c: New test. + * gdb.base/with-mf-main.c: New test. + * gdb.base/with-mf.exp: New file. + 2020-05-19 Tom Tromey * gdb.rust/simple.exp: Restore missing test result. diff --git a/gdb/testsuite/gdb.base/with-mf-inc.c b/gdb/testsuite/gdb.base/with-mf-inc.c new file mode 100644 index 00000000000..491be7fba24 --- /dev/null +++ b/gdb/testsuite/gdb.base/with-mf-inc.c @@ -0,0 +1,35 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2020 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 . */ + +/* Non-main part of with.c. */ + +int xxx1 = 123; + +struct S +{ + int a; + int b; + int c; +}; + +struct S g_s = {1, 2, 3}; + +void +inc () +{ + g_s.a++;; +} diff --git a/gdb/testsuite/gdb.base/with-mf-main.c b/gdb/testsuite/gdb.base/with-mf-main.c new file mode 100644 index 00000000000..b50d98f2f29 --- /dev/null +++ b/gdb/testsuite/gdb.base/with-mf-main.c @@ -0,0 +1,28 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2020 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 . */ + +/* Main part of with.c. */ + +extern void inc (void); + +int +main () +{ + inc (); + + return 0; +} diff --git a/gdb/testsuite/gdb.base/with-mf.exp b/gdb/testsuite/gdb.base/with-mf.exp new file mode 100644 index 00000000000..6b3663c570a --- /dev/null +++ b/gdb/testsuite/gdb.base/with-mf.exp @@ -0,0 +1,34 @@ +# This testcase is part of GDB, the GNU debugger. + +# Copyright 2020 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 . + +# Test .gdb_index in ada language mode. + +standard_testfile with-mf-main.c with-mf-inc.c + +if {[prepare_for_testing "failed to prepare" $testfile "$srcfile $srcfile2" \ + debug]} { + return -1 +} + +if { [ensure_gdb_index $binfile] == -1 } { + return -1 +} + +clean_restart $binfile + +gdb_test "with language ada -- print g_s" \ + " = \\(a => 1, b => 2, c => 3\\)"