gdb: LoongArch: Define LOONGARCH_LINUX_NUM_GREGSET as 45
[binutils-gdb.git] / gdb / macrotab.c
index 4c5341ea98ca9b78b2c8784717e2272f408c9bc5..108e6f1bbaeddec35382e988d2920ae85a503a43 100644 (file)
@@ -1,5 +1,5 @@
 /* C preprocessor macro tables for GDB.
-   Copyright (C) 2002-2015 Free Software Foundation, Inc.
+   Copyright (C) 2002-2022 Free Software Foundation, Inc.
    Contributed by Red Hat, Inc.
 
    This file is part of GDB.
@@ -18,7 +18,8 @@
    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include "defs.h"
-#include "gdb_obstack.h"
+#include "gdbsupport/gdb_obstack.h"
+#include "gdbsupport/pathstuff.h"
 #include "splay-tree.h"
 #include "filenames.h"
 #include "symtab.h"
@@ -40,7 +41,7 @@ struct macro_table
 
   /* The bcache we should use to hold macro names, argument names, and
      definitions, or zero if we should use xmalloc.  */
-  struct bcache *bcache;
+  gdb::bcache *bcache;
 
   /* The main source file for this compilation unit --- the one whose
      name was given to the compiler.  This is the root of the
@@ -113,7 +114,7 @@ static const void *
 macro_bcache (struct macro_table *t, const void *addr, int len)
 {
   if (t->bcache)
-    return bcache (addr, len, t->bcache);
+    return t->bcache->insert (addr, len);
   else
     {
       void *copy = xmalloc (len);
@@ -130,7 +131,7 @@ macro_bcache (struct macro_table *t, const void *addr, int len)
 static const char *
 macro_bcache_str (struct macro_table *t, const char *s)
 {
-  return macro_bcache (t, s, strlen (s) + 1);
+  return (const char *) macro_bcache (t, s, strlen (s) + 1);
 }
 
 
@@ -213,7 +214,7 @@ inclusion_depth (struct macro_source_file *file)
    their places.  */
 static int
 compare_locations (struct macro_source_file *file1, int line1, 
-                   struct macro_source_file *file2, int line2)
+                  struct macro_source_file *file2, int line2)
 {
   /* We want to treat positions in an #included file as coming *after*
      the line containing the #include, but *before* the line after the
@@ -229,9 +230,9 @@ compare_locations (struct macro_source_file *file1, int line1,
   if (! file1)
     {
       if (! file2)
-        return 0;
+       return 0;
       else
-        return 1;
+       return 1;
     }
   else if (! file2)
     return -1;
@@ -241,66 +242,66 @@ compare_locations (struct macro_source_file *file1, int line1,
   if (file1 != file2)
     {
       /* If one file is deeper than the other, walk up the #inclusion
-         chain until the two files are at least at the same *depth*.
-         Then, walk up both files in synchrony until they're the same
-         file.  That file is the common ancestor.  */
+        chain until the two files are at least at the same *depth*.
+        Then, walk up both files in synchrony until they're the same
+        file.  That file is the common ancestor.  */
       int depth1 = inclusion_depth (file1);
       int depth2 = inclusion_depth (file2);
 
       /* Only one of these while loops will ever execute in any given
-         case.  */
+        case.  */
       while (depth1 > depth2)
-        {
-          line1 = file1->included_at_line;
-          file1 = file1->included_by;
-          included1 = 1;
-          depth1--;
-        }
+       {
+         line1 = file1->included_at_line;
+         file1 = file1->included_by;
+         included1 = 1;
+         depth1--;
+       }
       while (depth2 > depth1)
-        {
-          line2 = file2->included_at_line;
-          file2 = file2->included_by;
-          included2 = 1;
-          depth2--;
-        }
+       {
+         line2 = file2->included_at_line;
+         file2 = file2->included_by;
+         included2 = 1;
+         depth2--;
+       }
 
       /* Now both file1 and file2 are at the same depth.  Walk toward
-         the root of the tree until we find where the branches meet.  */
+        the root of the tree until we find where the branches meet.  */
       while (file1 != file2)
-        {
-          line1 = file1->included_at_line;
-          file1 = file1->included_by;
-          /* At this point, we know that the case the includedX flags
-             are trying to deal with won't come up, but we'll just
-             maintain them anyway.  */
-          included1 = 1;
-
-          line2 = file2->included_at_line;
-          file2 = file2->included_by;
-          included2 = 1;
-
-          /* Sanity check.  If file1 and file2 are really from the
-             same compilation unit, then they should both be part of
-             the same tree, and this shouldn't happen.  */
-          gdb_assert (file1 && file2);
-        }
+       {
+         line1 = file1->included_at_line;
+         file1 = file1->included_by;
+         /* At this point, we know that the case the includedX flags
+            are trying to deal with won't come up, but we'll just
+            maintain them anyway.  */
+         included1 = 1;
+
+         line2 = file2->included_at_line;
+         file2 = file2->included_by;
+         included2 = 1;
+
+         /* Sanity check.  If file1 and file2 are really from the
+            same compilation unit, then they should both be part of
+            the same tree, and this shouldn't happen.  */
+         gdb_assert (file1 && file2);
+       }
     }
 
   /* Now we've got two line numbers in the same file.  */
   if (line1 == line2)
     {
       /* They can't both be from #included files.  Then we shouldn't
-         have walked up this far.  */
+        have walked up this far.  */
       gdb_assert (! included1 || ! included2);
 
       /* Any #included position comes after a non-#included position
-         with the same line number in the #including file.  */
+        with the same line number in the #including file.  */
       if (included1)
-        return 1;
+       return 1;
       else if (included2)
-        return -1;
+       return -1;
       else
-        return 0;
+       return 0;
     }
   else
     return line1 - line2;
@@ -318,7 +319,7 @@ compare_locations (struct macro_source_file *file1, int line1,
    after NAME, FILE, and LINE.  */
 static int
 key_compare (struct macro_key *key,
-             const char *name, struct macro_source_file *file, int line)
+            const char *name, struct macro_source_file *file, int line)
 {
   int names = strcmp (key->name, name);
 
@@ -326,7 +327,7 @@ key_compare (struct macro_key *key,
     return names;
 
   return compare_locations (key->start_file, key->start_line,
-                            file, line);
+                           file, line);
 }
 
 
@@ -334,7 +335,7 @@ key_compare (struct macro_key *key,
    library's happiness.  */
 static int
 macro_tree_compare (splay_tree_key untyped_key1,
-                    splay_tree_key untyped_key2)
+                   splay_tree_key untyped_key2)
 {
   struct macro_key *key1 = (struct macro_key *) untyped_key1;
   struct macro_key *key2 = (struct macro_key *) untyped_key2;
@@ -348,11 +349,11 @@ macro_tree_compare (splay_tree_key untyped_key1,
    the bcache.  */
 static struct macro_key *
 new_macro_key (struct macro_table *t,
-               const char *name,
-               struct macro_source_file *file,
-               int line)
+              const char *name,
+              struct macro_source_file *file,
+              int line)
 {
-  struct macro_key *k = macro_alloc (sizeof (*k), t);
+  struct macro_key *k = (struct macro_key *) macro_alloc (sizeof (*k), t);
 
   memset (k, 0, sizeof (*k));
   k->table = t;
@@ -382,10 +383,11 @@ macro_tree_delete_key (void *untyped_key)
 /* Allocate and initialize a new source file structure.  */
 static struct macro_source_file *
 new_source_file (struct macro_table *t,
-                 const char *filename)
+                const char *filename)
 {
   /* Get space for the source file structure itself.  */
-  struct macro_source_file *f = macro_alloc (sizeof (*f), t);
+  struct macro_source_file *f
+    = (struct macro_source_file *) macro_alloc (sizeof (*f), t);
 
   memset (f, 0, sizeof (*f));
   f->table = t;
@@ -416,7 +418,7 @@ free_macro_source_file (struct macro_source_file *src)
 
 struct macro_source_file *
 macro_set_main (struct macro_table *t,
-                const char *filename)
+               const char *filename)
 {
   /* You can't change a table's main source file.  What would that do
      to the tree?  */
@@ -447,8 +449,8 @@ macro_allow_redefinitions (struct macro_table *t)
 
 struct macro_source_file *
 macro_include (struct macro_source_file *source,
-               int line,
-               const char *included)
+              int line,
+              const char *included)
 {
   struct macro_source_file *newobj;
   struct macro_source_file **link;
@@ -465,32 +467,28 @@ macro_include (struct macro_source_file *source,
      the new one?  */
   if (*link && line == (*link)->included_at_line)
     {
-      char *link_fullname, *source_fullname;
-
       /* This means the compiler is emitting bogus debug info.  (GCC
-         circa March 2002 did this.)  It also means that the splay
-         tree ordering function, macro_tree_compare, will abort,
-         because it can't tell which #inclusion came first.  But GDB
-         should tolerate bad debug info.  So:
+        circa March 2002 did this.)  It also means that the splay
+        tree ordering function, macro_tree_compare, will abort,
+        because it can't tell which #inclusion came first.  But GDB
+        should tolerate bad debug info.  So:
 
-         First, squawk.  */
+        First, squawk.  */
 
-      link_fullname = macro_source_fullname (*link);
-      source_fullname = macro_source_fullname (source);
-      complaint (&symfile_complaints,
-                _("both `%s' and `%s' allegedly #included at %s:%d"),
-                included, link_fullname, source_fullname, line);
-      xfree (source_fullname);
-      xfree (link_fullname);
+      std::string link_fullname = macro_source_fullname (*link);
+      std::string source_fullname = macro_source_fullname (source);
+      complaint (_("both `%s' and `%s' allegedly #included at %s:%d"),
+                included, link_fullname.c_str (), source_fullname.c_str (),
+                line);
 
       /* Now, choose a new, unoccupied line number for this
-         #inclusion, after the alleged #inclusion line.  */
+        #inclusion, after the alleged #inclusion line.  */
       while (*link && line == (*link)->included_at_line)
-        {
-          /* This line number is taken, so try the next line.  */
-          line++;
-          link = &(*link)->next_included;
-        }
+       {
+         /* This line number is taken, so try the next line.  */
+         line++;
+         link = &(*link)->next_included;
+       }
     }
 
   /* At this point, we know that LINE is an unused line number, and
@@ -521,19 +519,19 @@ macro_lookup_inclusion (struct macro_source_file *source, const char *name)
 
     for (child = source->includes; child; child = child->next_included)
       {
-        struct macro_source_file *result
-          = macro_lookup_inclusion (child, name);
-
-        if (result)
-          {
-            int result_depth = inclusion_depth (result);
-
-            if (! best || result_depth < best_depth)
-              {
-                best = result;
-                best_depth = result_depth;
-              }
-          }
+       struct macro_source_file *result
+         = macro_lookup_inclusion (child, name);
+
+       if (result)
+         {
+           int result_depth = inclusion_depth (result);
+
+           if (! best || result_depth < best_depth)
+             {
+               best = result;
+               best_depth = result_depth;
+             }
+         }
       }
 
     return best;
@@ -549,11 +547,12 @@ macro_lookup_inclusion (struct macro_source_file *source, const char *name)
    and the macro_definition structure itself, in T's bcache.  */
 static struct macro_definition *
 new_macro_definition (struct macro_table *t,
-                      enum macro_kind kind,
-                      int argc, const char **argv,
-                      const char *replacement)
+                     enum macro_kind kind,
+                     int argc, const char **argv,
+                     const char *replacement)
 {
-  struct macro_definition *d = macro_alloc (sizeof (*d), t);
+  struct macro_definition *d
+    = (struct macro_definition *) macro_alloc (sizeof (*d), t);
 
   memset (d, 0, sizeof (*d));
   d->table = t;
@@ -568,12 +567,13 @@ new_macro_definition (struct macro_table *t,
       int cached_argv_size = argc * sizeof (*cached_argv);
 
       /* Bcache all the arguments.  */
-      cached_argv = alloca (cached_argv_size);
+      cached_argv = (const char **) alloca (cached_argv_size);
       for (i = 0; i < argc; i++)
-        cached_argv[i] = macro_bcache_str (t, argv[i]);
+       cached_argv[i] = macro_bcache_str (t, argv[i]);
 
       /* Now bcache the array of argument pointers itself.  */
-      d->argv = macro_bcache (t, cached_argv, cached_argv_size);
+      d->argv = ((const char * const *)
+                macro_bcache (t, cached_argv, cached_argv_size));
     }
 
   /* We don't bcache the entire definition structure because it's got
@@ -609,7 +609,7 @@ macro_tree_delete_value (void *untyped_definition)
       int i;
 
       for (i = 0; i < d->argc; i++)
-        macro_bcache_free (t, (char *) d->argv[i]);
+       macro_bcache_free (t, (char *) d->argv[i]);
       macro_bcache_free (t, (char **) d->argv);
     }
   
@@ -622,8 +622,8 @@ macro_tree_delete_value (void *untyped_definition)
    SOURCE, or zero if there is none.  */
 static splay_tree_node
 find_definition (const char *name,
-                 struct macro_source_file *file,
-                 int line)
+                struct macro_source_file *file,
+                int line)
 {
   struct macro_table *t = file->table;
   splay_tree_node n;
@@ -640,23 +640,23 @@ find_definition (const char *name,
   if (! n)
     {
       /* It's okay for us to do two queries like this: the real work
-         of the searching is done when we splay, and splaying the tree
-         a second time at the same key is a constant time operation.
-         If this still bugs you, you could always just extend the
-         splay tree library with a predecessor-or-equal operation, and
-         use that.  */
+        of the searching is done when we splay, and splaying the tree
+        a second time at the same key is a constant time operation.
+        If this still bugs you, you could always just extend the
+        splay tree library with a predecessor-or-equal operation, and
+        use that.  */
       splay_tree_node pred = splay_tree_predecessor (t->definitions,
-                                                     (splay_tree_key) &query);
+                                                    (splay_tree_key) &query);
      
       if (pred)
-        {
-          /* Make sure this predecessor actually has the right name.
-             We just want to search within a given name's definitions.  */
-          struct macro_key *found = (struct macro_key *) pred->key;
-
-          if (strcmp (found->name, name) == 0)
-            n = pred;
-        }
+       {
+         /* Make sure this predecessor actually has the right name.
+            We just want to search within a given name's definitions.  */
+         struct macro_key *found = (struct macro_key *) pred->key;
+
+         if (strcmp (found->name, name) == 0)
+           n = pred;
+       }
     }
 
   if (n)
@@ -664,12 +664,12 @@ find_definition (const char *name,
       struct macro_key *found = (struct macro_key *) n->key;
 
       /* Okay, so this definition has the right name, and its scope
-         begins before the given source location.  But does its scope
-         end after the given source location?  */
+        begins before the given source location.  But does its scope
+        end after the given source location?  */
       if (compare_locations (file, line, found->end_file, found->end_line) < 0)
-        return n;
+       return n;
       else
-        return 0;
+       return 0;
     }
   else
     return 0;
@@ -683,9 +683,9 @@ find_definition (const char *name,
    is `macro_function_like'.)  */
 static struct macro_key *
 check_for_redefinition (struct macro_source_file *source, int line,
-                        const char *name, enum macro_kind kind,
-                        int argc, const char **argv,
-                        const char *replacement)
+                       const char *name, enum macro_kind kind,
+                       int argc, const char **argv,
+                       const char *replacement)
 {
   splay_tree_node n = find_definition (name, source, line);
 
@@ -693,48 +693,45 @@ check_for_redefinition (struct macro_source_file *source, int line,
     {
       struct macro_key *found_key = (struct macro_key *) n->key;
       struct macro_definition *found_def
-        = (struct macro_definition *) n->value;
+       = (struct macro_definition *) n->value;
       int same = 1;
 
       /* Is this definition the same as the existing one?
-         According to the standard, this comparison needs to be done
-         on lists of tokens, not byte-by-byte, as we do here.  But
-         that's too hard for us at the moment, and comparing
-         byte-by-byte will only yield false negatives (i.e., extra
-         warning messages), not false positives (i.e., unnoticed
-         definition changes).  */
+        According to the standard, this comparison needs to be done
+        on lists of tokens, not byte-by-byte, as we do here.  But
+        that's too hard for us at the moment, and comparing
+        byte-by-byte will only yield false negatives (i.e., extra
+        warning messages), not false positives (i.e., unnoticed
+        definition changes).  */
       if (kind != found_def->kind)
-        same = 0;
+       same = 0;
       else if (strcmp (replacement, found_def->replacement))
-        same = 0;
+       same = 0;
       else if (kind == macro_function_like)
-        {
-          if (argc != found_def->argc)
-            same = 0;
-          else
-            {
-              int i;
-
-              for (i = 0; i < argc; i++)
-                if (strcmp (argv[i], found_def->argv[i]))
-                  same = 0;
-            }
-        }
+       {
+         if (argc != found_def->argc)
+           same = 0;
+         else
+           {
+             int i;
+
+             for (i = 0; i < argc; i++)
+               if (strcmp (argv[i], found_def->argv[i]))
+                 same = 0;
+           }
+       }
 
       if (! same)
-        {
-         char *source_fullname, *found_key_fullname;
-         
-         source_fullname = macro_source_fullname (source);
-         found_key_fullname = macro_source_fullname (found_key->start_file);
-         complaint (&symfile_complaints,
-                    _("macro `%s' redefined at %s:%d; "
+       {
+         std::string source_fullname = macro_source_fullname (source);
+         std::string found_key_fullname
+           = macro_source_fullname (found_key->start_file);
+         complaint (_("macro `%s' redefined at %s:%d; "
                       "original definition at %s:%d"),
-                    name, source_fullname, line, found_key_fullname,
+                    name, source_fullname.c_str (), line,
+                    found_key_fullname.c_str (),
                     found_key->start_line);
-         xfree (found_key_fullname);
-         xfree (source_fullname);
-        }
+       }
 
       return found_key;
     }
@@ -742,21 +739,26 @@ check_for_redefinition (struct macro_source_file *source, int line,
     return 0;
 }
 
-/* A helper function to define a new object-like macro.  */
+/* A helper function to define a new object-like or function-like macro
+   according to KIND.  When KIND is macro_object_like,
+   the macro_special_kind must be provided as ARGC, and ARGV must be NULL.
+   When KIND is macro_function_like, ARGC and ARGV are giving the function
+   arguments.  */
 
 static void
-macro_define_object_internal (struct macro_source_file *source, int line,
-                             const char *name, const char *replacement,
-                             enum macro_special_kind kind)
+macro_define_internal (struct macro_source_file *source, int line,
+                      const char *name, enum macro_kind kind,
+                      int argc, const char **argv,
+                      const char *replacement)
 {
   struct macro_table *t = source->table;
   struct macro_key *k = NULL;
   struct macro_definition *d;
 
   if (! t->redef_ok)
-    k = check_for_redefinition (source, line, 
-                               name, macro_object_like,
-                               0, 0,
+    k = check_for_redefinition (source, line,
+                               name, kind,
+                               argc, argv,
                                replacement);
 
   /* If we're redefining a symbol, and the existing key would be
@@ -773,10 +775,23 @@ macro_define_object_internal (struct macro_source_file *source, int line,
     return;
 
   k = new_macro_key (t, name, source, line);
-  d = new_macro_definition (t, macro_object_like, kind, 0, replacement);
+  d = new_macro_definition (t, kind, argc, argv, replacement);
   splay_tree_insert (t->definitions, (splay_tree_key) k, (splay_tree_value) d);
 }
 
+/* A helper function to define a new object-like macro.  */
+
+static void
+macro_define_object_internal (struct macro_source_file *source, int line,
+                             const char *name, const char *replacement,
+                             enum macro_special_kind special_kind)
+{
+  macro_define_internal (source, line,
+                        name, macro_object_like,
+                        special_kind, NULL,
+                        replacement);
+}
+
 void
 macro_define_object (struct macro_source_file *source, int line,
                     const char *name, const char *replacement)
@@ -798,35 +813,18 @@ macro_define_special (struct macro_table *table)
 
 void
 macro_define_function (struct macro_source_file *source, int line,
-                       const char *name, int argc, const char **argv,
-                       const char *replacement)
+                      const char *name, int argc, const char **argv,
+                      const char *replacement)
 {
-  struct macro_table *t = source->table;
-  struct macro_key *k = NULL;
-  struct macro_definition *d;
-
-  if (! t->redef_ok)
-    k = check_for_redefinition (source, line,
-                               name, macro_function_like,
-                               argc, argv,
-                               replacement);
-
-  /* See comments about duplicate keys in macro_define_object.  */
-  if (k && ! key_compare (k, name, source, line))
-    return;
-
-  /* We should also check here that all the argument names in ARGV are
-     distinct.  */
-
-  k = new_macro_key (t, name, source, line);
-  d = new_macro_definition (t, macro_function_like, argc, argv, replacement);
-  splay_tree_insert (t->definitions, (splay_tree_key) k, (splay_tree_value) d);
+  macro_define_internal (source, line,
+                        name, macro_function_like,
+                        argc, argv,
+                        replacement);
 }
 
-
 void
 macro_undef (struct macro_source_file *source, int line,
-             const char *name)
+            const char *name)
 {
   splay_tree_node n = find_definition (name, source, line);
 
@@ -835,50 +833,45 @@ macro_undef (struct macro_source_file *source, int line,
       struct macro_key *key = (struct macro_key *) n->key;
 
       /* If we're removing a definition at exactly the same point that
-         we defined it, then just delete the entry altogether.  GCC
-         4.1.2 will generate DWARF that says to do this if you pass it
-         arguments like '-DFOO -UFOO -DFOO=2'.  */
+        we defined it, then just delete the entry altogether.  GCC
+        4.1.2 will generate DWARF that says to do this if you pass it
+        arguments like '-DFOO -UFOO -DFOO=2'.  */
       if (source == key->start_file
-          && line == key->start_line)
-        splay_tree_remove (source->table->definitions, n->key);
+         && line == key->start_line)
+       splay_tree_remove (source->table->definitions, n->key);
 
       else
-        {
-          /* This function is the only place a macro's end-of-scope
-             location gets set to anything other than "end of the
-             compilation unit" (i.e., end_file is zero).  So if this
-             macro already has its end-of-scope set, then we're
-             probably seeing a second #undefinition for the same
-             #definition.  */
-          if (key->end_file)
-            {
-             char *source_fullname, *key_fullname;
-
-             source_fullname = macro_source_fullname (source);
-             key_fullname = macro_source_fullname (key->end_file);
-              complaint (&symfile_complaints,
-                         _("macro '%s' is #undefined twice,"
-                           " at %s:%d and %s:%d"),
-                        name, source_fullname, line, key_fullname,
+       {
+         /* This function is the only place a macro's end-of-scope
+            location gets set to anything other than "end of the
+            compilation unit" (i.e., end_file is zero).  So if this
+            macro already has its end-of-scope set, then we're
+            probably seeing a second #undefinition for the same
+            #definition.  */
+         if (key->end_file)
+           {
+             std::string source_fullname = macro_source_fullname (source);
+             std::string key_fullname = macro_source_fullname (key->end_file);
+             complaint (_("macro '%s' is #undefined twice,"
+                          " at %s:%d and %s:%d"),
+                        name, source_fullname.c_str (), line,
+                        key_fullname.c_str (),
                         key->end_line);
-             xfree (key_fullname);
-             xfree (source_fullname);
-            }
-
-          /* Whether or not we've seen a prior #undefinition, wipe out
-             the old ending point, and make this the ending point.  */
-          key->end_file = source;
-          key->end_line = line;
-        }
+           }
+
+         /* Whether or not we've seen a prior #undefinition, wipe out
+            the old ending point, and make this the ending point.  */
+         key->end_file = source;
+         key->end_line = line;
+       }
     }
   else
     {
       /* According to the ISO C standard, an #undef for a symbol that
-         has no macro definition in scope is ignored.  So we should
-         ignore it too.  */
+        has no macro definition in scope is ignored.  So we should
+        ignore it too.  */
 #if 0
-      complaint (&symfile_complaints,
-                _("no definition for macro `%s' in scope to #undef at %s:%d"),
+      complaint (_("no definition for macro `%s' in scope to #undef at %s:%d"),
                 name, source->filename, line);
 #endif
     }
@@ -890,25 +883,19 @@ macro_undef (struct macro_source_file *source, int line,
 static struct macro_definition *
 fixup_definition (const char *filename, int line, struct macro_definition *def)
 {
-  static char *saved_expansion;
-
-  if (saved_expansion)
-    {
-      xfree (saved_expansion);
-      saved_expansion = NULL;
-    }
+  static gdb::unique_xmalloc_ptr<char> saved_expansion;
 
   if (def->kind == macro_object_like)
     {
       if (def->argc == macro_FILE)
        {
          saved_expansion = macro_stringify (filename);
-         def->replacement = saved_expansion;
+         def->replacement = saved_expansion.get ();
        }
       else if (def->argc == macro_LINE)
        {
          saved_expansion = xstrprintf ("%d", line);
-         def->replacement = saved_expansion;
+         def->replacement = saved_expansion.get ();
        }
     }
 
@@ -917,20 +904,15 @@ fixup_definition (const char *filename, int line, struct macro_definition *def)
 
 struct macro_definition *
 macro_lookup_definition (struct macro_source_file *source,
-                         int line, const char *name)
+                        int line, const char *name)
 {
   splay_tree_node n = find_definition (name, source, line);
 
   if (n)
     {
-      struct macro_definition *retval;
-      char *source_fullname;
-
-      source_fullname = macro_source_fullname (source);
-      retval = fixup_definition (source_fullname, line,
-                                (struct macro_definition *) n->value);
-      xfree (source_fullname);
-      return retval;
+      std::string source_fullname = macro_source_fullname (source);
+      return fixup_definition (source_fullname.c_str (), line,
+                              (struct macro_definition *) n->value);
     }
   else
     return 0;
@@ -939,9 +921,9 @@ macro_lookup_definition (struct macro_source_file *source,
 
 struct macro_source_file *
 macro_definition_location (struct macro_source_file *source,
-                           int line,
-                           const char *name,
-                           int *definition_line)
+                          int line,
+                          const char *name,
+                          int *definition_line)
 {
   splay_tree_node n = find_definition (name, source, line);
 
@@ -962,8 +944,7 @@ macro_definition_location (struct macro_source_file *source,
    the FILE and LINE fields.  */
 struct macro_for_each_data
 {
-  macro_callback_fn fn;
-  void *user_data;
+  gdb::function_view<macro_callback_fn> fn;
   struct macro_source_file *file;
   int line;
 };
@@ -975,27 +956,23 @@ foreach_macro (splay_tree_node node, void *arg)
   struct macro_for_each_data *datum = (struct macro_for_each_data *) arg;
   struct macro_key *key = (struct macro_key *) node->key;
   struct macro_definition *def;
-  char *key_fullname;
 
-  key_fullname = macro_source_fullname (key->start_file);
-  def = fixup_definition (key_fullname, key->start_line,
+  std::string key_fullname = macro_source_fullname (key->start_file);
+  def = fixup_definition (key_fullname.c_str (), key->start_line,
                          (struct macro_definition *) node->value);
-  xfree (key_fullname);
 
-  (*datum->fn) (key->name, def, key->start_file, key->start_line,
-               datum->user_data);
+  datum->fn (key->name, def, key->start_file, key->start_line);
   return 0;
 }
 
 /* Call FN for every macro in TABLE.  */
 void
-macro_for_each (struct macro_table *table, macro_callback_fn fn,
-               void *user_data)
+macro_for_each (struct macro_table *table,
+               gdb::function_view<macro_callback_fn> fn)
 {
   struct macro_for_each_data datum;
 
   datum.fn = fn;
-  datum.user_data = user_data;
   datum.file = NULL;
   datum.line = 0;
   splay_tree_foreach (table->definitions, foreach_macro, &datum);
@@ -1007,12 +984,10 @@ foreach_macro_in_scope (splay_tree_node node, void *info)
   struct macro_for_each_data *datum = (struct macro_for_each_data *) info;
   struct macro_key *key = (struct macro_key *) node->key;
   struct macro_definition *def;
-  char *datum_fullname;
 
-  datum_fullname = macro_source_fullname (datum->file);
-  def = fixup_definition (datum_fullname, datum->line,
+  std::string datum_fullname = macro_source_fullname (datum->file);
+  def = fixup_definition (datum_fullname.c_str (), datum->line,
                          (struct macro_definition *) node->value);
-  xfree (datum_fullname);
 
   /* See if this macro is defined before the passed-in line, and
      extends past that line.  */
@@ -1021,20 +996,18 @@ foreach_macro_in_scope (splay_tree_node node, void *info)
       && (!key->end_file
          || compare_locations (key->end_file, key->end_line,
                                datum->file, datum->line) >= 0))
-    (*datum->fn) (key->name, def, key->start_file, key->start_line,
-                 datum->user_data);
+    datum->fn (key->name, def, key->start_file, key->start_line);
   return 0;
 }
 
 /* Call FN for every macro is visible in SCOPE.  */
 void
 macro_for_each_in_scope (struct macro_source_file *file, int line,
-                        macro_callback_fn fn, void *user_data)
+                        gdb::function_view<macro_callback_fn> fn)
 {
   struct macro_for_each_data datum;
 
   datum.fn = fn;
-  datum.user_data = user_data;
   datum.file = file;
   datum.line = line;
   splay_tree_foreach (file->table->definitions,
@@ -1047,16 +1020,16 @@ macro_for_each_in_scope (struct macro_source_file *file, int line,
 
 
 struct macro_table *
-new_macro_table (struct obstack *obstack, struct bcache *b,
+new_macro_table (struct obstack *obstack, gdb::bcache *b,
                 struct compunit_symtab *cust)
 {
   struct macro_table *t;
 
   /* First, get storage for the `struct macro_table' itself.  */
   if (obstack)
-    t = obstack_alloc (obstack, sizeof (*t));
+    t = XOBNEW (obstack, struct macro_table);
   else
-    t = xmalloc (sizeof (*t));
+    t = XNEW (struct macro_table);
 
   memset (t, 0, sizeof (*t));
   t->obstack = obstack;
@@ -1065,12 +1038,12 @@ new_macro_table (struct obstack *obstack, struct bcache *b,
   t->compunit_symtab = cust;
   t->redef_ok = 0;
   t->definitions = (splay_tree_new_with_allocator
-                    (macro_tree_compare,
-                     ((splay_tree_delete_key_fn) macro_tree_delete_key),
-                     ((splay_tree_delete_value_fn) macro_tree_delete_value),
-                     ((splay_tree_allocate_fn) macro_alloc),
-                     ((splay_tree_deallocate_fn) macro_free),
-                     t));
+                   (macro_tree_compare,
+                    ((splay_tree_delete_key_fn) macro_tree_delete_key),
+                    ((splay_tree_delete_value_fn) macro_tree_delete_value),
+                    ((splay_tree_allocate_fn) macro_alloc),
+                    ((splay_tree_deallocate_fn) macro_free),
+                    t));
   
   return t;
 }
@@ -1088,16 +1061,16 @@ free_macro_table (struct macro_table *table)
 
 /* See macrotab.h for the comment.  */
 
-char *
+std::string
 macro_source_fullname (struct macro_source_file *file)
 {
   const char *comp_dir = NULL;
 
   if (file->table->compunit_symtab != NULL)
-    comp_dir = COMPUNIT_DIRNAME (file->table->compunit_symtab);
+    comp_dir = file->table->compunit_symtab->dirname ();
 
   if (comp_dir == NULL || IS_ABSOLUTE_PATH (file->filename))
-    return xstrdup (file->filename);
+    return file->filename;
 
-  return concat (comp_dir, SLASH_STRING, file->filename, NULL);
+  return path_join (comp_dir, file->filename);
 }