gdb/MAINTAINERS: add Luis Machado as global maintainer
[binutils-gdb.git] / gdb / corelow.c
index 52d6d95b3c07e2dbbfa39e880dddd1d948f301f0..91b442b4426faf18a11d57463460f2efee407949 100644 (file)
@@ -1,6 +1,6 @@
 /* Core dump and executable file functions below target vector, for GDB.
 
-   Copyright (C) 1986-2019 Free Software Foundation, Inc.
+   Copyright (C) 1986-2023 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -21,7 +21,7 @@
 #include "arch-utils.h"
 #include <signal.h>
 #include <fcntl.h>
-#include "frame.h"             /* required by inferior.h */
+#include "frame.h"
 #include "inferior.h"
 #include "infrun.h"
 #include "symtab.h"
 #include "regset.h"
 #include "symfile.h"
 #include "exec.h"
-#include "readline/readline.h"
+#include "readline/tilde.h"
 #include "solib.h"
+#include "solist.h"
 #include "filenames.h"
 #include "progspace.h"
 #include "objfiles.h"
 #include "gdb_bfd.h"
 #include "completer.h"
-#include "common/filestuff.h"
+#include "gdbsupport/filestuff.h"
+#include "build-id.h"
+#include "gdbsupport/pathstuff.h"
+#include "gdbsupport/scoped_fd.h"
+#include "gdbsupport/x86-xstate.h"
+#include "debuginfod-support.h"
+#include <unordered_map>
+#include <unordered_set>
+#include "gdbcmd.h"
+#include "xml-tdesc.h"
+#include "memtag.h"
 
 #ifndef O_LARGEFILE
 #define O_LARGEFILE 0
 #endif
 
-static core_fns *sniff_core_bfd (gdbarch *core_gdbarch,
-                                bfd *abfd);
-
 /* The core file target.  */
 
 static const target_info core_target_info = {
   "core",
   N_("Local core dump file"),
-  N_("Use a core file as a target.  Specify the filename of the core file.")
+  N_("Use a core file as a target.\n\
+Specify the filename of the core file.")
 };
 
 class core_target final : public process_stratum_target
 {
 public:
   core_target ();
-  ~core_target () override;
 
   const target_info &info () const override
   { return core_target_info; }
@@ -83,18 +91,27 @@ public:
   bool thread_alive (ptid_t ptid) override;
   const struct target_desc *read_description () override;
 
-  const char *pid_to_str (ptid_t) override;
+  std::string pid_to_str (ptid_t) override;
 
   const char *thread_name (struct thread_info *) override;
 
-  bool has_all_memory () override { return false; }
+  bool has_all_memory () override { return true; }
   bool has_memory () override;
   bool has_stack () override;
   bool has_registers () override;
-  bool has_execution (ptid_t) override { return false; }
+  bool has_execution (inferior *inf) override { return false; }
 
   bool info_proc (const char *, enum info_proc_what) override;
 
+  bool supports_memory_tagging () override;
+
+  /* Core file implementation of fetch_memtags.  Fetch the memory tags from
+     core file notes.  */
+  bool fetch_memtags (CORE_ADDR address, size_t len,
+                     gdb::byte_vector &tags, int type) override;
+
+  x86_xsave_layout fetch_x86_xsave_layout () override;
+
   /* A few helpers.  */
 
   /* Getter, see variable definition.  */
@@ -108,23 +125,43 @@ public:
                                  const struct regset *regset,
                                  const char *name,
                                  int section_min_size,
-                                 int which,
                                  const char *human_name,
                                  bool required);
 
+  /* See definition.  */
+  void info_proc_mappings (struct gdbarch *gdbarch);
+
 private: /* per-core data */
 
+  /* Get rid of the core inferior.  */
+  void clear_core ();
+
   /* The core's section table.  Note that these target sections are
      *not* mapped in the current address spaces' set of target
      sections --- those should come only from pure executable or
      shared library bfds.  The core bfd sections are an implementation
      detail of the core target, just like ptrace is for unix child
      targets.  */
-  target_section_table m_core_section_table {};
+  std::vector<target_section> m_core_section_table;
+
+  /* File-backed address space mappings: some core files include
+     information about memory mapped files.  */
+  std::vector<target_section> m_core_file_mappings;
+
+  /* Unavailable mappings.  These correspond to pathnames which either
+     weren't found or could not be opened.  Knowing these addresses can
+     still be useful.  */
+  std::vector<mem_range> m_core_unavailable_mappings;
 
-  /* The core_fns for a core file handler that is prepared to read the
-     core file currently open on core_bfd.  */
-  core_fns *m_core_vec = NULL;
+  /* Build m_core_file_mappings.  Called from the constructor.  */
+  void build_file_mappings ();
+
+  /* Helper method for xfer_partial.  */
+  enum target_xfer_status xfer_memory_via_mappings (gdb_byte *readbuf,
+                                                   const gdb_byte *writebuf,
+                                                   ULONGEST offset,
+                                                   ULONGEST len,
+                                                   ULONGEST *xfered_len);
 
   /* FIXME: kettenis/20031023: Eventually this field should
      disappear.  */
@@ -133,221 +170,432 @@ private: /* per-core data */
 
 core_target::core_target ()
 {
+  /* Find a first arch based on the BFD.  We need the initial gdbarch so
+     we can setup the hooks to find a target description.  */
   m_core_gdbarch = gdbarch_from_bfd (core_bfd);
 
-  /* Find a suitable core file handler to munch on core_bfd */
-  m_core_vec = sniff_core_bfd (m_core_gdbarch, core_bfd);
+  /* If the arch is able to read a target description from the core, it
+     could yield a more specific gdbarch.  */
+  const struct target_desc *tdesc = read_description ();
+
+  if (tdesc != nullptr)
+    {
+      struct gdbarch_info info;
+      info.abfd = core_bfd;
+      info.target_desc = tdesc;
+      m_core_gdbarch = gdbarch_find_by_info (info);
+    }
+
+  if (!m_core_gdbarch
+      || !gdbarch_iterate_over_regset_sections_p (m_core_gdbarch))
+    error (_("\"%s\": Core file format not supported"),
+          bfd_get_filename (core_bfd));
 
   /* Find the data section */
-  if (build_section_table (core_bfd,
-                          &m_core_section_table.sections,
-                          &m_core_section_table.sections_end))
-    error (_("\"%s\": Can't find sections: %s"),
-          bfd_get_filename (core_bfd), bfd_errmsg (bfd_get_error ()));
-}
+  m_core_section_table = build_section_table (core_bfd);
 
-core_target::~core_target ()
-{
-  xfree (m_core_section_table.sections);
+  build_file_mappings ();
 }
 
-/* List of all available core_fns.  On gdb startup, each core file
-   register reader calls deprecated_add_core_fns() to register
-   information on each core format it is prepared to read.  */
+/* Construct the table for file-backed mappings if they exist.
 
-static struct core_fns *core_file_fns = NULL;
+   For each unique path in the note, we'll open a BFD with a bfd
+   target of "binary".  This is an unstructured bfd target upon which
+   we'll impose a structure from the mappings in the architecture-specific
+   mappings note.  A BFD section is allocated and initialized for each
+   file-backed mapping.
 
-static int gdb_check_format (bfd *);
+   We take care to not share already open bfds with other parts of
+   GDB; in particular, we don't want to add new sections to existing
+   BFDs.  We do, however, ensure that the BFDs that we allocate here
+   will go away (be deallocated) when the core target is detached.  */
 
-static void add_to_thread_list (bfd *, asection *, void *);
+void
+core_target::build_file_mappings ()
+{
+  std::unordered_map<std::string, struct bfd *> bfd_map;
+  std::unordered_set<std::string> unavailable_paths;
+
+  /* See linux_read_core_file_mappings() in linux-tdep.c for an example
+     read_core_file_mappings method.  */
+  gdbarch_read_core_file_mappings (m_core_gdbarch, core_bfd,
+
+    /* After determining the number of mappings, read_core_file_mappings
+       will invoke this lambda.  */
+    [&] (ULONGEST)
+      {
+      },
+
+    /* read_core_file_mappings will invoke this lambda for each mapping
+       that it finds.  */
+    [&] (int num, ULONGEST start, ULONGEST end, ULONGEST file_ofs,
+        const char *filename, const bfd_build_id *build_id)
+      {
+       /* Architecture-specific read_core_mapping methods are expected to
+          weed out non-file-backed mappings.  */
+       gdb_assert (filename != nullptr);
+
+       if (unavailable_paths.find (filename) != unavailable_paths.end ())
+         {
+           /* We have already seen some mapping for FILENAME but failed to
+              find/open the file.  There is no point in trying the same
+              thing again so just record that the range [start, end) is
+              unavailable.  */
+           m_core_unavailable_mappings.emplace_back (start, end - start);
+           return;
+         }
+
+       struct bfd *bfd = bfd_map[filename];
+       if (bfd == nullptr)
+         {
+           /* Use exec_file_find() to do sysroot expansion.  It'll
+              also strip the potential sysroot "target:" prefix.  If
+              there is no sysroot, an equivalent (possibly more
+              canonical) pathname will be provided.  */
+           gdb::unique_xmalloc_ptr<char> expanded_fname
+             = exec_file_find (filename, NULL);
+
+           if (expanded_fname == nullptr && build_id != nullptr)
+             debuginfod_exec_query (build_id->data, build_id->size,
+                                    filename, &expanded_fname);
+
+           if (expanded_fname == nullptr)
+             {
+               m_core_unavailable_mappings.emplace_back (start, end - start);
+               unavailable_paths.insert (filename);
+               warning (_("Can't open file %s during file-backed mapping "
+                          "note processing"),
+                        filename);
+               return;
+             }
+
+           bfd = bfd_openr (expanded_fname.get (), "binary");
+
+           if (bfd == nullptr || !bfd_check_format (bfd, bfd_object))
+             {
+               m_core_unavailable_mappings.emplace_back (start, end - start);
+               unavailable_paths.insert (filename);
+               warning (_("Can't open file %s which was expanded to %s "
+                          "during file-backed mapping note processing"),
+                        filename, expanded_fname.get ());
+
+               if (bfd != nullptr)
+                 bfd_close (bfd);
+               return;
+             }
+           /* Ensure that the bfd will be closed when core_bfd is closed. 
+              This can be checked before/after a core file detach via
+              "maint info bfds".  */
+           gdb_bfd_record_inclusion (core_bfd, bfd);
+           bfd_map[filename] = bfd;
+         }
+
+       /* Make new BFD section.  All sections have the same name,
+          which is permitted by bfd_make_section_anyway().  */
+       asection *sec = bfd_make_section_anyway (bfd, "load");
+       if (sec == nullptr)
+         error (_("Can't make section"));
+       sec->filepos = file_ofs;
+       bfd_set_section_flags (sec, SEC_READONLY | SEC_HAS_CONTENTS);
+       bfd_set_section_size (sec, end - start);
+       bfd_set_section_vma (sec, start);
+       bfd_set_section_lma (sec, start);
+       bfd_set_section_alignment (sec, 2);
+
+       /* Set target_section fields.  */
+       m_core_file_mappings.emplace_back (start, end, sec);
+
+       /* If this is a bfd of a shared library, record its soname
+          and build id.  */
+       if (build_id != nullptr)
+         {
+           gdb::unique_xmalloc_ptr<char> soname
+             = gdb_bfd_read_elf_soname (bfd->filename);
+           if (soname != nullptr)
+             set_cbfd_soname_build_id (current_program_space->cbfd,
+                                       soname.get (), build_id);
+         }
+      });
+
+  normalize_mem_ranges (&m_core_unavailable_mappings);
+}
 
 /* An arbitrary identifier for the core inferior.  */
 #define CORELOW_PID 1
 
-/* Link a new core_fns into the global core_file_fns list.  Called on
-   gdb startup by the _initialize routine in each core file register
-   reader, to register information about each format the reader is
-   prepared to handle.  */
-
 void
-deprecated_add_core_fns (struct core_fns *cf)
+core_target::clear_core ()
 {
-  cf->next = core_file_fns;
-  core_file_fns = cf;
+  if (core_bfd)
+    {
+      switch_to_no_thread ();    /* Avoid confusion from thread
+                                   stuff.  */
+      exit_inferior (current_inferior ());
+
+      /* Clear out solib state while the bfd is still open.  See
+        comments in clear_solib in solib.c.  */
+      clear_solib ();
+
+      current_program_space->cbfd.reset (nullptr);
+    }
 }
 
-/* The default function that core file handlers can use to examine a
-   core file BFD and decide whether or not to accept the job of
-   reading the core file.  */
+/* Close the core target.  */
 
-int
-default_core_sniffer (struct core_fns *our_fns, bfd *abfd)
+void
+core_target::close ()
 {
-  int result;
+  clear_core ();
 
-  result = (bfd_get_flavour (abfd) == our_fns -> core_flavour);
-  return (result);
+  /* Core targets are heap-allocated (see core_target_open), so here
+     we delete ourselves.  */
+  delete this;
 }
 
-/* Walk through the list of core functions to find a set that can
-   handle the core file open on ABFD.  Returns pointer to set that is
-   selected.  */
+/* Look for sections whose names start with `.reg/' so that we can
+   extract the list of threads in a core file.  */
+
+/* If ASECT is a section whose name begins with '.reg/' then extract the
+   lwpid after the '/' and create a new thread in INF.
 
-static struct core_fns *
-sniff_core_bfd (struct gdbarch *core_gdbarch, bfd *abfd)
+   If REG_SECT is not nullptr, and the both ASECT and REG_SECT point at the
+   same position in the parent bfd object then switch to the newly created
+   thread, otherwise, the selected thread is left unchanged.  */
+
+static void
+add_to_thread_list (asection *asect, asection *reg_sect, inferior *inf)
 {
-  struct core_fns *cf;
-  struct core_fns *yummy = NULL;
-  int matches = 0;
+  if (!startswith (bfd_section_name (asect), ".reg/"))
+    return;
 
-  /* Don't sniff if we have support for register sets in
-     CORE_GDBARCH.  */
-  if (core_gdbarch && gdbarch_iterate_over_regset_sections_p (core_gdbarch))
-    return NULL;
+  int lwpid = atoi (bfd_section_name (asect) + 5);
+  ptid_t ptid (inf->pid, lwpid);
+  thread_info *thr = add_thread (inf->process_target (), ptid);
 
-  for (cf = core_file_fns; cf != NULL; cf = cf->next)
-    {
-      if (cf->core_sniffer (cf, abfd))
-       {
-         yummy = cf;
-         matches++;
-       }
-    }
-  if (matches > 1)
-    {
-      warning (_("\"%s\": ambiguous core format, %d handlers match"),
-              bfd_get_filename (abfd), matches);
-    }
-  else if (matches == 0)
-    error (_("\"%s\": no core file handler recognizes format"),
-          bfd_get_filename (abfd));
+  /* Warning, Will Robinson, looking at BFD private data! */
 
-  return (yummy);
+  if (reg_sect != NULL
+      && asect->filepos == reg_sect->filepos)  /* Did we find .reg?  */
+    switch_to_thread (thr);                    /* Yes, make it current.  */
 }
 
-/* The default is to reject every core file format we see.  Either
-   BFD has to recognize it, or we have to provide a function in the
-   core file handler that recognizes it.  */
+/* Issue a message saying we have no core to debug, if FROM_TTY.  */
 
-int
-default_check_format (bfd *abfd)
+static void
+maybe_say_no_core_file_now (int from_tty)
 {
-  return (0);
+  if (from_tty)
+    gdb_printf (_("No core file now.\n"));
 }
 
-/* Attempt to recognize core file formats that BFD rejects.  */
+/* Backward compatibility with old way of specifying core files.  */
 
-static int
-gdb_check_format (bfd *abfd)
+void
+core_file_command (const char *filename, int from_tty)
 {
-  struct core_fns *cf;
+  dont_repeat ();              /* Either way, seems bogus.  */
 
-  for (cf = core_file_fns; cf != NULL; cf = cf->next)
+  if (filename == NULL)
     {
-      if (cf->check_format (abfd))
+      if (core_bfd != NULL)
        {
-         return (1);
+         target_detach (current_inferior (), from_tty);
+         gdb_assert (core_bfd == NULL);
        }
+      else
+       maybe_say_no_core_file_now (from_tty);
     }
-  return (0);
+  else
+    core_target_open (filename, from_tty);
 }
 
-/* Close the core target.  */
+/* A vmcore file is a core file created by the Linux kernel at the point of
+   a crash.  Each thread in the core file represents a real CPU core, and
+   the lwpid for each thread is the pid of the process that was running on
+   that core at the moment of the crash.
 
-void
-core_target::close ()
-{
-  if (core_bfd)
-    {
-      inferior_ptid = null_ptid;    /* Avoid confusion from thread
-                                      stuff.  */
-      exit_inferior_silent (current_inferior ());
+   However, not every CPU core will have been running a process, some cores
+   will be idle.  For these idle cores the CPU writes an lwpid of 0.  And
+   of course, multiple cores might be idle, so there could be multiple
+   threads with an lwpid of 0.
 
-      /* Clear out solib state while the bfd is still open.  See
-         comments in clear_solib in solib.c.  */
-      clear_solib ();
+   The problem is GDB doesn't really like threads with an lwpid of 0; GDB
+   presents such a thread as a process rather than a thread.  And GDB
+   certainly doesn't like multiple threads having the same lwpid, each time
+   a new thread is seen with the same lwpid the earlier thread (with the
+   same lwpid) will be deleted.
 
-      current_program_space->cbfd.reset (nullptr);
-    }
+   This function addresses both of these problems by assigning a fake lwpid
+   to any thread with an lwpid of 0.
 
-  /* Core targets are heap-allocated (see core_target_open), so here
-     we delete ourselves.  */
-  delete this;
-}
+   GDB finds the lwpid information by looking at the bfd section names
+   which include the lwpid, e.g. .reg/NN where NN is the lwpid.  This
+   function looks though all the section names looking for sections named
+   .reg/NN.  If any sections are found where NN == 0, then we assign a new
+   unique value of NN.  Then, in a second pass, any sections ending /0 are
+   assigned their new number.
 
-/* Look for sections whose names start with `.reg/' so that we can
-   extract the list of threads in a core file.  */
+   Remember, a core file may contain multiple register sections for
+   different register sets, but the sets are always grouped by thread, so
+   we can figure out which registers should be assigned the same new
+   lwpid.  For example, consider a core file containing:
+
+     .reg/0, .reg2/0, .reg/0, .reg2/0
+
+   This represents two threads, each thread contains a .reg and .reg2
+   register set.  The .reg represents the start of each thread.  After
+   renaming the sections will now look like this:
+
+     .reg/1, .reg2/1, .reg/2, .reg2/2
+
+   After calling this function the rest of the core file handling code can
+   treat this core file just like any other core file.  */
 
 static void
-add_to_thread_list (bfd *abfd, asection *asect, void *reg_sect_arg)
+rename_vmcore_idle_reg_sections (bfd *abfd, inferior *inf)
 {
-  ptid_t ptid;
-  int core_tid;
-  int pid, lwpid;
-  asection *reg_sect = (asection *) reg_sect_arg;
-  int fake_pid_p = 0;
-  struct inferior *inf;
+  /* Map from the bfd section to its lwpid (the /NN number).  */
+  std::vector<std::pair<asection *, int>> sections_and_lwpids;
 
-  if (!startswith (bfd_section_name (abfd, asect), ".reg/"))
-    return;
+  /* The set of all /NN numbers found.  Needed so we can easily find unused
+     numbers in the case that we need to rename some sections.  */
+  std::unordered_set<int> all_lwpids;
 
-  core_tid = atoi (bfd_section_name (abfd, asect) + 5);
+  /* A count of how many sections called .reg/0 we have found.  */
+  unsigned zero_lwpid_count = 0;
 
-  pid = bfd_core_file_pid (core_bfd);
-  if (pid == 0)
+  /* Look for all the .reg sections.  Record the section object and the
+     lwpid which is extracted from the section name.  Spot if any have an
+     lwpid of zero.  */
+  for (asection *sect : gdb_bfd_sections (core_bfd))
     {
-      fake_pid_p = 1;
-      pid = CORELOW_PID;
+      if (startswith (bfd_section_name (sect), ".reg/"))
+       {
+         int lwpid = atoi (bfd_section_name (sect) + 5);
+         sections_and_lwpids.emplace_back (sect, lwpid);
+         all_lwpids.insert (lwpid);
+         if (lwpid == 0)
+           zero_lwpid_count++;
+       }
     }
 
-  lwpid = core_tid;
+  /* If every ".reg/NN" section has a non-zero lwpid then we don't need to
+     do any renaming.  */
+  if (zero_lwpid_count == 0)
+    return;
 
-  inf = current_inferior ();
-  if (inf->pid == 0)
+  /* Assign a new number to any .reg sections with an lwpid of 0.  */
+  int new_lwpid = 1;
+  for (auto &sect_and_lwpid : sections_and_lwpids)
+    if (sect_and_lwpid.second == 0)
+      {
+       while (all_lwpids.find (new_lwpid) != all_lwpids.end ())
+         new_lwpid++;
+       sect_and_lwpid.second = new_lwpid;
+       new_lwpid++;
+      }
+
+  /* Now update the names of any sections with an lwpid of 0.  This is
+     more than just the .reg sections we originally found.  */
+  std::string replacement_lwpid_str;
+  auto iter = sections_and_lwpids.begin ();
+  int replacement_lwpid = 0;
+  for (asection *sect : gdb_bfd_sections (core_bfd))
     {
-      inferior_appeared (inf, pid);
-      inf->fake_pid_p = fake_pid_p;
-    }
+      if (iter != sections_and_lwpids.end () && sect == iter->first)
+       {
+         gdb_assert (startswith (bfd_section_name (sect), ".reg/"));
 
-  ptid = ptid_t (pid, lwpid, 0);
+         int lwpid = atoi (bfd_section_name (sect) + 5);
+         if (lwpid == iter->second)
+           {
+             /* This section was not given a new number.  */
+             gdb_assert (lwpid != 0);
+             replacement_lwpid = 0;
+           }
+         else
+           {
+             replacement_lwpid = iter->second;
+             ptid_t ptid (inf->pid, replacement_lwpid);
+             if (!replacement_lwpid_str.empty ())
+               replacement_lwpid_str += ", ";
+             replacement_lwpid_str += target_pid_to_str (ptid);
+           }
 
-  add_thread (ptid);
+         iter++;
+       }
 
-/* Warning, Will Robinson, looking at BFD private data! */
+      if (replacement_lwpid != 0)
+       {
+         const char *name = bfd_section_name (sect);
+         size_t len = strlen (name);
 
-  if (reg_sect != NULL
-      && asect->filepos == reg_sect->filepos)  /* Did we find .reg?  */
-    inferior_ptid = ptid;                      /* Yes, make it current.  */
+         if (strncmp (name + len - 2, "/0", 2) == 0)
+           {
+             /* This section needs a new name.  */
+             std::string name_str
+               = string_printf ("%.*s/%d",
+                                static_cast<int> (len - 2),
+                                name, replacement_lwpid);
+             char *name_buf
+               = static_cast<char *> (bfd_alloc (abfd, name_str.size () + 1));
+             if (name_buf == nullptr)
+               error (_("failed to allocate space for section name '%s'"),
+                      name_str.c_str ());
+             memcpy (name_buf, name_str.c_str(), name_str.size () + 1);
+             bfd_rename_section (sect, name_buf);
+           }
+       }
+    }
+
+  if (zero_lwpid_count == 1)
+    warning (_("found thread with pid 0, assigned replacement Target Id: %s"),
+            replacement_lwpid_str.c_str ());
+  else
+    warning (_("found threads with pid 0, assigned replacement Target Ids: %s"),
+            replacement_lwpid_str.c_str ());
 }
 
-/* Issue a message saying we have no core to debug, if FROM_TTY.  */
+/* Locate (and load) an executable file (and symbols) given the core file
+   BFD ABFD.  */
 
 static void
-maybe_say_no_core_file_now (int from_tty)
+locate_exec_from_corefile_build_id (bfd *abfd, int from_tty)
 {
-  if (from_tty)
-    printf_filtered (_("No core file now.\n"));
-}
-
-/* Backward compatability with old way of specifying core files.  */
+  const bfd_build_id *build_id = build_id_bfd_get (abfd);
+  if (build_id == nullptr)
+    return;
 
-void
-core_file_command (const char *filename, int from_tty)
-{
-  dont_repeat ();              /* Either way, seems bogus.  */
+  gdb_bfd_ref_ptr execbfd
+    = build_id_to_exec_bfd (build_id->size, build_id->data);
 
-  if (filename == NULL)
+  if (execbfd == nullptr)
     {
-      if (core_bfd != NULL)
+      /* Attempt to query debuginfod for the executable.  */
+      gdb::unique_xmalloc_ptr<char> execpath;
+      scoped_fd fd = debuginfod_exec_query (build_id->data, build_id->size,
+                                           abfd->filename, &execpath);
+
+      if (fd.get () >= 0)
        {
-         target_detach (current_inferior (), from_tty);
-         gdb_assert (core_bfd == NULL);
+         execbfd = gdb_bfd_open (execpath.get (), gnutarget);
+
+         if (execbfd == nullptr)
+           warning (_("\"%s\" from debuginfod cannot be opened as bfd: %s"),
+                    execpath.get (),
+                    gdb_bfd_errmsg (bfd_get_error (), nullptr).c_str ());
+         else if (!build_id_verify (execbfd.get (), build_id->size,
+                                    build_id->data))
+           execbfd.reset (nullptr);
        }
-      else
-       maybe_say_no_core_file_now (from_tty);
     }
-  else
-    core_target_open (filename, from_tty);
+
+  if (execbfd != nullptr)
+    {
+      exec_file_attach (bfd_get_filename (execbfd.get ()), from_tty);
+      symbol_file_add_main (bfd_get_filename (execbfd.get ()),
+                           symfile_add_flag (from_tty ? SYMFILE_VERBOSE : 0));
+    }
 }
 
 /* See gdbcore.h.  */
@@ -371,16 +619,16 @@ core_target_open (const char *arg, int from_tty)
     }
 
   gdb::unique_xmalloc_ptr<char> filename (tilde_expand (arg));
-  if (!IS_ABSOLUTE_PATH (filename.get ()))
-    filename.reset (concat (current_directory, "/",
-                           filename.get (), (char *) NULL));
+  if (strlen (filename.get ()) != 0
+      && !IS_ABSOLUTE_PATH (filename.get ()))
+    filename = make_unique_xstrdup (gdb_abspath (filename.get ()).c_str ());
 
   flags = O_BINARY | O_LARGEFILE;
   if (write_files)
     flags |= O_RDWR;
   else
     flags |= O_RDONLY;
-  scratch_chan = gdb_open_cloexec (filename.get (), flags, 0);
+  scratch_chan = gdb_open_cloexec (filename.get (), flags, 0).release ();
   if (scratch_chan < 0)
     perror_with_name (filename.get ());
 
@@ -390,13 +638,12 @@ core_target_open (const char *arg, int from_tty)
   if (temp_bfd == NULL)
     perror_with_name (filename.get ());
 
-  if (!bfd_check_format (temp_bfd.get (), bfd_core)
-      && !gdb_check_format (temp_bfd.get ()))
+  if (!bfd_check_format (temp_bfd.get (), bfd_core))
     {
       /* Do it after the err msg */
       /* FIXME: should be checking for errors from bfd_close (for one
-         thing, on error it does not free all the storage associated
-         with the bfd).  */
+        thing, on error it does not free all the storage associated
+        with the bfd).  */
       error (_("\"%s\" is not a core dump: %s"),
             filename.get (), bfd_errmsg (bfd_get_error ()));
     }
@@ -414,13 +661,12 @@ core_target_open (const char *arg, int from_tty)
      core file.  We don't do this unconditionally since an exec file
      typically contains more information that helps us determine the
      architecture than a core file.  */
-  if (!exec_bfd)
+  if (!current_program_space->exec_bfd ())
     set_gdbarch_from_file (core_bfd);
 
-  push_target (target);
-  target_holder.release ();
+  current_inferior ()->push_target (std::move (target_holder));
 
-  inferior_ptid = null_ptid;
+  switch_to_no_thread ();
 
   /* Need to flush the register cache (and the frame cache) from a
      previous debug session.  If inferior_ptid ends up the same as the
@@ -430,11 +676,30 @@ core_target_open (const char *arg, int from_tty)
      previous session, and the frame cache being stale.  */
   registers_changed ();
 
+  /* Find (or fake) the pid for the process in this core file, and
+     initialise the current inferior with that pid.  */
+  bool fake_pid_p = false;
+  int pid = bfd_core_file_pid (core_bfd);
+  if (pid == 0)
+    {
+      fake_pid_p = true;
+      pid = CORELOW_PID;
+    }
+
+  inferior *inf = current_inferior ();
+  gdb_assert (inf->pid == 0);
+  inferior_appeared (inf, pid);
+  inf->fake_pid_p = fake_pid_p;
+
+  /* Rename any .reg/0 sections, giving them each a fake lwpid.  */
+  rename_vmcore_idle_reg_sections (core_bfd, inf);
+
   /* Build up thread list from BFD sections, and possibly set the
      current thread to the .reg/NN section matching the .reg
      section.  */
-  bfd_map_over_sections (core_bfd, add_to_thread_list,
-                        bfd_get_section_by_name (core_bfd, ".reg"));
+  asection *reg_sect = bfd_get_section_by_name (core_bfd, ".reg");
+  for (asection *sect : gdb_bfd_sections (core_bfd))
+    add_to_thread_list (sect, reg_sect, inf);
 
   if (inferior_ptid == null_ptid)
     {
@@ -444,38 +709,36 @@ core_target_open (const char *arg, int from_tty)
         which was the "main" thread.  The latter case shouldn't
         usually happen, but we're dealing with input here, which can
         always be broken in different ways.  */
-      thread_info *thread = first_thread_of_inferior (current_inferior ());
+      thread_info *thread = first_thread_of_inferior (inf);
 
       if (thread == NULL)
-       {
-         inferior_appeared (current_inferior (), CORELOW_PID);
-         inferior_ptid = ptid_t (CORELOW_PID);
-         add_thread_silent (inferior_ptid);
-       }
-      else
-       switch_to_thread (thread);
+       thread = add_thread_silent (target, ptid_t (CORELOW_PID));
+
+      switch_to_thread (thread);
     }
 
-  post_create_inferior (target, from_tty);
+  if (current_program_space->exec_bfd () == nullptr)
+    locate_exec_from_corefile_build_id (core_bfd, from_tty);
+
+  post_create_inferior (from_tty);
 
   /* Now go through the target stack looking for threads since there
      may be a thread_stratum target loaded on top of target core by
      now.  The layer above should claim threads found in the BFD
      sections.  */
-  TRY
+  try
     {
       target_update_thread_list ();
     }
 
-  CATCH (except, RETURN_MASK_ERROR)
+  catch (const gdb_exception_error &except)
     {
       exception_print (gdb_stderr, except);
     }
-  END_CATCH
 
   p = bfd_core_file_failing_command (core_bfd);
   if (p)
-    printf_filtered (_("Core was generated by `%s'.\n"), p);
+    gdb_printf (_("Core was generated by `%s'.\n"), p);
 
   /* Clearing any previous state of convenience variables.  */
   clear_exit_convenience_vars ();
@@ -497,8 +760,11 @@ core_target_open (const char *arg, int from_tty)
                                                               siggy)
                             : gdb_signal_from_host (siggy));
 
-      printf_filtered (_("Program terminated with signal %s, %s.\n"),
-                      gdb_signal_to_name (sig), gdb_signal_to_string (sig));
+      gdb_printf (_("Program terminated with signal %s, %s"),
+                 gdb_signal_to_name (sig), gdb_signal_to_string (sig));
+      if (gdbarch_report_signal_info_p (core_gdbarch))
+       gdbarch_report_signal_info (core_gdbarch, current_uiout, sig);
+      gdb_printf (_(".\n"));
 
       /* Set the value of the internal variable $_exitsignal,
         which holds the signal uncaught by the inferior.  */
@@ -516,35 +782,41 @@ core_target_open (const char *arg, int from_tty)
   /* Current thread should be NUM 1 but the user does not know that.
      If a program is single threaded gdb in general does not mention
      anything about threads.  That is why the test is >= 2.  */
-  if (thread_count () >= 2)
+  if (thread_count (target) >= 2)
     {
-      TRY
+      try
        {
          thread_command (NULL, from_tty);
        }
-      CATCH (except, RETURN_MASK_ERROR)
+      catch (const gdb_exception_error &except)
        {
          exception_print (gdb_stderr, except);
        }
-      END_CATCH
     }
 }
 
 void
 core_target::detach (inferior *inf, int from_tty)
 {
-  /* Note that 'this' is dangling after this call.  unpush_target
-     closes the target, and our close implementation deletes
-     'this'.  */
-  unpush_target (this);
-
+  /* Get rid of the core.  Don't rely on core_target::close doing it,
+     because target_detach may be called with core_target's refcount > 1,
+     meaning core_target::close may not be called yet by the
+     unpush_target call below.  */
+  clear_core ();
+
+  /* Note that 'this' may be dangling after this call.  unpush_target
+     closes the target if the refcount reaches 0, and our close
+     implementation deletes 'this'.  */
+  inf->unpush_target (this);
+
+  /* Clear the register cache and the frame cache.  */
+  registers_changed ();
   reinit_frame_cache ();
   maybe_say_no_core_file_now (from_tty);
 }
 
 /* Try to retrieve registers from a section in core_bfd, and supply
-   them to m_core_vec->core_read_registers, as the register set
-   numbered WHICH.
+   them to REGSET.
 
    If ptid's lwp member is zero, do the single-threaded
    thing: look for a section named NAME.  If ptid's lwp
@@ -563,15 +835,14 @@ core_target::get_core_register_section (struct regcache *regcache,
                                        const struct regset *regset,
                                        const char *name,
                                        int section_min_size,
-                                       int which,
                                        const char *human_name,
                                        bool required)
 {
+  gdb_assert (regset != nullptr);
+
   struct bfd_section *section;
   bfd_size_type size;
-  char *contents;
-  bool variable_size_section = (regset != NULL
-                               && regset->flags & REGSET_VARIABLE_SIZE);
+  bool variable_size_section = (regset->flags & REGSET_VARIABLE_SIZE);
 
   thread_section_name section_name (name, regcache->ptid ());
 
@@ -584,7 +855,7 @@ core_target::get_core_register_section (struct regcache *regcache,
       return;
     }
 
-  size = bfd_section_size (core_bfd, section);
+  size = bfd_section_size (section);
   if (size < section_min_size)
     {
       warning (_("Section `%s' in core file too small."),
@@ -597,25 +868,16 @@ core_target::get_core_register_section (struct regcache *regcache,
               section_name.c_str ());
     }
 
-  contents = (char *) alloca (size);
-  if (! bfd_get_section_contents (core_bfd, section, contents,
-                                 (file_ptr) 0, size))
+  gdb::byte_vector contents (size);
+  if (!bfd_get_section_contents (core_bfd, section, contents.data (),
+                                (file_ptr) 0, size))
     {
       warning (_("Couldn't read %s registers from `%s' section in core file."),
               human_name, section_name.c_str ());
       return;
     }
 
-  if (regset != NULL)
-    {
-      regset->supply_regset (regset, regcache, -1, contents, size);
-      return;
-    }
-
-  gdb_assert (m_core_vec != nullptr);
-  m_core_vec->core_read_registers (regcache, contents, size, which,
-                                  ((CORE_ADDR)
-                                   bfd_section_vma (core_bfd, section)));
+  regset->supply_regset (regset, regcache, -1, contents.data (), size);
 }
 
 /* Data passed to gdbarch_iterate_over_regset_sections's callback.  */
@@ -633,10 +895,11 @@ get_core_registers_cb (const char *sect_name, int supply_size, int collect_size,
                       const struct regset *regset,
                       const char *human_name, void *cb_data)
 {
+  gdb_assert (regset != nullptr);
+
   auto *data = (get_core_registers_cb_data *) cb_data;
   bool required = false;
-  bool variable_size_section = (regset != NULL
-                               && regset->flags & REGSET_VARIABLE_SIZE);
+  bool variable_size_section = (regset->flags & REGSET_VARIABLE_SIZE);
 
   if (!variable_size_section)
     gdb_assert (supply_size == collect_size);
@@ -653,11 +916,8 @@ get_core_registers_cb (const char *sect_name, int supply_size, int collect_size,
        human_name = "floating-point";
     }
 
-  /* The 'which' parameter is only used when no regset is provided.
-     Thus we just set it to -1. */
   data->target->get_core_register_section (data->regcache, regset, sect_name,
-                                          supply_size, -1, human_name,
-                                          required);
+                                          supply_size, human_name, required);
 }
 
 /* Get the registers out of a core file.  This is the machine-
@@ -670,36 +930,22 @@ get_core_registers_cb (const char *sect_name, int supply_size, int collect_size,
 void
 core_target::fetch_registers (struct regcache *regcache, int regno)
 {
-  int i;
-  struct gdbarch *gdbarch;
-
   if (!(m_core_gdbarch != nullptr
-       && gdbarch_iterate_over_regset_sections_p (m_core_gdbarch))
-      && (m_core_vec == NULL || m_core_vec->core_read_registers == NULL))
+       && gdbarch_iterate_over_regset_sections_p (m_core_gdbarch)))
     {
-      fprintf_filtered (gdb_stderr,
-                    "Can't fetch registers from this type of core file\n");
+      gdb_printf (gdb_stderr,
+                 "Can't fetch registers from this type of core file\n");
       return;
     }
 
-  gdbarch = regcache->arch ();
-  if (gdbarch_iterate_over_regset_sections_p (gdbarch))
-    {
-      get_core_registers_cb_data data = { this, regcache };
-      gdbarch_iterate_over_regset_sections (gdbarch,
-                                           get_core_registers_cb,
-                                           (void *) &data, NULL);
-    }
-  else
-    {
-      get_core_register_section (regcache, NULL,
-                                ".reg", 0, 0, "general-purpose", 1);
-      get_core_register_section (regcache, NULL,
-                                ".reg2", 0, 2, "floating-point", 0);
-    }
+  struct gdbarch *gdbarch = regcache->arch ();
+  get_core_registers_cb_data data = { this, regcache };
+  gdbarch_iterate_over_regset_sections (gdbarch,
+                                       get_core_registers_cb,
+                                       (void *) &data, NULL);
 
   /* Mark all registers not found in the core as unavailable.  */
-  for (i = 0; i < gdbarch_num_regs (regcache->arch ()); i++)
+  for (int i = 0; i < gdbarch_num_regs (regcache->arch ()); i++)
     if (regcache->get_register_status (i) == REG_UNKNOWN)
       regcache->raw_supply (i, NULL);
 }
@@ -710,34 +956,54 @@ core_target::files_info ()
   print_section_info (&m_core_section_table, core_bfd);
 }
 \f
-struct spuid_list
-{
-  gdb_byte *buf;
-  ULONGEST offset;
-  LONGEST len;
-  ULONGEST pos;
-  ULONGEST written;
-};
+/* Helper method for core_target::xfer_partial.  */
 
-static void
-add_to_spuid_list (bfd *abfd, asection *asect, void *list_p)
+enum target_xfer_status
+core_target::xfer_memory_via_mappings (gdb_byte *readbuf,
+                                      const gdb_byte *writebuf,
+                                      ULONGEST offset, ULONGEST len,
+                                      ULONGEST *xfered_len)
 {
-  struct spuid_list *list = (struct spuid_list *) list_p;
-  enum bfd_endian byte_order
-    = bfd_big_endian (abfd) ? BFD_ENDIAN_BIG : BFD_ENDIAN_LITTLE;
-  int fd, pos = 0;
+  enum target_xfer_status xfer_status;
 
-  sscanf (bfd_section_name (abfd, asect), "SPU/%d/regs%n", &fd, &pos);
-  if (pos == 0)
-    return;
+  xfer_status = (section_table_xfer_memory_partial
+                  (readbuf, writebuf,
+                   offset, len, xfered_len,
+                   m_core_file_mappings));
+
+  if (xfer_status == TARGET_XFER_OK || m_core_unavailable_mappings.empty ())
+    return xfer_status;
 
-  if (list->pos >= list->offset && list->pos + 4 <= list->offset + list->len)
+  /* There are instances - e.g. when debugging within a docker
+     container using the AUFS storage driver - where the pathnames
+     obtained from the note section are incorrect.  Despite the path
+     being wrong, just knowing the start and end addresses of the
+     mappings is still useful; we can attempt an access of the file
+     stratum constrained to the address ranges corresponding to the
+     unavailable mappings.  */
+
+  ULONGEST memaddr = offset;
+  ULONGEST memend = offset + len;
+
+  for (const auto &mr : m_core_unavailable_mappings)
     {
-      store_unsigned_integer (list->buf + list->pos - list->offset,
-                             4, byte_order, fd);
-      list->written += 4;
+      if (address_in_mem_range (memaddr, &mr))
+       {
+         if (!address_in_mem_range (memend, &mr))
+           len = mr.start + mr.length - memaddr;
+
+         xfer_status = this->beneath ()->xfer_partial (TARGET_OBJECT_MEMORY,
+                                                       NULL,
+                                                       readbuf,
+                                                       writebuf,
+                                                       offset,
+                                                       len,
+                                                       xfered_len);
+         break;
+       }
     }
-  list->pos += 4;
+
+  return xfer_status;
 }
 
 enum target_xfer_status
@@ -748,13 +1014,59 @@ core_target::xfer_partial (enum target_object object, const char *annex,
   switch (object)
     {
     case TARGET_OBJECT_MEMORY:
-      return (section_table_xfer_memory_partial
-             (readbuf, writebuf,
-              offset, len, xfered_len,
-              m_core_section_table.sections,
-              m_core_section_table.sections_end,
-              NULL));
+      {
+       enum target_xfer_status xfer_status;
+
+       /* Try accessing memory contents from core file data,
+          restricting consideration to those sections for which
+          the BFD section flag SEC_HAS_CONTENTS is set.  */
+       auto has_contents_cb = [] (const struct target_section *s)
+         {
+           return ((s->the_bfd_section->flags & SEC_HAS_CONTENTS) != 0);
+         };
+       xfer_status = section_table_xfer_memory_partial
+                       (readbuf, writebuf,
+                        offset, len, xfered_len,
+                        m_core_section_table,
+                        has_contents_cb);
+       if (xfer_status == TARGET_XFER_OK)
+         return TARGET_XFER_OK;
+
+       /* Check file backed mappings.  If they're available, use
+          core file provided mappings (e.g. from .note.linuxcore.file
+          or the like) as this should provide a more accurate
+          result.  If not, check the stratum beneath us, which should
+          be the file stratum.
+
+          We also check unavailable mappings due to Docker/AUFS driver
+          issues.  */
+       if (!m_core_file_mappings.empty ()
+           || !m_core_unavailable_mappings.empty ())
+         {
+           xfer_status = xfer_memory_via_mappings (readbuf, writebuf, offset,
+                                                   len, xfered_len);
+         }
+       else
+         xfer_status = this->beneath ()->xfer_partial (object, annex, readbuf,
+                                                       writebuf, offset, len,
+                                                       xfered_len);
+       if (xfer_status == TARGET_XFER_OK)
+         return TARGET_XFER_OK;
 
+       /* Finally, attempt to access data in core file sections with
+          no contents.  These will typically read as all zero.  */
+       auto no_contents_cb = [&] (const struct target_section *s)
+         {
+           return !has_contents_cb (s);
+         };
+       xfer_status = section_table_xfer_memory_partial
+                       (readbuf, writebuf,
+                        offset, len, xfered_len,
+                        m_core_section_table,
+                        no_contents_cb);
+
+       return xfer_status;
+      }
     case TARGET_OBJECT_AUXV:
       if (readbuf)
        {
@@ -768,7 +1080,7 @@ core_target::xfer_partial (enum target_object object, const char *annex,
          if (section == NULL)
            return TARGET_XFER_E_IO;
 
-         size = bfd_section_size (core_bfd, section);
+         size = bfd_section_size (section);
          if (offset >= size)
            return TARGET_XFER_EOF;
          size -= offset;
@@ -803,7 +1115,7 @@ core_target::xfer_partial (enum target_object object, const char *annex,
          if (section == NULL)
            return TARGET_XFER_E_IO;
 
-         size = bfd_section_size (core_bfd, section);
+         size = bfd_section_size (section);
          if (offset >= size)
            return TARGET_XFER_EOF;
          size -= offset;
@@ -843,7 +1155,7 @@ core_target::xfer_partial (enum target_object object, const char *annex,
                return TARGET_XFER_OK;
            }
        }
-      /* FALL THROUGH */
+      return TARGET_XFER_E_IO;
 
     case TARGET_OBJECT_LIBRARIES_AIX:
       if (m_core_gdbarch != nullptr
@@ -864,64 +1176,6 @@ core_target::xfer_partial (enum target_object object, const char *annex,
                return TARGET_XFER_OK;
            }
        }
-      /* FALL THROUGH */
-
-    case TARGET_OBJECT_SPU:
-      if (readbuf && annex)
-       {
-         /* When the SPU contexts are stored in a core file, BFD
-            represents this with a fake section called
-            "SPU/<annex>".  */
-
-         struct bfd_section *section;
-         bfd_size_type size;
-         char sectionstr[100];
-
-         xsnprintf (sectionstr, sizeof sectionstr, "SPU/%s", annex);
-
-         section = bfd_get_section_by_name (core_bfd, sectionstr);
-         if (section == NULL)
-           return TARGET_XFER_E_IO;
-
-         size = bfd_section_size (core_bfd, section);
-         if (offset >= size)
-           return TARGET_XFER_EOF;
-         size -= offset;
-         if (size > len)
-           size = len;
-
-         if (size == 0)
-           return TARGET_XFER_EOF;
-         if (!bfd_get_section_contents (core_bfd, section, readbuf,
-                                        (file_ptr) offset, size))
-           {
-             warning (_("Couldn't read SPU section in core file."));
-             return TARGET_XFER_E_IO;
-           }
-
-         *xfered_len = (ULONGEST) size;
-         return TARGET_XFER_OK;
-       }
-      else if (readbuf)
-       {
-         /* NULL annex requests list of all present spuids.  */
-         struct spuid_list list;
-
-         list.buf = readbuf;
-         list.offset = offset;
-         list.len = len;
-         list.pos = 0;
-         list.written = 0;
-         bfd_map_over_sections (core_bfd, add_to_spuid_list, &list);
-
-         if (list.written == 0)
-           return TARGET_XFER_EOF;
-         else
-           {
-             *xfered_len = (ULONGEST) list.written;
-             return TARGET_XFER_OK;
-           }
-       }
       return TARGET_XFER_E_IO;
 
     case TARGET_OBJECT_SIGNAL_INFO:
@@ -974,22 +1228,56 @@ core_target::thread_alive (ptid_t ptid)
 const struct target_desc *
 core_target::read_description ()
 {
+  /* First check whether the target wants us to use the corefile target
+     description notes.  */
+  if (gdbarch_use_target_description_from_corefile_notes (m_core_gdbarch,
+                                                         core_bfd))
+    {
+      /* If the core file contains a target description note then go ahead and
+        use that.  */
+      bfd_size_type tdesc_note_size = 0;
+      struct bfd_section *tdesc_note_section
+       = bfd_get_section_by_name (core_bfd, ".gdb-tdesc");
+      if (tdesc_note_section != nullptr)
+       tdesc_note_size = bfd_section_size (tdesc_note_section);
+      if (tdesc_note_size > 0)
+       {
+         gdb::char_vector contents (tdesc_note_size + 1);
+         if (bfd_get_section_contents (core_bfd, tdesc_note_section,
+                                       contents.data (), (file_ptr) 0,
+                                       tdesc_note_size))
+           {
+             /* Ensure we have a null terminator.  */
+             contents[tdesc_note_size] = '\0';
+             const struct target_desc *result
+               = string_read_description_xml (contents.data ());
+             if (result != nullptr)
+               return result;
+           }
+       }
+    }
+
+  /* If the architecture provides a corefile target description hook, use
+     it now.  Even if the core file contains a target description in a note
+     section, it is not useful for targets that can potentially have distinct
+     descriptions for each thread.  One example is AArch64's SVE/SME
+     extensions that allow per-thread vector length changes, resulting in
+     registers with different sizes.  */
   if (m_core_gdbarch && gdbarch_core_read_description_p (m_core_gdbarch))
     {
       const struct target_desc *result;
 
       result = gdbarch_core_read_description (m_core_gdbarch, this, core_bfd);
-      if (result != NULL)
+      if (result != nullptr)
        return result;
     }
 
   return this->beneath ()->read_description ();
 }
 
-const char *
+std::string
 core_target::pid_to_str (ptid_t ptid)
 {
-  static char buf[64];
   struct inferior *inf;
   int pid;
 
@@ -1009,13 +1297,12 @@ core_target::pid_to_str (ptid_t ptid)
 
   /* Otherwise, this isn't a "threaded" core -- use the PID field, but
      only if it isn't a fake PID.  */
-  inf = find_inferior_ptid (ptid);
+  inf = find_inferior_ptid (this, ptid);
   if (inf != NULL && !inf->fake_pid_p)
     return normal_pid_to_str (ptid);
 
   /* No luck.  We simply don't have a valid PID to print.  */
-  xsnprintf (buf, sizeof buf, "<main task>");
-  return buf;
+  return "<main task>";
 }
 
 const char *
@@ -1060,8 +1347,162 @@ core_target::info_proc (const char *args, enum info_proc_what request)
   return true;
 }
 
+/* Implementation of the "supports_memory_tagging" target_ops method.  */
+
+bool
+core_target::supports_memory_tagging ()
+{
+  /* Look for memory tag sections.  If they exist, that means this core file
+     supports memory tagging.  */
+
+  return (bfd_get_section_by_name (core_bfd, "memtag") != nullptr);
+}
+
+/* Implementation of the "fetch_memtags" target_ops method.  */
+
+bool
+core_target::fetch_memtags (CORE_ADDR address, size_t len,
+                           gdb::byte_vector &tags, int type)
+{
+  gdbarch *gdbarch = current_inferior ()->arch ();
+
+  /* Make sure we have a way to decode the memory tag notes.  */
+  if (!gdbarch_decode_memtag_section_p (gdbarch))
+    error (_("gdbarch_decode_memtag_section not implemented for this "
+            "architecture."));
+
+  memtag_section_info info;
+  info.memtag_section = nullptr;
+
+  while (get_next_core_memtag_section (core_bfd, info.memtag_section,
+                                      address, info))
+  {
+    size_t adjusted_length
+      = (address + len < info.end_address) ? len : (info.end_address - address);
+
+    /* Decode the memory tag note and return the tags.  */
+    gdb::byte_vector tags_read
+      = gdbarch_decode_memtag_section (gdbarch, info.memtag_section, type,
+                                      address, adjusted_length);
+
+    /* Transfer over the tags that have been read.  */
+    tags.insert (tags.end (), tags_read.begin (), tags_read.end ());
+
+    /* ADDRESS + LEN may cross the boundaries of a particular memory tag
+       segment.  Check if we need to fetch tags from a different section.  */
+    if (!tags_read.empty () && (address + len) < info.end_address)
+      return true;
+
+    /* There are more tags to fetch.  Update ADDRESS and LEN.  */
+    len -= (info.end_address - address);
+    address = info.end_address;
+  }
+
+  return false;
+}
+
+/* Implementation of the "fetch_x86_xsave_layout" target_ops method.  */
+
+x86_xsave_layout
+core_target::fetch_x86_xsave_layout ()
+{
+  if (m_core_gdbarch != nullptr &&
+      gdbarch_core_read_x86_xsave_layout_p (m_core_gdbarch))
+    {
+      x86_xsave_layout layout;
+      if (!gdbarch_core_read_x86_xsave_layout (m_core_gdbarch, layout))
+       return {};
+
+      return layout;
+    }
+
+  return {};
+}
+
+/* Get a pointer to the current core target.  If not connected to a
+   core target, return NULL.  */
+
+static core_target *
+get_current_core_target ()
+{
+  target_ops *proc_target = current_inferior ()->process_target ();
+  return dynamic_cast<core_target *> (proc_target);
+}
+
+/* Display file backed mappings from core file.  */
+
+void
+core_target::info_proc_mappings (struct gdbarch *gdbarch)
+{
+  if (!m_core_file_mappings.empty ())
+    {
+      gdb_printf (_("Mapped address spaces:\n\n"));
+      if (gdbarch_addr_bit (gdbarch) == 32)
+       {
+         gdb_printf ("\t%10s %10s %10s %10s %s\n",
+                     "Start Addr",
+                     "  End Addr",
+                     "      Size", "    Offset", "objfile");
+       }
+      else
+       {
+         gdb_printf ("  %18s %18s %10s %10s %s\n",
+                     "Start Addr",
+                     "  End Addr",
+                     "      Size", "    Offset", "objfile");
+       }
+    }
+
+  for (const target_section &tsp : m_core_file_mappings)
+    {
+      ULONGEST start = tsp.addr;
+      ULONGEST end = tsp.endaddr;
+      ULONGEST file_ofs = tsp.the_bfd_section->filepos;
+      const char *filename = bfd_get_filename (tsp.the_bfd_section->owner);
+
+      if (gdbarch_addr_bit (gdbarch) == 32)
+       gdb_printf ("\t%10s %10s %10s %10s %s\n",
+                   paddress (gdbarch, start),
+                   paddress (gdbarch, end),
+                   hex_string (end - start),
+                   hex_string (file_ofs),
+                   filename);
+      else
+       gdb_printf ("  %18s %18s %10s %10s %s\n",
+                   paddress (gdbarch, start),
+                   paddress (gdbarch, end),
+                   hex_string (end - start),
+                   hex_string (file_ofs),
+                   filename);
+    }
+}
+
+/* Implement "maintenance print core-file-backed-mappings" command.  
+
+   If mappings are loaded, the results should be similar to the
+   mappings shown by "info proc mappings".  This command is mainly a
+   debugging tool for GDB developers to make sure that the expected
+   mappings are present after loading a core file.  For Linux, the
+   output provided by this command will be very similar (if not
+   identical) to that provided by "info proc mappings".  This is not
+   necessarily the case for other OSes which might provide
+   more/different information in the "info proc mappings" output.  */
+
+static void
+maintenance_print_core_file_backed_mappings (const char *args, int from_tty)
+{
+  core_target *targ = get_current_core_target ();
+  if (targ != nullptr)
+    targ->info_proc_mappings (targ->core_gdbarch ());
+}
+
+void _initialize_corelow ();
 void
-_initialize_corelow (void)
+_initialize_corelow ()
 {
   add_target (core_target_info, core_target_open, filename_completer);
+  add_cmd ("core-file-backed-mappings", class_maintenance,
+          maintenance_print_core_file_backed_mappings,
+          _("Print core file's file-backed mappings."),
+          &maintenanceprintlist);
 }