From d3d323915c034ed9f7465568e1876aa269ab1d0f Mon Sep 17 00:00:00 2001 From: Andrew Burgess Date: Wed, 31 Jul 2019 13:05:37 -0600 Subject: [PATCH] Search global block from basic_lookup_symbol_nonlocal This changes lookup_global_symbol to look in the global block of the passed-in block. If no block was passed in, it reverts to the previous behavior. This change is needed to ensure that 'FILENAME'::NAME lookups work properly. As debugging Pedro's test case showed, this was not working properly in the case where multiple identical names could be found (the one situation where this feature is truly needed :-). This also removes some old comments from basic_lookup_symbol_nonlocal that no longer apply. Note that the new test cases for this change will appear in a later patch. They are in gdb.base/print-file-var.exp. gdb/ChangeLog 2019-10-02 Andrew Burgess * symtab.c (lookup_global_symbol): Search global block. --- gdb/ChangeLog | 4 ++++ gdb/symtab.c | 41 +++++++++++++---------------------------- 2 files changed, 17 insertions(+), 28 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index aa524630831..c2417cfd371 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2019-10-02 Andrew Burgess + + * symtab.c (lookup_global_symbol): Search global block. + 2019-10-02 Tom Tromey * coffread.c (process_coff_symbol): Update. diff --git a/gdb/symtab.c b/gdb/symtab.c index df6b87f9483..7b4444c7d38 100644 --- a/gdb/symtab.c +++ b/gdb/symtab.c @@ -2414,34 +2414,6 @@ basic_lookup_symbol_nonlocal (const struct language_defn *langdef, { struct block_symbol result; - /* NOTE: carlton/2003-05-19: The comments below were written when - this (or what turned into this) was part of lookup_symbol_aux; - I'm much less worried about these questions now, since these - decisions have turned out well, but I leave these comments here - for posterity. */ - - /* NOTE: carlton/2002-12-05: There is a question as to whether or - not it would be appropriate to search the current global block - here as well. (That's what this code used to do before the - is_a_field_of_this check was moved up.) On the one hand, it's - redundant with the lookup in all objfiles search that happens - next. On the other hand, if decode_line_1 is passed an argument - like filename:var, then the user presumably wants 'var' to be - searched for in filename. On the third hand, there shouldn't be - multiple global variables all of which are named 'var', and it's - not like decode_line_1 has ever restricted its search to only - global variables in a single filename. All in all, only - searching the static block here seems best: it's correct and it's - cleanest. */ - - /* NOTE: carlton/2002-12-05: There's also a possible performance - issue here: if you usually search for global symbols in the - current file, then it would be slightly better to search the - current global block before searching all the symtabs. But there - are other factors that have a much greater effect on performance - than that one, so I don't think we should worry about that for - now. */ - /* NOTE: dje/2014-10-26: The lookup in all objfiles search could skip the current objfile. Searching the current objfile first is useful for both matching user expectations as well as performance. */ @@ -2670,6 +2642,19 @@ lookup_global_symbol (const char *name, const struct block *block, const domain_enum domain) { + /* If a block was passed in, we want to search the corresponding + global block first. This yields "more expected" behavior, and is + needed to support 'FILENAME'::VARIABLE lookups. */ + const struct block *global_block = block_global_block (block); + if (global_block != nullptr) + { + symbol *sym = lookup_symbol_in_block (name, + symbol_name_match_type::FULL, + global_block, domain); + if (sym != nullptr) + return { sym, global_block }; + } + struct objfile *objfile = lookup_objfile_from_block (block); return lookup_global_or_static_symbol (name, GLOBAL_BLOCK, objfile, domain); } -- 2.30.2