[v2,00/30] Restructure symbol domains

  v2 note: I was planning to check this in, but re-testing showed some
regressions.  I've fixed them here, basically DW_TAG_entry_point
caused some problems necessitating a fix in one patch, and a new patch
to fix a latent bug.  I plan to check this in relatively soon.

gdb's symbol domains have long needed some restructuring.

The current symbol domains are C-centric, with the "struct" domain
being separate from types (which is not the case in non-C languages)
and function and types being lumped in with variables.  This latter
decision makes it impossible to search the symbol table for a
function, resulting in bugs like PR 30158, where "main" was found as a
namespace, causing a crash.

This series adds new symbol domains for types and functions, and
changes the various symbol-lookup functions to allow multiple domains
to be searched at once.

Then, the symbol readers are changed to use the new domains.

Finally, selected bits of code are changed to be more precise in which
domains they search.

symbol_matches_domain currently has a C++-specific hack.  This hack
handles the C++ language rule where a tag is also entered as a
typedef.  While working on this series, I discovered that the
non-DWARF symbol readers will actually emit a second typedef symbol.
DWARF could do this as well, at some memory expense; and while I
consider this to be cleaner in an abstract way, for the time being
I've left the hack in place.

I regression tested this on x86-64 Fedora 38.  I also regression
tested using the debug-names and gdb-index target boards.

---
Changes in v2:
- Added patch to fix DW_TAG_entry_point
- Link to v1: https://inbox.sourceware.org/gdb-patches/20231120-submit-domain-hacks-2-v1-0-29650d01b198@tromey.com

---
Tom Tromey (30):
      Fix bug in cooked index scanner
      Small cleanup in DWARF reader
      Fix latent bug in DW_TAG_entry_point handling
      Make nsalias.exp more reliable
      Fix latent bug in mdebugread.c
      Give names to unspecified types
      Remove NR_DOMAINS
      Simplify symbol_to_info_string
      Split up a big 'if' in symtab.c
      Use a .def file for domain_enum
      Add two new symbol domains
      Add domain_search_flags
      Replace search_domain with domain_search_flags
      Remove a check of VAR_DOMAIN
      Introduce "scripting" domains
      Use domain_search_flags in lookup_global_symbol_language
      Use domain_search_flags in lookup_symbol et al
      Remove some obsolete Python constants
      Remove old symbol_matches_domain
      Use the new symbol domains
      Simplify some symbol searches in Ada code
      Simplify some symbol searches in linespec.c
      Only search for "main" as a function
      Only look for functions in expand_symtabs_for_function
      Use a function-domain search in inside_main_func
      Only search types in cp_lookup_rtti_type
      Only search types in lookup_typename
      Only search for functions in rust_structop::evaluate_funcall
      Refine search in cp_search_static_and_baseclasses
      Document new Python and Guile constants

 gdb/NEWS                                 |  12 +
 gdb/ada-exp.y                            |  13 +-
 gdb/ada-lang.c                           |  79 +++--
 gdb/ada-lang.h                           |   6 +-
 gdb/ada-tasks.c                          |  17 +-
 gdb/alpha-mdebug-tdep.c                  |   2 +-
 gdb/ax-gdb.c                             |   5 +-
 gdb/block.c                              |  24 +-
 gdb/block.h                              |  15 +-
 gdb/c-exp.y                              |  19 +-
 gdb/c-lang.c                             |   2 +-
 gdb/c-valprint.c                         |   2 +-
 gdb/coffread.c                           |   5 +-
 gdb/compile/compile-c-symbols.c          |  17 +-
 gdb/compile/compile-cplus-symbols.c      |  15 +-
 gdb/compile/compile-cplus-types.c        |   8 +-
 gdb/compile/compile-object-load.c        |   6 +-
 gdb/cp-namespace.c                       |  66 +++--
 gdb/cp-support.c                         |  10 +-
 gdb/cp-support.h                         |   8 +-
 gdb/ctfread.c                            |   2 +-
 gdb/d-exp.y                              |  12 +-
 gdb/d-lang.c                             |   2 +-
 gdb/d-lang.h                             |   9 +-
 gdb/d-namespace.c                        |  24 +-
 gdb/doc/guile.texi                       |  13 +
 gdb/doc/python.texi                      |  30 +-
 gdb/dwarf2/ada-imported.c                |   2 +-
 gdb/dwarf2/cooked-index.c                |  12 +
 gdb/dwarf2/cooked-index.h                |  46 +--
 gdb/dwarf2/index-write.c                 |   7 +-
 gdb/dwarf2/loc.c                         |   2 +-
 gdb/dwarf2/read-debug-names.c            | 128 ++-------
 gdb/dwarf2/read-gdb-index.c              |  37 ++-
 gdb/dwarf2/read.c                        | 103 +++++--
 gdb/dwarf2/read.h                        |   2 +-
 gdb/dwarf2/tag.h                         |  79 +++++
 gdb/eval.c                               |   5 +-
 gdb/f-exp.y                              |   8 +-
 gdb/f-lang.c                             |   2 +-
 gdb/f-lang.h                             |   2 +-
 gdb/f-valprint.c                         |   2 +-
 gdb/fbsd-tdep.c                          |   5 +-
 gdb/frame.c                              |   9 +-
 gdb/ft32-tdep.c                          |   3 +-
 gdb/gdbtypes.c                           |  35 ++-
 gdb/gnu-v3-abi.c                         |   2 +-
 gdb/go-exp.y                             |   9 +-
 gdb/guile/scm-frame.c                    |   2 +-
 gdb/guile/scm-symbol.c                   |  25 +-
 gdb/infrun.c                             |   2 +-
 gdb/jit.c                                |   2 +-
 gdb/language.c                           |   5 +-
 gdb/language.h                           |   4 +-
 gdb/linespec.c                           |  67 +++--
 gdb/m2-exp.y                             |  10 +-
 gdb/mdebugread.c                         |   6 +-
 gdb/mi/mi-cmd-stack.c                    |   5 +-
 gdb/mi/mi-symbol-cmds.c                  |  35 +--
 gdb/moxie-tdep.c                         |   3 +-
 gdb/objc-lang.c                          |   4 +-
 gdb/objfiles.h                           |   7 +-
 gdb/p-exp.y                              |  19 +-
 gdb/p-valprint.c                         |   2 +-
 gdb/parse.c                              |   3 +-
 gdb/printcmd.c                           |   2 +-
 gdb/psymtab.c                            |  41 +--
 gdb/psymtab.h                            |   5 +-
 gdb/python/py-frame.c                    |   3 +-
 gdb/python/py-objfile.c                  |   6 +-
 gdb/python/py-symbol.c                   |  53 ++--
 gdb/python/python.c                      |   2 +-
 gdb/quick-symbol.h                       |  10 +-
 gdb/rust-lang.c                          |   7 +-
 gdb/rust-lang.h                          |   2 +-
 gdb/rust-parse.c                         |   8 +-
 gdb/source.c                             |   5 +-
 gdb/stabsread.c                          |   8 +-
 gdb/stack.c                              |   4 +-
 gdb/sym-domains.def                      |  58 ++++
 gdb/symfile-debug.c                      |  26 +-
 gdb/symfile.c                            |   9 +-
 gdb/symfile.h                            |   2 +-
 gdb/symmisc.c                            |   3 +-
 gdb/symtab.c                             | 480 +++++++++++++++++--------------
 gdb/symtab.h                             | 177 ++++++------
 gdb/testsuite/gdb.ada/info_auto_lang.exp |   4 +-
 gdb/testsuite/gdb.ada/ptype-o.exp        |   2 +-
 gdb/testsuite/gdb.cp/nsalias.exp         |   2 +-
 gdb/testsuite/gdb.fortran/info-types.exp |   2 +-
 gdb/valops.c                             |  14 +-
 gdb/value.c                              |   6 +-
 gdb/xcoffread.c                          |   9 +-
 gdb/xstormy16-tdep.c                     |   3 +-
 94 files changed, 1129 insertions(+), 948 deletions(-)
---
base-commit: 0d656dfe5b406289faef7f35fb87fb0a00dd64f3
change-id: 20231120-submit-domain-hacks-2-1c1e66b4d560

Best regards,
  

>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:

Tom> v2 note: I was planning to check this in, but re-testing showed some
Tom> regressions.  I've fixed them here, basically DW_TAG_entry_point
Tom> caused some problems necessitating a fix in one patch, and a new patch
Tom> to fix a latent bug.  I plan to check this in relatively soon.

I re-regression tested this and now I am checking it in.
I'll file a follow-up bug about the double symbol idea for C++.

Tom