ubsan: visium: left shift cannot be represented in type 'int'
[deliverable/binutils-gdb.git] / gdb / printcmd.c
index 346c2e270088ad44941870f832e91d5e8db2d025..77cdd77a16115e7bce27deec51ffab0d9ea10759 100644 (file)
@@ -1,8 +1,6 @@
 /* Print values for GNU debugger GDB.
 
-   Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
-   1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007,
-   2008, 2009, 2010 Free Software Foundation, Inc.
+   Copyright (C) 1986-2019 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include "defs.h"
-#include "gdb_string.h"
 #include "frame.h"
 #include "symtab.h"
 #include "gdbtypes.h"
 #include "value.h"
 #include "language.h"
+#include "c-lang.h"
 #include "expression.h"
 #include "gdbcore.h"
 #include "gdbcmd.h"
 #include "target.h"
 #include "breakpoint.h"
 #include "demangle.h"
+#include "gdb-demangle.h"
 #include "valprint.h"
 #include "annotate.h"
 #include "symfile.h"           /* for overlay functions */
 #include "objfiles.h"          /* ditto */
 #include "completer.h"         /* for completion functions */
 #include "ui-out.h"
-#include "gdb_assert.h"
 #include "block.h"
 #include "disasm.h"
-#include "dfp.h"
-#include "valprint.h"
-#include "exceptions.h"
-#include "observer.h"
+#include "target-float.h"
+#include "observable.h"
 #include "solist.h"
-#include "solib.h"
 #include "parser-defs.h"
 #include "charset.h"
 #include "arch-utils.h"
-
-#ifdef TUI
-#include "tui/tui.h"           /* For tui_active et.al.   */
-#endif
-
-#if defined(__MINGW32__) && !defined(PRINTF_HAS_LONG_LONG)
-# define USE_PRINTF_I64 1
-# define PRINTF_HAS_LONG_LONG
-#else
-# define USE_PRINTF_I64 0
-#endif
-
-extern int asm_demangle;       /* Whether to demangle syms in asm printouts */
-
-struct format_data
-  {
-    int count;
-    char format;
-    char size;
-
-    /* True if the value should be printed raw -- that is, bypassing
-       python-based formatters.  */
-    unsigned char raw;
-  };
+#include "cli/cli-utils.h"
+#include "cli/cli-option.h"
+#include "cli/cli-script.h"
+#include "cli/cli-style.h"
+#include "gdbsupport/format.h"
+#include "source.h"
+#include "gdbsupport/byte-vector.h"
+#include "gdbsupport/gdb_optional.h"
 
 /* Last specified output format.  */
 
@@ -83,6 +62,10 @@ static char last_format = 0;
 
 static char last_size = 'w';
 
+/* Last specified count for the 'x' command.  */
+
+static int last_count;
+
 /* Default address to examine next, and associated architecture.  */
 
 static struct gdbarch *next_gdbarch;
@@ -99,7 +82,7 @@ static CORE_ADDR last_examine_address;
 /* Contents of last address examined.
    This is not valid past the end of the `x' command!  */
 
-static struct value *last_examine_value;
+static value_ref_ptr last_examine_value;
 
 /* Largest offset between a symbolic value and an address, that will be
    printed as `0x1234 <symbol+offset>'.  */
@@ -109,28 +92,29 @@ static void
 show_max_symbolic_offset (struct ui_file *file, int from_tty,
                          struct cmd_list_element *c, const char *value)
 {
-  fprintf_filtered (file, _("\
-The largest offset that will be printed in <symbol+1234> form is %s.\n"),
+  fprintf_filtered (file,
+                   _("The largest offset that will be "
+                     "printed in <symbol+1234> form is %s.\n"),
                    value);
 }
 
 /* Append the source filename and linenumber of the symbol when
    printing a symbolic value as `<symbol at filename:linenum>' if set.  */
-static int print_symbol_filename = 0;
+static bool print_symbol_filename = false;
 static void
 show_print_symbol_filename (struct ui_file *file, int from_tty,
                            struct cmd_list_element *c, const char *value)
 {
-  fprintf_filtered (file, _("\
-Printing of source filename and line number with <symbol> is %s.\n"),
+  fprintf_filtered (file, _("Printing of source filename and "
+                           "line number with <symbol> is %s.\n"),
                    value);
 }
 
 /* Number of auto-display expression currently being displayed.
-   So that we can disable it if we get an error or a signal within it.
+   So that we can disable it if we get a signal within it.
    -1 when not doing one.  */
 
-int current_display_number;
+static int current_display_number;
 
 struct display
   {
@@ -141,7 +125,7 @@ struct display
     char *exp_string;
 
     /* Expression to be evaluated and displayed.  */
-    struct expression *exp;
+    expression_up exp;
 
     /* Item number of this auto-display item.  */
     int number;
@@ -152,10 +136,10 @@ struct display
     /* Program space associated with `block'.  */
     struct program_space *pspace;
 
-    /* Innermost block required by this expression when evaluated */
-    struct block *block;
+    /* Innermost block required by this expression when evaluated */
+    const struct block *block;
 
-    /* Status of this display (enabled or disabled) */
+    /* Status of this display (enabled or disabled) */
     int enabled_p;
   };
 
@@ -166,13 +150,19 @@ static struct display *display_chain;
 
 static int display_number;
 
-/* Prototypes for exported functions. */
+/* Walk the following statement or block through all displays.
+   ALL_DISPLAYS_SAFE does so even if the statement deletes the current
+   display.  */
 
-void output_command (char *, int);
+#define ALL_DISPLAYS(B)                                \
+  for (B = display_chain; B; B = B->next)
 
-void _initialize_printcmd (void);
+#define ALL_DISPLAYS_SAFE(B,TMP)               \
+  for (B = display_chain;                      \
+       B ? (TMP = B->next, 1): 0;              \
+       B = TMP)
 
-/* Prototypes for local functions. */
+/* Prototypes for local functions.  */
 
 static void do_one_display (struct display *);
 \f
@@ -188,18 +178,23 @@ static void do_one_display (struct display *);
    past the specification and past all whitespace following it.  */
 
 static struct format_data
-decode_format (char **string_ptr, int oformat, int osize)
+decode_format (const char **string_ptr, int oformat, int osize)
 {
   struct format_data val;
-  char *p = *string_ptr;
+  const char *p = *string_ptr;
 
   val.format = '?';
   val.size = '?';
   val.count = 1;
   val.raw = 0;
 
+  if (*p == '-')
+    {
+      val.count = -1;
+      p++;
+    }
   if (*p >= '0' && *p <= '9')
-    val.count = atoi (p);
+    val.count *= atoi (p);
   while (*p >= '0' && *p <= '9')
     p++;
 
@@ -220,9 +215,7 @@ decode_format (char **string_ptr, int oformat, int osize)
        break;
     }
 
-  while (*p == ' ' || *p == '\t')
-    p++;
-  *string_ptr = p;
+  *string_ptr = skip_spaces (p);
 
   /* Set defaults for format and size if not specified.  */
   if (val.format == '?')
@@ -260,6 +253,12 @@ decode_format (char **string_ptr, int oformat, int osize)
        /* Characters default to one byte.  */
        val.size = osize ? 'b' : osize;
        break;
+      case 's':
+       /* Display strings with byte size chars unless explicitly
+          specified.  */
+       val.size = '\0';
+       break;
+
       default:
        /* The default is the size most recently specified.  */
        val.size = osize;
@@ -292,10 +291,11 @@ print_formatted (struct value *val, int size,
        case 's':
          {
            struct type *elttype = value_type (val);
+
            next_address = (value_address (val)
-                           + val_print_string (elttype,
+                           + val_print_string (elttype, NULL,
                                                value_address (val), -1,
-                                               stream, options));
+                                               stream, options) * len);
          }
          return;
 
@@ -319,10 +319,12 @@ print_formatted (struct value *val, int size,
       || TYPE_CODE (type) == TYPE_CODE_NAMESPACE)
     value_print (val, stream, options);
   else
-    /* User specified format, so don't look to the the type to
-       tell us what to do.  */
-    print_scalar_formatted (value_contents (val), type,
-                           options, size, stream);
+    /* User specified format, so don't look to the type to tell us
+       what to do.  */
+    val_print_scalar_formatted (type,
+                               value_embedded_offset (val),
+                               val,
+                               options, size, stream);
 }
 
 /* Return builtin floating point type of same length as TYPE.
@@ -332,77 +334,32 @@ float_type_from_length (struct type *type)
 {
   struct gdbarch *gdbarch = get_type_arch (type);
   const struct builtin_type *builtin = builtin_type (gdbarch);
-  unsigned int len = TYPE_LENGTH (type);
 
-  if (len == TYPE_LENGTH (builtin->builtin_float))
+  if (TYPE_LENGTH (type) == TYPE_LENGTH (builtin->builtin_float))
     type = builtin->builtin_float;
-  else if (len == TYPE_LENGTH (builtin->builtin_double))
+  else if (TYPE_LENGTH (type) == TYPE_LENGTH (builtin->builtin_double))
     type = builtin->builtin_double;
-  else if (len == TYPE_LENGTH (builtin->builtin_long_double))
+  else if (TYPE_LENGTH (type) == TYPE_LENGTH (builtin->builtin_long_double))
     type = builtin->builtin_long_double;
 
   return type;
 }
 
 /* Print a scalar of data of type TYPE, pointed to in GDB by VALADDR,
-   according to OPTIONS and SIZE on STREAM.
-   Formats s and i are not supported at this level.
-
-   This is how the elements of an array or structure are printed
-   with a format.  */
+   according to OPTIONS and SIZE on STREAM.  Formats s and i are not
+   supported at this level.  */
 
 void
-print_scalar_formatted (const void *valaddr, struct type *type,
+print_scalar_formatted (const gdb_byte *valaddr, struct type *type,
                        const struct value_print_options *options,
                        int size, struct ui_file *stream)
 {
   struct gdbarch *gdbarch = get_type_arch (type);
-  LONGEST val_long = 0;
   unsigned int len = TYPE_LENGTH (type);
-  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
-
-  /* If we get here with a string format, try again without it.  Go
-     all the way back to the language printers, which may call us
-     again.  */
-  if (options->format == 's')
-    {
-      struct value_print_options opts = *options;
-      opts.format = 0;
-      opts.deref_ref = 0;
-      val_print (type, valaddr, 0, 0, stream, 0, &opts,
-                current_language);
-      return;
-    }
-
-  if (len > sizeof(LONGEST) &&
-      (TYPE_CODE (type) == TYPE_CODE_INT
-       || TYPE_CODE (type) == TYPE_CODE_ENUM))
-    {
-      switch (options->format)
-       {
-       case 'o':
-         print_octal_chars (stream, valaddr, len, byte_order);
-         return;
-       case 'u':
-       case 'd':
-         print_decimal_chars (stream, valaddr, len, byte_order);
-         return;
-       case 't':
-         print_binary_chars (stream, valaddr, len, byte_order);
-         return;
-       case 'x':
-         print_hex_chars (stream, valaddr, len, byte_order);
-         return;
-       case 'c':
-         print_char_chars (stream, type, valaddr, len, byte_order);
-         return;
-       default:
-         break;
-       };
-    }
+  enum bfd_endian byte_order = type_byte_order (type);
 
-  if (options->format != 'f')
-    val_long = unpack_long (type, valaddr);
+  /* String printing should go through val_print_scalar_formatted.  */
+  gdb_assert (options->format != 's');
 
   /* If the value is a pointer, and pointers and addresses are not the
      same, then at this point, the value's length (in target bytes) is
@@ -413,128 +370,137 @@ print_scalar_formatted (const void *valaddr, struct type *type,
   /* If we are printing it as unsigned, truncate it in case it is actually
      a negative signed value (e.g. "print/u (short)-1" should print 65535
      (if shorts are 16 bits) instead of 4294967295).  */
-  if (options->format != 'd' || TYPE_UNSIGNED (type))
+  if (options->format != 'c'
+      && (options->format != 'd' || TYPE_UNSIGNED (type)))
     {
-      if (len < sizeof (LONGEST))
-       val_long &= ((LONGEST) 1 << HOST_CHAR_BIT * len) - 1;
+      if (len < TYPE_LENGTH (type) && byte_order == BFD_ENDIAN_BIG)
+       valaddr += TYPE_LENGTH (type) - len;
     }
 
-  switch (options->format)
+  if (size != 0 && (options->format == 'x' || options->format == 't'))
     {
-    case 'x':
-      if (!size)
+      /* Truncate to fit.  */
+      unsigned newlen;
+      switch (size)
        {
-         /* No size specified, like in print.  Print varying # of digits.  */
-         print_longest (stream, 'x', 1, val_long);
+       case 'b':
+         newlen = 1;
+         break;
+       case 'h':
+         newlen = 2;
+         break;
+       case 'w':
+         newlen = 4;
+         break;
+       case 'g':
+         newlen = 8;
+         break;
+       default:
+         error (_("Undefined output size \"%c\"."), size);
        }
-      else
-       switch (size)
-         {
-         case 'b':
-         case 'h':
-         case 'w':
-         case 'g':
-           print_longest (stream, size, 1, val_long);
-           break;
-         default:
-           error (_("Undefined output size \"%c\"."), size);
-         }
-      break;
+      if (newlen < len && byte_order == BFD_ENDIAN_BIG)
+       valaddr += len - newlen;
+      len = newlen;
+    }
 
+  /* Historically gdb has printed floats by first casting them to a
+     long, and then printing the long.  PR cli/16242 suggests changing
+     this to using C-style hex float format.
+
+     Biased range types must also be unbiased here; the unbiasing is
+     done by unpack_long.  */
+  gdb::byte_vector converted_bytes;
+  /* Some cases below will unpack the value again.  In the biased
+     range case, we want to avoid this, so we store the unpacked value
+     here for possible use later.  */
+  gdb::optional<LONGEST> val_long;
+  if ((TYPE_CODE (type) == TYPE_CODE_FLT
+       && (options->format == 'o'
+          || options->format == 'x'
+          || options->format == 't'
+          || options->format == 'z'
+          || options->format == 'd'
+          || options->format == 'u'))
+      || (TYPE_CODE (type) == TYPE_CODE_RANGE
+         && TYPE_RANGE_DATA (type)->bias != 0))
+    {
+      val_long.emplace (unpack_long (type, valaddr));
+      converted_bytes.resize (TYPE_LENGTH (type));
+      store_signed_integer (converted_bytes.data (), TYPE_LENGTH (type),
+                           byte_order, *val_long);
+      valaddr = converted_bytes.data ();
+    }
+
+  /* Printing a non-float type as 'f' will interpret the data as if it were
+     of a floating-point type of the same length, if that exists.  Otherwise,
+     the data is printed as integer.  */
+  char format = options->format;
+  if (format == 'f' && TYPE_CODE (type) != TYPE_CODE_FLT)
+    {
+      type = float_type_from_length (type);
+      if (TYPE_CODE (type) != TYPE_CODE_FLT)
+        format = 0;
+    }
+
+  switch (format)
+    {
+    case 'o':
+      print_octal_chars (stream, valaddr, len, byte_order);
+      break;
     case 'd':
-      print_longest (stream, 'd', 1, val_long);
+      print_decimal_chars (stream, valaddr, len, true, byte_order);
       break;
-
     case 'u':
-      print_longest (stream, 'u', 0, val_long);
+      print_decimal_chars (stream, valaddr, len, false, byte_order);
       break;
-
-    case 'o':
-      if (val_long)
-       print_longest (stream, 'o', 1, val_long);
-      else
-       fprintf_filtered (stream, "0");
+    case 0:
+      if (TYPE_CODE (type) != TYPE_CODE_FLT)
+       {
+         print_decimal_chars (stream, valaddr, len, !TYPE_UNSIGNED (type),
+                              byte_order);
+         break;
+       }
+      /* FALLTHROUGH */
+    case 'f':
+      print_floating (valaddr, type, stream);
       break;
 
-    case 'a':
-      {
-       CORE_ADDR addr = unpack_pointer (type, valaddr);
-       print_address (gdbarch, addr, stream);
-      }
+    case 't':
+      print_binary_chars (stream, valaddr, len, byte_order, size > 0);
+      break;
+    case 'x':
+      print_hex_chars (stream, valaddr, len, byte_order, size > 0);
+      break;
+    case 'z':
+      print_hex_chars (stream, valaddr, len, byte_order, true);
       break;
-
     case 'c':
       {
        struct value_print_options opts = *options;
-       opts.format = 0;
 
+       if (!val_long.has_value ())
+         val_long.emplace (unpack_long (type, valaddr));
+
+       opts.format = 0;
        if (TYPE_UNSIGNED (type))
          type = builtin_type (gdbarch)->builtin_true_unsigned_char;
        else
          type = builtin_type (gdbarch)->builtin_true_char;
 
-       value_print (value_from_longest (type, val_long), stream, &opts);
+       value_print (value_from_longest (type, *val_long), stream, &opts);
       }
       break;
 
-    case 'f':
-      type = float_type_from_length (type);
-      print_floating (valaddr, type, stream);
-      break;
-
-    case 0:
-      internal_error (__FILE__, __LINE__,
-                     _("failed internal consistency check"));
-
-    case 't':
-      /* Binary; 't' stands for "two".  */
+    case 'a':
       {
-       char bits[8 * (sizeof val_long) + 1];
-       char buf[8 * (sizeof val_long) + 32];
-       char *cp = bits;
-       int width;
-
-       if (!size)
-         width = 8 * (sizeof val_long);
-       else
-         switch (size)
-           {
-           case 'b':
-             width = 8;
-             break;
-           case 'h':
-             width = 16;
-             break;
-           case 'w':
-             width = 32;
-             break;
-           case 'g':
-             width = 64;
-             break;
-           default:
-             error (_("Undefined output size \"%c\"."), size);
-           }
-
-       bits[width] = '\0';
-       while (width-- > 0)
-         {
-           bits[width] = (val_long & 1) ? '1' : '0';
-           val_long >>= 1;
-         }
-       if (!size)
-         {
-           while (*cp && *cp == '0')
-             cp++;
-           if (*cp == '\0')
-             cp--;
-         }
-       strcpy (buf, cp);
-       fputs_filtered (buf, stream);
+       if (!val_long.has_value ())
+         val_long.emplace (unpack_long (type, valaddr));
+       print_address (gdbarch, *val_long, stream);
       }
       break;
 
     default:
-      error (_("Undefined output format \"%c\"."), options->format);
+      error (_("Undefined output format \"%c\"."), format);
     }
 }
 
@@ -560,77 +526,67 @@ set_next_address (struct gdbarch *gdbarch, CORE_ADDR addr)
    DO_DEMANGLE controls whether to print a symbol in its native "raw" form,
    or to interpret it as a possible C++ name and convert it back to source
    form.  However note that DO_DEMANGLE can be overridden by the specific
-   settings of the demangle and asm_demangle variables.  */
+   settings of the demangle and asm_demangle variables.  Returns
+   non-zero if anything was printed; zero otherwise.  */
 
-void
+int
 print_address_symbolic (struct gdbarch *gdbarch, CORE_ADDR addr,
                        struct ui_file *stream,
-                       int do_demangle, char *leadin)
+                       int do_demangle, const char *leadin)
 {
-  char *name = NULL;
-  char *filename = NULL;
+  std::string name, filename;
   int unmapped = 0;
   int offset = 0;
   int line = 0;
 
-  /* Throw away both name and filename.  */
-  struct cleanup *cleanup_chain = make_cleanup (free_current_contents, &name);
-  make_cleanup (free_current_contents, &filename);
-
-  if (build_address_symbolic (gdbarch, addr, do_demangle, &name, &offset,
-                             &filename, &line, &unmapped))
-    {
-      do_cleanups (cleanup_chain);
-      return;
-    }
+  if (build_address_symbolic (gdbarch, addr, do_demangle, false, &name,
+                              &offset, &filename, &line, &unmapped))
+    return 0;
 
   fputs_filtered (leadin, stream);
   if (unmapped)
     fputs_filtered ("<*", stream);
   else
     fputs_filtered ("<", stream);
-  fputs_filtered (name, stream);
+  fputs_styled (name.c_str (), function_name_style.style (), stream);
   if (offset != 0)
-    fprintf_filtered (stream, "+%u", (unsigned int) offset);
+    fprintf_filtered (stream, "%+d", offset);
 
   /* Append source filename and line number if desired.  Give specific
      line # of this addr, if we have it; else line # of the nearest symbol.  */
-  if (print_symbol_filename && filename != NULL)
+  if (print_symbol_filename && !filename.empty ())
     {
+      fputs_filtered (line == -1 ? " in " : " at ", stream);
+      fputs_styled (filename.c_str (), file_name_style.style (), stream);
       if (line != -1)
-       fprintf_filtered (stream, " at %s:%d", filename, line);
-      else
-       fprintf_filtered (stream, " in %s", filename);
+       fprintf_filtered (stream, ":%d", line);
     }
   if (unmapped)
     fputs_filtered ("*>", stream);
   else
     fputs_filtered (">", stream);
 
-  do_cleanups (cleanup_chain);
+  return 1;
 }
 
-/* Given an address ADDR return all the elements needed to print the
-   address in a symbolic form. NAME can be mangled or not depending
-   on DO_DEMANGLE (and also on the asm_demangle global variable,
-   manipulated via ''set print asm-demangle''). Return 0 in case of
-   success, when all the info in the OUT paramters is valid. Return 1
-   otherwise. */
+/* See valprint.h.  */
+
 int
 build_address_symbolic (struct gdbarch *gdbarch,
                        CORE_ADDR addr,  /* IN */
-                       int do_demangle, /* IN */
-                       char **name,     /* OUT */
+                       bool do_demangle, /* IN */
+                       bool prefer_sym_over_minsym, /* IN */
+                       std::string *name, /* OUT */
                        int *offset,     /* OUT */
-                       char **filename, /* OUT */
+                       std::string *filename, /* OUT */
                        int *line,       /* OUT */
                        int *unmapped)   /* OUT */
 {
-  struct minimal_symbol *msymbol;
+  struct bound_minimal_symbol msymbol;
   struct symbol *symbol;
   CORE_ADDR name_location = 0;
   struct obj_section *section = NULL;
-  char *name_temp = "";
+  const char *name_temp = "";
   
   /* Let's say it is mapped (not unmapped).  */
   *unmapped = 0;
@@ -647,8 +603,10 @@ build_address_symbolic (struct gdbarch *gdbarch,
        }
     }
 
-  /* First try to find the address in the symbol table, then
-     in the minsyms.  Take the closest one.  */
+  /* Try to find the address in both the symbol table and the minsyms. 
+     In most cases, we'll prefer to use the symbol instead of the
+     minsym.  However, there are cases (see below) where we'll choose
+     to use the minsym instead.  */
 
   /* This is defective in the sense that it only finds text symbols.  So
      really this is kind of pointless--we should make sure that the
@@ -668,28 +626,57 @@ build_address_symbolic (struct gdbarch *gdbarch,
         pointer is <function+3>.  This matches the ISA behavior.  */
       addr = gdbarch_addr_bits_remove (gdbarch, addr);
 
-      name_location = BLOCK_START (SYMBOL_BLOCK_VALUE (symbol));
+      name_location = BLOCK_ENTRY_PC (SYMBOL_BLOCK_VALUE (symbol));
       if (do_demangle || asm_demangle)
-       name_temp = SYMBOL_PRINT_NAME (symbol);
+       name_temp = symbol->print_name ();
       else
-       name_temp = SYMBOL_LINKAGE_NAME (symbol);
+       name_temp = symbol->linkage_name ();
     }
 
-  if (msymbol != NULL)
+  if (msymbol.minsym != NULL
+      && MSYMBOL_HAS_SIZE (msymbol.minsym)
+      && MSYMBOL_SIZE (msymbol.minsym) == 0
+      && MSYMBOL_TYPE (msymbol.minsym) != mst_text
+      && MSYMBOL_TYPE (msymbol.minsym) != mst_text_gnu_ifunc
+      && MSYMBOL_TYPE (msymbol.minsym) != mst_file_text)
+    msymbol.minsym = NULL;
+
+  if (msymbol.minsym != NULL)
     {
-      if (SYMBOL_VALUE_ADDRESS (msymbol) > name_location || symbol == NULL)
+      /* Use the minsym if no symbol is found.
+      
+        Additionally, use the minsym instead of a (found) symbol if
+        the following conditions all hold:
+          1) The prefer_sym_over_minsym flag is false.
+          2) The minsym address is identical to that of the address under
+             consideration.
+          3) The symbol address is not identical to that of the address
+             under consideration.  */
+      if (symbol == NULL ||
+           (!prefer_sym_over_minsym
+           && BMSYMBOL_VALUE_ADDRESS (msymbol) == addr
+           && name_location != addr))
        {
-         /* The msymbol is closer to the address than the symbol;
-            use the msymbol instead.  */
+         /* If this is a function (i.e. a code address), strip out any
+            non-address bits.  For instance, display a pointer to the
+            first instruction of a Thumb function as <function>; the
+            second instruction will be <function+2>, even though the
+            pointer is <function+3>.  This matches the ISA behavior.  */
+         if (MSYMBOL_TYPE (msymbol.minsym) == mst_text
+             || MSYMBOL_TYPE (msymbol.minsym) == mst_text_gnu_ifunc
+             || MSYMBOL_TYPE (msymbol.minsym) == mst_file_text
+             || MSYMBOL_TYPE (msymbol.minsym) == mst_solib_trampoline)
+           addr = gdbarch_addr_bits_remove (gdbarch, addr);
+
          symbol = 0;
-         name_location = SYMBOL_VALUE_ADDRESS (msymbol);
+         name_location = BMSYMBOL_VALUE_ADDRESS (msymbol);
          if (do_demangle || asm_demangle)
-           name_temp = SYMBOL_PRINT_NAME (msymbol);
+           name_temp = msymbol.minsym->print_name ();
          else
-           name_temp = SYMBOL_LINKAGE_NAME (msymbol);
+           name_temp = msymbol.minsym->linkage_name ();
        }
     }
-  if (symbol == NULL && msymbol == NULL)
+  if (symbol == NULL && msymbol.minsym == NULL)
     return 1;
 
   /* If the nearest symbol is too far away, don't print anything symbolic.  */
@@ -703,9 +690,9 @@ build_address_symbolic (struct gdbarch *gdbarch,
       && name_location + max_symbolic_offset > name_location)
     return 1;
 
-  *offset = addr - name_location;
+  *offset = (LONGEST) addr - name_location;
 
-  *name = xstrdup (name_temp);
+  *name = name_temp;
 
   if (print_symbol_filename)
     {
@@ -715,7 +702,7 @@ build_address_symbolic (struct gdbarch *gdbarch,
 
       if (sal.symtab)
        {
-         *filename = xstrdup (sal.symtab->filename);
+         *filename = symtab_to_filename_for_display (sal.symtab);
          *line = sal.line;
        }
     }
@@ -731,7 +718,7 @@ void
 print_address (struct gdbarch *gdbarch,
               CORE_ADDR addr, struct ui_file *stream)
 {
-  fputs_filtered (paddress (gdbarch, addr), stream);
+  fputs_styled (paddress (gdbarch, addr), address_style.style (), stream);
   print_address_symbolic (gdbarch, addr, stream, asm_demangle, " ");
 }
 
@@ -747,9 +734,7 @@ pc_prefix (CORE_ADDR addr)
       CORE_ADDR pc;
 
       frame = get_selected_frame (NULL);
-      pc = get_frame_pc (frame);
-
-      if (pc == addr)
+      if (get_frame_pc_if_available (frame, &pc) && pc == addr)
        return "=> ";
     }
   return "   ";
@@ -757,31 +742,233 @@ pc_prefix (CORE_ADDR addr)
 
 /* Print address ADDR symbolically on STREAM.  Parameter DEMANGLE
    controls whether to print the symbolic name "raw" or demangled.
-   Global setting "addressprint" controls whether to print hex address
-   or not.  */
+   Return non-zero if anything was printed; zero otherwise.  */
 
-void
-print_address_demangle (struct gdbarch *gdbarch, CORE_ADDR addr,
+int
+print_address_demangle (const struct value_print_options *opts,
+                       struct gdbarch *gdbarch, CORE_ADDR addr,
                        struct ui_file *stream, int do_demangle)
 {
-  struct value_print_options opts;
-  get_user_print_options (&opts);
-  if (addr == 0)
+  if (opts->addressprint)
     {
-      fprintf_filtered (stream, "0");
-    }
-  else if (opts.addressprint)
-    {
-      fputs_filtered (paddress (gdbarch, addr), stream);
+      fputs_styled (paddress (gdbarch, addr), address_style.style (), stream);
       print_address_symbolic (gdbarch, addr, stream, do_demangle, " ");
     }
   else
     {
-      print_address_symbolic (gdbarch, addr, stream, do_demangle, "");
+      return print_address_symbolic (gdbarch, addr, stream, do_demangle, "");
     }
+  return 1;
 }
 \f
 
+/* Find the address of the instruction that is INST_COUNT instructions before
+   the instruction at ADDR.
+   Since some architectures have variable-length instructions, we can't just
+   simply subtract INST_COUNT * INSN_LEN from ADDR.  Instead, we use line
+   number information to locate the nearest known instruction boundary,
+   and disassemble forward from there.  If we go out of the symbol range
+   during disassembling, we return the lowest address we've got so far and
+   set the number of instructions read to INST_READ.  */
+
+static CORE_ADDR
+find_instruction_backward (struct gdbarch *gdbarch, CORE_ADDR addr,
+                           int inst_count, int *inst_read)
+{
+  /* The vector PCS is used to store instruction addresses within
+     a pc range.  */
+  CORE_ADDR loop_start, loop_end, p;
+  std::vector<CORE_ADDR> pcs;
+  struct symtab_and_line sal;
+
+  *inst_read = 0;
+  loop_start = loop_end = addr;
+
+  /* In each iteration of the outer loop, we get a pc range that ends before
+     LOOP_START, then we count and store every instruction address of the range
+     iterated in the loop.
+     If the number of instructions counted reaches INST_COUNT, return the
+     stored address that is located INST_COUNT instructions back from ADDR.
+     If INST_COUNT is not reached, we subtract the number of counted
+     instructions from INST_COUNT, and go to the next iteration.  */
+  do
+    {
+      pcs.clear ();
+      sal = find_pc_sect_line (loop_start, NULL, 1);
+      if (sal.line <= 0)
+        {
+          /* We reach here when line info is not available.  In this case,
+             we print a message and just exit the loop.  The return value
+             is calculated after the loop.  */
+          printf_filtered (_("No line number information available "
+                             "for address "));
+          wrap_here ("  ");
+          print_address (gdbarch, loop_start - 1, gdb_stdout);
+          printf_filtered ("\n");
+          break;
+        }
+
+      loop_end = loop_start;
+      loop_start = sal.pc;
+
+      /* This loop pushes instruction addresses in the range from
+         LOOP_START to LOOP_END.  */
+      for (p = loop_start; p < loop_end;)
+        {
+         pcs.push_back (p);
+          p += gdb_insn_length (gdbarch, p);
+        }
+
+      inst_count -= pcs.size ();
+      *inst_read += pcs.size ();
+    }
+  while (inst_count > 0);
+
+  /* After the loop, the vector PCS has instruction addresses of the last
+     source line we processed, and INST_COUNT has a negative value.
+     We return the address at the index of -INST_COUNT in the vector for
+     the reason below.
+     Let's assume the following instruction addresses and run 'x/-4i 0x400e'.
+       Line X of File
+          0x4000
+          0x4001
+          0x4005
+       Line Y of File
+          0x4009
+          0x400c
+       => 0x400e
+          0x4011
+     find_instruction_backward is called with INST_COUNT = 4 and expected to
+     return 0x4001.  When we reach here, INST_COUNT is set to -1 because
+     it was subtracted by 2 (from Line Y) and 3 (from Line X).  The value
+     4001 is located at the index 1 of the last iterated line (= Line X),
+     which is simply calculated by -INST_COUNT.
+     The case when the length of PCS is 0 means that we reached an area for
+     which line info is not available.  In such case, we return LOOP_START,
+     which was the lowest instruction address that had line info.  */
+  p = pcs.size () > 0 ? pcs[-inst_count] : loop_start;
+
+  /* INST_READ includes all instruction addresses in a pc range.  Need to
+     exclude the beginning part up to the address we're returning.  That
+     is, exclude {0x4000} in the example above.  */
+  if (inst_count < 0)
+    *inst_read += inst_count;
+
+  return p;
+}
+
+/* Backward read LEN bytes of target memory from address MEMADDR + LEN,
+   placing the results in GDB's memory from MYADDR + LEN.  Returns
+   a count of the bytes actually read.  */
+
+static int
+read_memory_backward (struct gdbarch *gdbarch,
+                      CORE_ADDR memaddr, gdb_byte *myaddr, int len)
+{
+  int errcode;
+  int nread;      /* Number of bytes actually read.  */
+
+  /* First try a complete read.  */
+  errcode = target_read_memory (memaddr, myaddr, len);
+  if (errcode == 0)
+    {
+      /* Got it all.  */
+      nread = len;
+    }
+  else
+    {
+      /* Loop, reading one byte at a time until we get as much as we can.  */
+      memaddr += len;
+      myaddr += len;
+      for (nread = 0; nread < len; ++nread)
+        {
+          errcode = target_read_memory (--memaddr, --myaddr, 1);
+          if (errcode != 0)
+            {
+              /* The read was unsuccessful, so exit the loop.  */
+              printf_filtered (_("Cannot access memory at address %s\n"),
+                               paddress (gdbarch, memaddr));
+              break;
+            }
+        }
+    }
+  return nread;
+}
+
+/* Returns true if X (which is LEN bytes wide) is the number zero.  */
+
+static int
+integer_is_zero (const gdb_byte *x, int len)
+{
+  int i = 0;
+
+  while (i < len && x[i] == 0)
+    ++i;
+  return (i == len);
+}
+
+/* Find the start address of a string in which ADDR is included.
+   Basically we search for '\0' and return the next address,
+   but if OPTIONS->PRINT_MAX is smaller than the length of a string,
+   we stop searching and return the address to print characters as many as
+   PRINT_MAX from the string.  */
+
+static CORE_ADDR
+find_string_backward (struct gdbarch *gdbarch,
+                      CORE_ADDR addr, int count, int char_size,
+                      const struct value_print_options *options,
+                      int *strings_counted)
+{
+  const int chunk_size = 0x20;
+  int read_error = 0;
+  int chars_read = 0;
+  int chars_to_read = chunk_size;
+  int chars_counted = 0;
+  int count_original = count;
+  CORE_ADDR string_start_addr = addr;
+
+  gdb_assert (char_size == 1 || char_size == 2 || char_size == 4);
+  gdb::byte_vector buffer (chars_to_read * char_size);
+  while (count > 0 && read_error == 0)
+    {
+      int i;
+
+      addr -= chars_to_read * char_size;
+      chars_read = read_memory_backward (gdbarch, addr, buffer.data (),
+                                         chars_to_read * char_size);
+      chars_read /= char_size;
+      read_error = (chars_read == chars_to_read) ? 0 : 1;
+      /* Searching for '\0' from the end of buffer in backward direction.  */
+      for (i = 0; i < chars_read && count > 0 ; ++i, ++chars_counted)
+        {
+          int offset = (chars_to_read - i - 1) * char_size;
+
+          if (integer_is_zero (&buffer[offset], char_size)
+              || chars_counted == options->print_max)
+            {
+              /* Found '\0' or reached print_max.  As OFFSET is the offset to
+                 '\0', we add CHAR_SIZE to return the start address of
+                 a string.  */
+              --count;
+              string_start_addr = addr + offset + char_size;
+              chars_counted = 0;
+            }
+        }
+    }
+
+  /* Update STRINGS_COUNTED with the actual number of loaded strings.  */
+  *strings_counted = count_original - count;
+
+  if (read_error != 0)
+    {
+      /* In error case, STRING_START_ADDR is pointing to the string that
+         was last successfully loaded.  Rewind the partially loaded string.  */
+      string_start_addr -= chars_counted * char_size;
+    }
+
+  return string_start_addr;
+}
+
 /* Examine data at address ADDR in format FMT.
    Fetch it from memory and print on gdb_stdout.  */
 
@@ -795,6 +982,8 @@ do_examine (struct format_data fmt, struct gdbarch *gdbarch, CORE_ADDR addr)
   int i;
   int maxelts;
   struct value_print_options opts;
+  int need_to_update_next_address = 0;
+  CORE_ADDR addr_rewound = 0;
 
   format = fmt.format;
   size = fmt.size;
@@ -802,9 +991,11 @@ do_examine (struct format_data fmt, struct gdbarch *gdbarch, CORE_ADDR addr)
   next_gdbarch = gdbarch;
   next_address = addr;
 
-  /* String or instruction format implies fetch single bytes
-     regardless of the specified size.  */
-  if (format == 's' || format == 'i')
+  /* Instruction format implies fetch single bytes
+     regardless of the specified size.
+     The case of strings is handled in decode_format, only explicit
+     size operator are not changed to 'b'.  */
+  if (format == 'i')
     size = 'b';
 
   if (size == 'a')
@@ -831,6 +1022,28 @@ do_examine (struct format_data fmt, struct gdbarch *gdbarch, CORE_ADDR addr)
   else if (size == 'g')
     val_type = builtin_type (next_gdbarch)->builtin_int64;
 
+  if (format == 's')
+    {
+      struct type *char_type = NULL;
+
+      /* Search for "char16_t"  or "char32_t" types or fall back to 8-bit char
+        if type is not found.  */
+      if (size == 'h')
+       char_type = builtin_type (next_gdbarch)->builtin_char16;
+      else if (size == 'w')
+       char_type = builtin_type (next_gdbarch)->builtin_char32;
+      if (char_type)
+        val_type = char_type;
+      else
+        {
+         if (size != '\0' && size != 'b')
+           warning (_("Unable to display strings with "
+                      "size '%c', using 'b' instead."), size);
+         size = 'b';
+         val_type = builtin_type (next_gdbarch)->builtin_int8;
+        }
+    }
+
   maxelts = 8;
   if (size == 'w')
     maxelts = 4;
@@ -841,6 +1054,38 @@ do_examine (struct format_data fmt, struct gdbarch *gdbarch, CORE_ADDR addr)
 
   get_formatted_print_options (&opts, format);
 
+  if (count < 0)
+    {
+      /* This is the negative repeat count case.
+         We rewind the address based on the given repeat count and format,
+         then examine memory from there in forward direction.  */
+
+      count = -count;
+      if (format == 'i')
+        {
+          next_address = find_instruction_backward (gdbarch, addr, count,
+                                                    &count);
+        }
+      else if (format == 's')
+        {
+          next_address = find_string_backward (gdbarch, addr, count,
+                                               TYPE_LENGTH (val_type),
+                                               &opts, &count);
+        }
+      else
+        {
+          next_address = addr - count * TYPE_LENGTH (val_type);
+        }
+
+      /* The following call to print_formatted updates next_address in every
+         iteration.  In backward case, we store the start address here
+         and update next_address with it before exiting the function.  */
+      addr_rewound = (format == 's'
+                      ? next_address - TYPE_LENGTH (val_type)
+                      : next_address);
+      need_to_update_next_address = 1;
+    }
+
   /* Print as many objects as specified in COUNT, at most maxelts per line,
      with the address of the next one at the start of each line.  */
 
@@ -860,9 +1105,6 @@ do_examine (struct format_data fmt, struct gdbarch *gdbarch, CORE_ADDR addr)
             object.  */
          last_examine_address = next_address;
 
-         if (last_examine_value)
-           value_free (last_examine_value);
-
          /* The value to be displayed is not fetched greedily.
             Instead, to avoid the possibility of a fetched value not
             being used, its retrieval is delayed until the print code
@@ -871,25 +1113,25 @@ do_examine (struct format_data fmt, struct gdbarch *gdbarch, CORE_ADDR addr)
             the address stored in LAST_EXAMINE_VALUE.  FIXME: Should
             the disassembler be modified so that LAST_EXAMINE_VALUE
             is left with the byte sequence from the last complete
-            instruction fetched from memory? */
-         last_examine_value = value_at_lazy (val_type, next_address);
+            instruction fetched from memory?  */
+         last_examine_value
+           = release_value (value_at_lazy (val_type, next_address));
 
-         if (last_examine_value)
-           release_value (last_examine_value);
-
-         print_formatted (last_examine_value, size, &opts, gdb_stdout);
+         print_formatted (last_examine_value.get (), size, &opts, gdb_stdout);
 
          /* Display any branch delay slots following the final insn.  */
          if (format == 'i' && count == 1)
            count += branch_delay_insns;
        }
       printf_filtered ("\n");
-      gdb_flush (gdb_stdout);
     }
+
+  if (need_to_update_next_address)
+    next_address = addr_rewound;
 }
 \f
 static void
-validate_format (struct format_data fmt, char *cmdname)
+validate_format (struct format_data fmt, const char *cmdname)
 {
   if (fmt.size != 0)
     error (_("Size letters are meaningless in \"%s\" command."), cmdname);
@@ -901,113 +1143,122 @@ validate_format (struct format_data fmt, char *cmdname)
           fmt.format, cmdname);
 }
 
-/* Evaluate string EXP as an expression in the current language and
-   print the resulting value.  EXP may contain a format specifier as the
-   first argument ("/x myvar" for example, to print myvar in hex).  */
+/* Parse print command format string into *OPTS and update *EXPP.
+   CMDNAME should name the current command.  */
 
-static void
-print_command_1 (char *exp, int inspect, int voidprint)
+void
+print_command_parse_format (const char **expp, const char *cmdname,
+                           value_print_options *opts)
 {
-  struct expression *expr;
-  struct cleanup *old_chain = 0;
-  char format = 0;
-  struct value *val;
-  struct format_data fmt;
-  int cleanup = 0;
+  const char *exp = *expp;
 
+  /* opts->raw value might already have been set by 'set print raw-values'
+     or by using 'print -raw-values'.
+     So, do not set opts->raw to 0, only set it to 1 if /r is given.  */
   if (exp && *exp == '/')
     {
+      format_data fmt;
+
       exp++;
       fmt = decode_format (&exp, last_format, 0);
-      validate_format (fmt, "print");
-      last_format = format = fmt.format;
+      validate_format (fmt, cmdname);
+      last_format = fmt.format;
+
+      opts->format = fmt.format;
+      opts->raw = opts->raw || fmt.raw;
     }
   else
     {
-      fmt.count = 1;
-      fmt.format = 0;
-      fmt.size = 0;
-      fmt.raw = 0;
+      opts->format = 0;
     }
 
-  if (exp && *exp)
-    {
-      struct type *type;
-      expr = parse_expression (exp);
-      old_chain = make_cleanup (free_current_contents, &expr);
-      cleanup = 1;
-      val = evaluate_expression (expr);
-    }
-  else
-    val = access_value_history (0);
+  *expp = exp;
+}
 
-  if (voidprint || (val && value_type (val) &&
-                   TYPE_CODE (value_type (val)) != TYPE_CODE_VOID))
-    {
-      struct value_print_options opts;
-      int histindex = record_latest_value (val);
+/* See valprint.h.  */
 
-      if (histindex >= 0)
-       annotate_value_history_begin (histindex, value_type (val));
-      else
-       annotate_value_begin (value_type (val));
+void
+print_value (value *val, const value_print_options &opts)
+{
+  int histindex = record_latest_value (val);
 
-      if (inspect)
-       printf_unfiltered ("\031(gdb-makebuffer \"%s\"  %d '(\"",
-                          exp, histindex);
-      else if (histindex >= 0)
-       printf_filtered ("$%d = ", histindex);
+  annotate_value_history_begin (histindex, value_type (val));
 
-      if (histindex >= 0)
-       annotate_value_history_value ();
+  printf_filtered ("$%d = ", histindex);
 
-      get_formatted_print_options (&opts, format);
-      opts.inspect_it = inspect;
-      opts.raw = fmt.raw;
+  annotate_value_history_value ();
 
-      print_formatted (val, fmt.size, &opts, gdb_stdout);
-      printf_filtered ("\n");
+  print_formatted (val, 0, &opts, gdb_stdout);
+  printf_filtered ("\n");
 
-      if (histindex >= 0)
-       annotate_value_history_end ();
-      else
-       annotate_value_end ();
+  annotate_value_history_end ();
+}
+
+/* Implementation of the "print" and "call" commands.  */
+
+static void
+print_command_1 (const char *args, int voidprint)
+{
+  struct value *val;
+  value_print_options print_opts;
+
+  get_user_print_options (&print_opts);
+  /* Override global settings with explicit options, if any.  */
+  auto group = make_value_print_options_def_group (&print_opts);
+  gdb::option::process_options
+    (&args, gdb::option::PROCESS_OPTIONS_REQUIRE_DELIMITER, group);
+
+  print_command_parse_format (&args, "print", &print_opts);
 
-      if (inspect)
-       printf_unfiltered ("\") )\030");
+  const char *exp = args;
+
+  if (exp != nullptr && *exp)
+    {
+      expression_up expr = parse_expression (exp);
+      val = evaluate_expression (expr.get ());
     }
+  else
+    val = access_value_history (0);
 
-  if (cleanup)
-    do_cleanups (old_chain);
+  if (voidprint || (val && value_type (val) &&
+                   TYPE_CODE (value_type (val)) != TYPE_CODE_VOID))
+    print_value (val, print_opts);
 }
 
-static void
-print_command (char *exp, int from_tty)
+/* See valprint.h.  */
+
+void
+print_command_completer (struct cmd_list_element *ignore,
+                        completion_tracker &tracker,
+                        const char *text, const char * /*word*/)
 {
-  print_command_1 (exp, 0, 1);
+  const auto group = make_value_print_options_def_group (nullptr);
+  if (gdb::option::complete_options
+      (tracker, &text, gdb::option::PROCESS_OPTIONS_REQUIRE_DELIMITER, group))
+    return;
+
+  const char *word = advance_to_expression_complete_word_point (tracker, text);
+  expression_completer (ignore, tracker, text, word);
 }
 
-/* Same as print, except in epoch, it gets its own window.  */
 static void
-inspect_command (char *exp, int from_tty)
+print_command (const char *exp, int from_tty)
 {
-  extern int epoch_interface;
-
-  print_command_1 (exp, epoch_interface, 1);
+  print_command_1 (exp, 1);
 }
 
 /* Same as print, except it doesn't print void results.  */
 static void
-call_command (char *exp, int from_tty)
+call_command (const char *exp, int from_tty)
 {
-  print_command_1 (exp, 0, 0);
+  print_command_1 (exp, 0);
 }
 
+/* Implementation of the "output" command.  */
+
 void
-output_command (char *exp, int from_tty)
+output_command (const char *exp, int from_tty)
 {
-  struct expression *expr;
-  struct cleanup *old_chain;
   char format = 0;
   struct value *val;
   struct format_data fmt;
@@ -1024,10 +1275,9 @@ output_command (char *exp, int from_tty)
       format = fmt.format;
     }
 
-  expr = parse_expression (exp);
-  old_chain = make_cleanup (free_current_contents, &expr);
+  expression_up expr = parse_expression (exp);
 
-  val = evaluate_expression (expr);
+  val = evaluate_expression (expr.get ());
 
   annotate_value_begin (value_type (val));
 
@@ -1039,25 +1289,36 @@ output_command (char *exp, int from_tty)
 
   wrap_here ("");
   gdb_flush (gdb_stdout);
-
-  do_cleanups (old_chain);
 }
 
 static void
-set_command (char *exp, int from_tty)
+set_command (const char *exp, int from_tty)
 {
-  struct expression *expr = parse_expression (exp);
-  struct cleanup *old_chain =
-    make_cleanup (free_current_contents, &expr);
-  evaluate_expression (expr);
-  do_cleanups (old_chain);
+  expression_up expr = parse_expression (exp);
+
+  if (expr->nelts >= 1)
+    switch (expr->elts[0].opcode)
+      {
+      case UNOP_PREINCREMENT:
+      case UNOP_POSTINCREMENT:
+      case UNOP_PREDECREMENT:
+      case UNOP_POSTDECREMENT:
+      case BINOP_ASSIGN:
+      case BINOP_ASSIGN_MODIFY:
+      case BINOP_COMMA:
+       break;
+      default:
+       warning
+         (_("Expression is not an assignment (and might have no effect)"));
+      }
+
+  evaluate_expression (expr.get ());
 }
 
 static void
-sym_info (char *arg, int from_tty)
+info_symbol_command (const char *arg, int from_tty)
 {
   struct minimal_symbol *msymbol;
-  struct objfile *objfile;
   struct obj_section *osect;
   CORE_ADDR addr, sect_addr;
   int matches = 0;
@@ -1067,105 +1328,105 @@ sym_info (char *arg, int from_tty)
     error_no_arg (_("address"));
 
   addr = parse_and_eval_address (arg);
-  ALL_OBJSECTIONS (objfile, osect)
-  {
-    /* Only process each object file once, even if there's a separate
-       debug file.  */
-    if (objfile->separate_debug_objfile_backlink)
-      continue;
-
-    sect_addr = overlay_mapped_address (addr, osect);
-
-    if (obj_section_addr (osect) <= sect_addr
-       && sect_addr < obj_section_endaddr (osect)
-       && (msymbol = lookup_minimal_symbol_by_pc_section (sect_addr, osect)))
+  for (objfile *objfile : current_program_space->objfiles ())
+    ALL_OBJFILE_OSECTIONS (objfile, osect)
       {
-       const char *obj_name, *mapped, *sec_name, *msym_name;
-       char *loc_string;
-       struct cleanup *old_chain;
-
-       matches = 1;
-       offset = sect_addr - SYMBOL_VALUE_ADDRESS (msymbol);
-       mapped = section_is_mapped (osect) ? _("mapped") : _("unmapped");
-       sec_name = osect->the_bfd_section->name;
-       msym_name = SYMBOL_PRINT_NAME (msymbol);
-
-       /* Don't print the offset if it is zero.
-          We assume there's no need to handle i18n of "sym + offset".  */
-       if (offset)
-         loc_string = xstrprintf ("%s + %u", msym_name, offset);
-       else
-         loc_string = xstrprintf ("%s", msym_name);
-
-       /* Use a cleanup to free loc_string in case the user quits
-          a pagination request inside printf_filtered.  */
-       old_chain = make_cleanup (xfree, loc_string);
-
-       gdb_assert (osect->objfile && osect->objfile->name);
-       obj_name = osect->objfile->name;
-
-       if (MULTI_OBJFILE_P ())
-         if (pc_in_unmapped_range (addr, osect))
-           if (section_is_overlay (osect))
-             printf_filtered (_("%s in load address range of "
-                                "%s overlay section %s of %s\n"),
-                              loc_string, mapped, sec_name, obj_name);
-           else
-             printf_filtered (_("%s in load address range of "
-                                "section %s of %s\n"),
-                              loc_string, sec_name, obj_name);
-         else
-           if (section_is_overlay (osect))
-             printf_filtered (_("%s in %s overlay section %s of %s\n"),
-                              loc_string, mapped, sec_name, obj_name);
-           else
-             printf_filtered (_("%s in section %s of %s\n"),
-                              loc_string, sec_name, obj_name);
-       else
-         if (pc_in_unmapped_range (addr, osect))
-           if (section_is_overlay (osect))
-             printf_filtered (_("%s in load address range of %s overlay "
-                                "section %s\n"),
-                              loc_string, mapped, sec_name);
+       /* Only process each object file once, even if there's a separate
+          debug file.  */
+       if (objfile->separate_debug_objfile_backlink)
+         continue;
+
+       sect_addr = overlay_mapped_address (addr, osect);
+
+       if (obj_section_addr (osect) <= sect_addr
+           && sect_addr < obj_section_endaddr (osect)
+           && (msymbol
+               = lookup_minimal_symbol_by_pc_section (sect_addr,
+                                                      osect).minsym))
+         {
+           const char *obj_name, *mapped, *sec_name, *msym_name;
+           const char *loc_string;
+
+           matches = 1;
+           offset = sect_addr - MSYMBOL_VALUE_ADDRESS (objfile, msymbol);
+           mapped = section_is_mapped (osect) ? _("mapped") : _("unmapped");
+           sec_name = osect->the_bfd_section->name;
+           msym_name = msymbol->print_name ();
+
+           /* Don't print the offset if it is zero.
+              We assume there's no need to handle i18n of "sym + offset".  */
+           std::string string_holder;
+           if (offset)
+             {
+               string_holder = string_printf ("%s + %u", msym_name, offset);
+               loc_string = string_holder.c_str ();
+             }
            else
-             printf_filtered (_("%s in load address range of section %s\n"),
-                              loc_string, sec_name);
-         else
-           if (section_is_overlay (osect))
-             printf_filtered (_("%s in %s overlay section %s\n"),
-                              loc_string, mapped, sec_name);
+             loc_string = msym_name;
+
+           gdb_assert (osect->objfile && objfile_name (osect->objfile));
+           obj_name = objfile_name (osect->objfile);
+
+           if (current_program_space->multi_objfile_p ())
+             if (pc_in_unmapped_range (addr, osect))
+               if (section_is_overlay (osect))
+                 printf_filtered (_("%s in load address range of "
+                                    "%s overlay section %s of %s\n"),
+                                  loc_string, mapped, sec_name, obj_name);
+               else
+                 printf_filtered (_("%s in load address range of "
+                                    "section %s of %s\n"),
+                                  loc_string, sec_name, obj_name);
+             else
+               if (section_is_overlay (osect))
+                 printf_filtered (_("%s in %s overlay section %s of %s\n"),
+                                  loc_string, mapped, sec_name, obj_name);
+               else
+                 printf_filtered (_("%s in section %s of %s\n"),
+                                  loc_string, sec_name, obj_name);
            else
-             printf_filtered (_("%s in section %s\n"),
-                              loc_string, sec_name);
-
-       do_cleanups (old_chain);
+             if (pc_in_unmapped_range (addr, osect))
+               if (section_is_overlay (osect))
+                 printf_filtered (_("%s in load address range of %s overlay "
+                                    "section %s\n"),
+                                  loc_string, mapped, sec_name);
+               else
+                 printf_filtered
+                   (_("%s in load address range of section %s\n"),
+                    loc_string, sec_name);
+             else
+               if (section_is_overlay (osect))
+                 printf_filtered (_("%s in %s overlay section %s\n"),
+                                  loc_string, mapped, sec_name);
+               else
+                 printf_filtered (_("%s in section %s\n"),
+                                  loc_string, sec_name);
+         }
       }
-  }
   if (matches == 0)
     printf_filtered (_("No symbol matches %s.\n"), arg);
 }
 
 static void
-address_info (char *exp, int from_tty)
+info_address_command (const char *exp, int from_tty)
 {
   struct gdbarch *gdbarch;
   int regno;
   struct symbol *sym;
-  struct minimal_symbol *msymbol;
+  struct bound_minimal_symbol msymbol;
   long val;
   struct obj_section *section;
-  CORE_ADDR load_addr;
-  int is_a_field_of_this;      /* C++: lookup_symbol sets this to nonzero
-                                  if exp is a field of `this'. */
+  CORE_ADDR load_addr, context_pc = 0;
+  struct field_of_this_result is_a_field_of_this;
 
   if (exp == 0)
     error (_("Argument required."));
 
-  sym = lookup_symbol (exp, get_selected_block (0), VAR_DOMAIN,
-                      &is_a_field_of_this);
+  sym = lookup_symbol (exp, get_selected_block (&context_pc), VAR_DOMAIN,
+                      &is_a_field_of_this).symbol;
   if (sym == NULL)
     {
-      if (is_a_field_of_this)
+      if (is_a_field_of_this.type != NULL)
        {
          printf_filtered ("Symbol \"");
          fprintf_symbol_filtered (gdb_stdout, exp,
@@ -1178,25 +1439,30 @@ address_info (char *exp, int from_tty)
          return;
        }
 
-      msymbol = lookup_minimal_symbol (exp, NULL, NULL);
+      msymbol = lookup_bound_minimal_symbol (exp);
 
-      if (msymbol != NULL)
+      if (msymbol.minsym != NULL)
        {
-         gdbarch = get_objfile_arch (msymbol_objfile (msymbol));
-         load_addr = SYMBOL_VALUE_ADDRESS (msymbol);
+         struct objfile *objfile = msymbol.objfile;
+
+         gdbarch = get_objfile_arch (objfile);
+         load_addr = BMSYMBOL_VALUE_ADDRESS (msymbol);
 
          printf_filtered ("Symbol \"");
          fprintf_symbol_filtered (gdb_stdout, exp,
                                   current_language->la_language, DMGL_ANSI);
          printf_filtered ("\" is at ");
-         fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+         fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
+                       gdb_stdout);
          printf_filtered (" in a file compiled without debugging");
-         section = SYMBOL_OBJ_SECTION (msymbol);
+         section = MSYMBOL_OBJ_SECTION (objfile, msymbol.minsym);
          if (section_is_overlay (section))
            {
              load_addr = overlay_unmapped_address (load_addr, section);
              printf_filtered (",\n -- loaded at ");
-             fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+             fputs_styled (paddress (gdbarch, load_addr),
+                           address_style.style (),
+                           gdb_stdout);
              printf_filtered (" in overlay section %s",
                               section->the_bfd_section->name);
            }
@@ -1208,12 +1474,23 @@ address_info (char *exp, int from_tty)
     }
 
   printf_filtered ("Symbol \"");
-  fprintf_symbol_filtered (gdb_stdout, SYMBOL_PRINT_NAME (sym),
+  fprintf_symbol_filtered (gdb_stdout, sym->print_name (),
                           current_language->la_language, DMGL_ANSI);
   printf_filtered ("\" is ");
   val = SYMBOL_VALUE (sym);
-  section = SYMBOL_OBJ_SECTION (sym);
-  gdbarch = get_objfile_arch (SYMBOL_SYMTAB (sym)->objfile);
+  if (SYMBOL_OBJFILE_OWNED (sym))
+    section = SYMBOL_OBJ_SECTION (symbol_objfile (sym), sym);
+  else
+    section = NULL;
+  gdbarch = symbol_arch (sym);
+
+  if (SYMBOL_COMPUTED_OPS (sym) != NULL)
+    {
+      SYMBOL_COMPUTED_OPS (sym)->describe_location (sym, context_pc,
+                                                   gdb_stdout);
+      printf_filtered (".\n");
+      return;
+    }
 
   switch (SYMBOL_CLASS (sym))
     {
@@ -1225,25 +1502,21 @@ address_info (char *exp, int from_tty)
     case LOC_LABEL:
       printf_filtered ("a label at address ");
       load_addr = SYMBOL_VALUE_ADDRESS (sym);
-      fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+      fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
+                   gdb_stdout);
       if (section_is_overlay (section))
        {
          load_addr = overlay_unmapped_address (load_addr, section);
          printf_filtered (",\n -- loaded at ");
-         fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+         fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
+                       gdb_stdout);
          printf_filtered (" in overlay section %s",
                           section->the_bfd_section->name);
        }
       break;
 
     case LOC_COMPUTED:
-      /* FIXME: cagney/2004-01-26: It should be possible to
-        unconditionally call the SYMBOL_COMPUTED_OPS method when available.
-        Unfortunately DWARF 2 stores the frame-base (instead of the
-        function) location in a function's symbol.  Oops!  For the
-        moment enable this when/where applicable.  */
-      SYMBOL_COMPUTED_OPS (sym)->describe_location (sym, gdb_stdout);
-      break;
+      gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
 
     case LOC_REGISTER:
       /* GDBARCH is the architecture associated with the objfile the symbol
@@ -1265,12 +1538,14 @@ address_info (char *exp, int from_tty)
     case LOC_STATIC:
       printf_filtered (_("static storage at address "));
       load_addr = SYMBOL_VALUE_ADDRESS (sym);
-      fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+      fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
+                   gdb_stdout);
       if (section_is_overlay (section))
        {
          load_addr = overlay_unmapped_address (load_addr, section);
          printf_filtered (_(",\n -- loaded at "));
-         fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+         fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
+                       gdb_stdout);
          printf_filtered (_(" in overlay section %s"),
                           section->the_bfd_section->name);
        }
@@ -1301,13 +1576,15 @@ address_info (char *exp, int from_tty)
 
     case LOC_BLOCK:
       printf_filtered (_("a function at address "));
-      load_addr = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
-      fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+      load_addr = BLOCK_ENTRY_PC (SYMBOL_BLOCK_VALUE (sym));
+      fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
+                   gdb_stdout);
       if (section_is_overlay (section))
        {
          load_addr = overlay_unmapped_address (load_addr, section);
          printf_filtered (_(",\n -- loaded at "));
-         fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+         fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
+                       gdb_stdout);
          printf_filtered (_(" in overlay section %s"),
                           section->the_bfd_section->name);
        }
@@ -1315,31 +1592,37 @@ address_info (char *exp, int from_tty)
 
     case LOC_UNRESOLVED:
       {
-       struct minimal_symbol *msym;
+       struct bound_minimal_symbol msym;
 
-       msym = lookup_minimal_symbol (SYMBOL_LINKAGE_NAME (sym), NULL, NULL);
-       if (msym == NULL)
+       msym = lookup_bound_minimal_symbol (sym->linkage_name ());
+       if (msym.minsym == NULL)
          printf_filtered ("unresolved");
        else
          {
-           section = SYMBOL_OBJ_SECTION (msym);
-           load_addr = SYMBOL_VALUE_ADDRESS (msym);
+           section = MSYMBOL_OBJ_SECTION (msym.objfile, msym.minsym);
 
            if (section
                && (section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
-             printf_filtered (_("a thread-local variable at offset %s "
-                                "in the thread-local storage for `%s'"),
-                              paddress (gdbarch, load_addr),
-                              section->objfile->name);
+             {
+               load_addr = MSYMBOL_VALUE_RAW_ADDRESS (msym.minsym);
+               printf_filtered (_("a thread-local variable at offset %s "
+                                  "in the thread-local storage for `%s'"),
+                                paddress (gdbarch, load_addr),
+                                objfile_name (section->objfile));
+             }
            else
              {
+               load_addr = BMSYMBOL_VALUE_ADDRESS (msym);
                printf_filtered (_("static storage at address "));
-               fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+               fputs_styled (paddress (gdbarch, load_addr),
+                             address_style.style (), gdb_stdout);
                if (section_is_overlay (section))
                  {
                    load_addr = overlay_unmapped_address (load_addr, section);
                    printf_filtered (_(",\n -- loaded at "));
-                   fputs_filtered (paddress (gdbarch, load_addr), gdb_stdout);
+                   fputs_styled (paddress (gdbarch, load_addr),
+                                 address_style.style (),
+                                 gdb_stdout);
                    printf_filtered (_(" in overlay section %s"),
                                     section->the_bfd_section->name);
                  }
@@ -1361,11 +1644,9 @@ address_info (char *exp, int from_tty)
 \f
 
 static void
-x_command (char *exp, int from_tty)
+x_command (const char *exp, int from_tty)
 {
-  struct expression *expr;
   struct format_data fmt;
-  struct cleanup *old_chain;
   struct value *val;
 
   fmt.format = last_format ? last_format : 'x';
@@ -1373,26 +1654,34 @@ x_command (char *exp, int from_tty)
   fmt.count = 1;
   fmt.raw = 0;
 
+  /* If there is no expression and no format, use the most recent
+     count.  */
+  if (exp == nullptr && last_count > 0)
+    fmt.count = last_count;
+
   if (exp && *exp == '/')
     {
-      exp++;
-      fmt = decode_format (&exp, last_format, last_size);
+      const char *tmp = exp + 1;
+
+      fmt = decode_format (&tmp, last_format, last_size);
+      exp = (char *) tmp;
     }
 
+  last_count = fmt.count;
+
   /* If we have an expression, evaluate it and use it as the address.  */
 
   if (exp != 0 && *exp != 0)
     {
-      expr = parse_expression (exp);
+      expression_up expr = parse_expression (exp);
       /* Cause expression not to be there any more if this command is
          repeated with Newline.  But don't clobber a user-defined
          command's definition.  */
       if (from_tty)
-       *exp = 0;
-      old_chain = make_cleanup (free_current_contents, &expr);
-      val = evaluate_expression (expr);
-      if (TYPE_CODE (value_type (val)) == TYPE_CODE_REF)
-       val = value_ind (val);
+       set_repeat_arguments ("");
+      val = evaluate_expression (expr.get ());
+      if (TYPE_IS_REFERENCE (value_type (val)))
+       val = coerce_ref (val);
       /* In rvalue contexts, such as this, functions are coerced into
          pointers to functions.  This makes "x/i main" work.  */
       if (/* last_format == 'i'  && */ 
@@ -1403,7 +1692,6 @@ x_command (char *exp, int from_tty)
        next_address = value_as_address (val);
 
       next_gdbarch = expr->gdbarch;
-      do_cleanups (old_chain);
     }
 
   if (!next_gdbarch)
@@ -1412,17 +1700,20 @@ x_command (char *exp, int from_tty)
   do_examine (fmt, next_gdbarch, next_address);
 
   /* If the examine succeeds, we remember its size and format for next
-     time.  */
-  last_size = fmt.size;
+     time.  Set last_size to 'b' for strings.  */
+  if (fmt.format == 's')
+    last_size = 'b';
+  else
+    last_size = fmt.size;
   last_format = fmt.format;
 
-  /* Set a couple of internal variables if appropriate. */
-  if (last_examine_value)
+  /* Set a couple of internal variables if appropriate.  */
+  if (last_examine_value != nullptr)
     {
       /* Make last address examined available to the user as $_.  Use
          the correct pointer type.  */
       struct type *pointer_type
-       = lookup_pointer_type (value_type (last_examine_value));
+       = lookup_pointer_type (value_type (last_examine_value.get ()));
       set_internalvar (lookup_internalvar ("_"),
                       value_from_pointer (pointer_type,
                                           last_examine_address));
@@ -1431,10 +1722,10 @@ x_command (char *exp, int from_tty)
         as $__.  If the last value has not been fetched from memory
         then don't fetch it now; instead mark it by voiding the $__
         variable.  */
-      if (value_lazy (last_examine_value))
+      if (value_lazy (last_examine_value.get ()))
        clear_internalvar (lookup_internalvar ("__"));
       else
-       set_internalvar (lookup_internalvar ("__"), last_examine_value);
+       set_internalvar (lookup_internalvar ("__"), last_examine_value.get ());
     }
 }
 \f
@@ -1443,73 +1734,71 @@ x_command (char *exp, int from_tty)
    Specify the expression.  */
 
 static void
-display_command (char *exp, int from_tty)
+display_command (const char *arg, int from_tty)
 {
   struct format_data fmt;
-  struct expression *expr;
-  struct display *new;
-  int display_it = 1;
-
-#if defined(TUI)
-  /* NOTE: cagney/2003-02-13 The `tui_active' was previously
-     `tui_version'.  */
-  if (tui_active && exp != NULL && *exp == '$')
-    display_it = (tui_set_layout_for_display_command (exp) == TUI_FAILURE);
-#endif
+  struct display *newobj;
+  const char *exp = arg;
 
-  if (display_it)
+  if (exp == 0)
     {
-      if (exp == 0)
-       {
-         do_displays ();
-         return;
-       }
+      do_displays ();
+      return;
+    }
 
-      if (*exp == '/')
-       {
-         exp++;
-         fmt = decode_format (&exp, 0, 0);
-         if (fmt.size && fmt.format == 0)
-           fmt.format = 'x';
-         if (fmt.format == 'i' || fmt.format == 's')
-           fmt.size = 'b';
-       }
-      else
-       {
-         fmt.format = 0;
-         fmt.size = 0;
-         fmt.count = 0;
-         fmt.raw = 0;
-       }
+  if (*exp == '/')
+    {
+      exp++;
+      fmt = decode_format (&exp, 0, 0);
+      if (fmt.size && fmt.format == 0)
+       fmt.format = 'x';
+      if (fmt.format == 'i' || fmt.format == 's')
+       fmt.size = 'b';
+    }
+  else
+    {
+      fmt.format = 0;
+      fmt.size = 0;
+      fmt.count = 0;
+      fmt.raw = 0;
+    }
 
-      innermost_block = NULL;
-      expr = parse_expression (exp);
+  innermost_block_tracker tracker;
+  expression_up expr = parse_expression (exp, &tracker);
 
-      new = (struct display *) xmalloc (sizeof (struct display));
+  newobj = new display ();
 
-      new->exp_string = xstrdup (exp);
-      new->exp = expr;
-      new->block = innermost_block;
-      new->pspace = current_program_space;
-      new->next = display_chain;
-      new->number = ++display_number;
-      new->format = fmt;
-      new->enabled_p = 1;
-      display_chain = new;
+  newobj->exp_string = xstrdup (exp);
+  newobj->exp = std::move (expr);
+  newobj->block = tracker.block ();
+  newobj->pspace = current_program_space;
+  newobj->number = ++display_number;
+  newobj->format = fmt;
+  newobj->enabled_p = 1;
+  newobj->next = NULL;
 
-      if (from_tty && target_has_execution)
-       do_one_display (new);
+  if (display_chain == NULL)
+    display_chain = newobj;
+  else
+    {
+      struct display *last;
 
-      dont_repeat ();
+      for (last = display_chain; last->next != NULL; last = last->next)
+       ;
+      last->next = newobj;
     }
+
+  if (from_tty)
+    do_one_display (newobj);
+
+  dont_repeat ();
 }
 
 static void
 free_display (struct display *d)
 {
   xfree (d->exp_string);
-  xfree (d->exp);
-  xfree (d);
+  delete d;
 }
 
 /* Clear out the display_chain.  Done when new symtabs are loaded,
@@ -1527,77 +1816,94 @@ clear_displays (void)
     }
 }
 
-/* Delete the auto-display number NUM.  */
+/* Delete the auto-display DISPLAY.  */
 
 static void
-delete_display (int num)
+delete_display (struct display *display)
 {
-  struct display *d1, *d;
+  struct display *d;
 
-  if (!display_chain)
-    error (_("No display number %d."), num);
+  gdb_assert (display != NULL);
 
-  if (display_chain->number == num)
-    {
-      d1 = display_chain;
-      display_chain = d1->next;
-      free_display (d1);
-    }
-  else
-    for (d = display_chain;; d = d->next)
+  if (display_chain == display)
+    display_chain = display->next;
+
+  ALL_DISPLAYS (d)
+    if (d->next == display)
       {
-       if (d->next == 0)
-         error (_("No display number %d."), num);
-       if (d->next->number == num)
-         {
-           d1 = d->next;
-           d->next = d1->next;
-           free_display (d1);
-           break;
-         }
+       d->next = display->next;
+       break;
       }
+
+  free_display (display);
 }
 
-/* Delete some values from the auto-display chain.
-   Specify the element numbers.  */
+/* Call FUNCTION on each of the displays whose numbers are given in
+   ARGS.  DATA is passed unmodified to FUNCTION.  */
 
 static void
-undisplay_command (char *args, int from_tty)
+map_display_numbers (const char *args,
+                    void (*function) (struct display *,
+                                      void *),
+                    void *data)
 {
-  char *p = args;
-  char *p1;
   int num;
 
-  if (args == 0)
+  if (args == NULL)
+    error_no_arg (_("one or more display numbers"));
+
+  number_or_range_parser parser (args);
+
+  while (!parser.finished ())
     {
-      if (query (_("Delete all auto-display expressions? ")))
-       clear_displays ();
-      dont_repeat ();
-      return;
+      const char *p = parser.cur_tok ();
+
+      num = parser.get_number ();
+      if (num == 0)
+       warning (_("bad display number at or near '%s'"), p);
+      else
+       {
+         struct display *d, *tmp;
+
+         ALL_DISPLAYS_SAFE (d, tmp)
+           if (d->number == num)
+             break;
+         if (d == NULL)
+           printf_unfiltered (_("No display number %d.\n"), num);
+         else
+           function (d, data);
+       }
     }
+}
 
-  while (*p)
-    {
-      p1 = p;
-      while (*p1 >= '0' && *p1 <= '9')
-       p1++;
-      if (*p1 && *p1 != ' ' && *p1 != '\t')
-       error (_("Arguments must be display numbers."));
+/* Callback for map_display_numbers, that deletes a display.  */
 
-      num = atoi (p);
+static void
+do_delete_display (struct display *d, void *data)
+{
+  delete_display (d);
+}
 
-      delete_display (num);
+/* "undisplay" command.  */
 
-      p = p1;
-      while (*p == ' ' || *p == '\t')
-       p++;
+static void
+undisplay_command (const char *args, int from_tty)
+{
+  if (args == NULL)
+    {
+      if (query (_("Delete all auto-display expressions? ")))
+       clear_displays ();
+      dont_repeat ();
+      return;
     }
+
+  map_display_numbers (args, do_delete_display, NULL);
   dont_repeat ();
 }
 
 /* Display a single auto-display.  
    Do nothing if the display cannot be printed in the current context,
-   or if the display is disabled. */
+   or if the display is disabled.  */
 
 static void
 do_one_display (struct display *d)
@@ -1616,26 +1922,25 @@ do_one_display (struct display *d)
      expression if the current architecture has changed.  */
   if (d->exp != NULL && d->exp->gdbarch != get_current_arch ())
     {
-      xfree (d->exp);
-      d->exp = NULL;
+      d->exp.reset ();
       d->block = NULL;
     }
 
   if (d->exp == NULL)
     {
-      volatile struct gdb_exception ex;
-      TRY_CATCH (ex, RETURN_MASK_ALL)
+
+      try
        {
-         innermost_block = NULL;
-         d->exp = parse_expression (d->exp_string);
-         d->block = innermost_block;
+         innermost_block_tracker tracker;
+         d->exp = parse_expression (d->exp_string, &tracker);
+         d->block = tracker.block ();
        }
-      if (ex.reason < 0)
+      catch (const gdb_exception &ex)
        {
          /* Can't re-parse the expression.  Disable this display item.  */
          d->enabled_p = 0;
          warning (_("Unable to display \"%s\": %s"),
-                  d->exp_string, ex.message);
+                  d->exp_string, ex.what ());
          return;
        }
     }
@@ -1643,7 +1948,8 @@ do_one_display (struct display *d)
   if (d->block)
     {
       if (d->pspace == current_program_space)
-       within_current_scope = contained_in (get_selected_block (0), d->block);
+       within_current_scope = contained_in (get_selected_block (0), d->block,
+                                            true);
       else
        within_current_scope = 0;
     }
@@ -1652,7 +1958,8 @@ do_one_display (struct display *d)
   if (!within_current_scope)
     return;
 
-  current_display_number = d->number;
+  scoped_restore save_display_number
+    = make_scoped_restore (&current_display_number, d->number);
 
   annotate_display_begin ();
   printf_filtered ("%d", d->number);
@@ -1660,8 +1967,6 @@ do_one_display (struct display *d)
   printf_filtered (": ");
   if (d->format.size)
     {
-      CORE_ADDR addr;
-      struct value *val;
 
       annotate_display_format ();
 
@@ -1683,14 +1988,25 @@ do_one_display (struct display *d)
       else
        printf_filtered ("  ");
 
-      val = evaluate_expression (d->exp);
-      addr = value_as_address (val);
-      if (d->format.format == 'i')
-       addr = gdbarch_addr_bits_remove (d->exp->gdbarch, addr);
-
       annotate_display_value ();
 
-      do_examine (d->format, d->exp->gdbarch, addr);
+      try
+        {
+         struct value *val;
+         CORE_ADDR addr;
+
+         val = evaluate_expression (d->exp.get ());
+         addr = value_as_address (val);
+         if (d->format.format == 'i')
+           addr = gdbarch_addr_bits_remove (d->exp->gdbarch, addr);
+         do_examine (d->format, d->exp->gdbarch, addr);
+       }
+      catch (const gdb_exception_error &ex)
+       {
+         fprintf_filtered (gdb_stdout, _("%p[<error: %s>%p]\n"),
+                           metadata_style.style ().ptr (), ex.what (),
+                           nullptr);
+       }
     }
   else
     {
@@ -1712,15 +2028,26 @@ do_one_display (struct display *d)
 
       get_formatted_print_options (&opts, d->format.format);
       opts.raw = d->format.raw;
-      print_formatted (evaluate_expression (d->exp),
-                      d->format.size, &opts, gdb_stdout);
+
+      try
+        {
+         struct value *val;
+
+         val = evaluate_expression (d->exp.get ());
+         print_formatted (val, d->format.size, &opts, gdb_stdout);
+       }
+      catch (const gdb_exception_error &ex)
+       {
+         fprintf_styled (gdb_stdout, metadata_style.style (),
+                         _("<error: %s>"), ex.what ());
+       }
+
       printf_filtered ("\n");
     }
 
   annotate_display_end ();
 
   gdb_flush (gdb_stdout);
-  current_display_number = -1;
 }
 
 /* Display all of the values on the auto-display chain which can be
@@ -1758,15 +2085,16 @@ disable_current_display (void)
   if (current_display_number >= 0)
     {
       disable_display (current_display_number);
-      fprintf_unfiltered (gdb_stderr, _("\
-Disabling display %d to avoid infinite recursion.\n"),
+      fprintf_unfiltered (gdb_stderr,
+                         _("Disabling display %d to "
+                           "avoid infinite recursion.\n"),
                          current_display_number);
     }
   current_display_number = -1;
 }
 
 static void
-display_info (char *ignore, int from_tty)
+info_display_command (const char *ignore, int from_tty)
 {
   struct display *d;
 
@@ -1785,123 +2113,53 @@ Num Enb Expression\n"));
       else if (d->format.format)
        printf_filtered ("/%c ", d->format.format);
       puts_filtered (d->exp_string);
-      if (d->block && !contained_in (get_selected_block (0), d->block))
+      if (d->block && !contained_in (get_selected_block (0), d->block, true))
        printf_filtered (_(" (cannot be evaluated in the current context)"));
       printf_filtered ("\n");
-      gdb_flush (gdb_stdout);
     }
 }
 
+/* Callback fo map_display_numbers, that enables or disables the
+   passed in display D.  */
+
 static void
-enable_display (char *args, int from_tty)
+do_enable_disable_display (struct display *d, void *data)
 {
-  char *p = args;
-  char *p1;
-  int num;
-  struct display *d;
-
-  if (p == 0)
-    {
-      for (d = display_chain; d; d = d->next)
-       d->enabled_p = 1;
-    }
-  else
-    while (*p)
-      {
-       p1 = p;
-       while (*p1 >= '0' && *p1 <= '9')
-         p1++;
-       if (*p1 && *p1 != ' ' && *p1 != '\t')
-         error (_("Arguments must be display numbers."));
-
-       num = atoi (p);
-
-       for (d = display_chain; d; d = d->next)
-         if (d->number == num)
-           {
-             d->enabled_p = 1;
-             goto win;
-           }
-       printf_unfiltered (_("No display number %d.\n"), num);
-      win:
-       p = p1;
-       while (*p == ' ' || *p == '\t')
-         p++;
-      }
+  d->enabled_p = *(int *) data;
 }
 
+/* Implementation of both the "disable display" and "enable display"
+   commands.  ENABLE decides what to do.  */
+
 static void
-disable_display_command (char *args, int from_tty)
+enable_disable_display_command (const char *args, int from_tty, int enable)
 {
-  char *p = args;
-  char *p1;
-  struct display *d;
-
-  if (p == 0)
+  if (args == NULL)
     {
-      for (d = display_chain; d; d = d->next)
-       d->enabled_p = 0;
-    }
-  else
-    while (*p)
-      {
-       p1 = p;
-       while (*p1 >= '0' && *p1 <= '9')
-         p1++;
-       if (*p1 && *p1 != ' ' && *p1 != '\t')
-         error (_("Arguments must be display numbers."));
+      struct display *d;
 
-       disable_display (atoi (p));
+      ALL_DISPLAYS (d)
+       d->enabled_p = enable;
+      return;
+    }
 
-       p = p1;
-       while (*p == ' ' || *p == '\t')
-         p++;
-      }
+  map_display_numbers (args, do_enable_disable_display, &enable);
 }
 
-/* Return 1 if D uses SOLIB (and will become dangling when SOLIB
-   is unloaded), otherwise return 0.  */
+/* The "enable display" command.  */
 
-static int
-display_uses_solib_p (const struct display *d,
-                     const struct so_list *solib)
+static void
+enable_display_command (const char *args, int from_tty)
 {
-  int endpos;
-  struct expression *const exp = d->exp;
-  const union exp_element *const elts = exp->elts;
-
-  if (d->block != NULL
-      && d->pspace == solib->pspace
-      && solib_contains_address_p (solib, d->block->startaddr))
-    return 1;
-
-  for (endpos = exp->nelts; endpos > 0; )
-    {
-      int i, args, oplen = 0;
-
-      exp->language_defn->la_exp_desc->operator_length (exp, endpos,
-                                                       &oplen, &args);
-      gdb_assert (oplen > 0);
-
-      i = endpos - oplen;
-      if (elts[i].opcode == OP_VAR_VALUE)
-       {
-         const struct block *const block = elts[i + 1].block;
-         const struct symbol *const symbol = elts[i + 2].symbol;
-
-         if (block != NULL
-             && solib_contains_address_p (solib,
-                                          block->startaddr))
-           return 1;
+  enable_disable_display_command (args, from_tty, 1);
+}
 
-         /* SYMBOL_OBJ_SECTION (symbol) may be NULL.  */
-         if (SYMBOL_SYMTAB (symbol)->objfile == solib->objfile)
-           return 1;
-       }
-      endpos -= oplen;
-    }
+/* The "disable display" command.  */
 
-  return 0;
+static void
+disable_display_command (const char *args, int from_tty)
+{
+  enable_disable_display_command (args, from_tty, 0);
 }
 
 /* display_chain items point to blocks and expressions.  Some expressions in
@@ -1913,19 +2171,32 @@ display_uses_solib_p (const struct display *d,
    an item by re-parsing .exp_string field in the new execution context.  */
 
 static void
-clear_dangling_display_expressions (struct so_list *solib)
+clear_dangling_display_expressions (struct objfile *objfile)
 {
   struct display *d;
-  struct objfile *objfile = NULL;
+  struct program_space *pspace;
 
-  for (d = display_chain; d; d = d->next)
+  /* With no symbol file we cannot have a block or expression from it.  */
+  if (objfile == NULL)
+    return;
+  pspace = objfile->pspace;
+  if (objfile->separate_debug_objfile_backlink)
     {
-      if (d->exp && display_uses_solib_p (d, solib))
-       {
-         xfree (d->exp);
-         d->exp = NULL;
-         d->block = NULL;
-       }
+      objfile = objfile->separate_debug_objfile_backlink;
+      gdb_assert (objfile->pspace == pspace);
+    }
+
+  for (d = display_chain; d != NULL; d = d->next)
+    {
+      if (d->pspace != pspace)
+       continue;
+
+      if (lookup_objfile_from_block (d->block) == objfile
+         || (d->exp != NULL && exp_uses_objfile (d->exp.get (), objfile)))
+      {
+       d->exp.reset ();
+       d->block = NULL;
+      }
     }
 }
 \f
@@ -1934,464 +2205,407 @@ clear_dangling_display_expressions (struct so_list *solib)
    struct symbol.  NAME is the name to print; if NULL then VAR's print
    name will be used.  STREAM is the ui_file on which to print the
    value.  INDENT specifies the number of indent levels to print
-   before printing the variable name.  */
+   before printing the variable name.
+
+   This function invalidates FRAME.  */
 
 void
 print_variable_and_value (const char *name, struct symbol *var,
                          struct frame_info *frame,
                          struct ui_file *stream, int indent)
 {
-  struct value *val;
-  struct value_print_options opts;
 
   if (!name)
-    name = SYMBOL_PRINT_NAME (var);
+    name = var->print_name ();
+
+  fprintf_filtered (stream, "%s%ps = ", n_spaces (2 * indent),
+                   styled_string (variable_name_style.style (), name));
 
-  fprintf_filtered (stream, "%s%s = ", n_spaces (2 * indent), name);
+  try
+    {
+      struct value *val;
+      struct value_print_options opts;
+
+      /* READ_VAR_VALUE needs a block in order to deal with non-local
+        references (i.e. to handle nested functions).  In this context, we
+        print variables that are local to this frame, so we can avoid passing
+        a block to it.  */
+      val = read_var_value (var, NULL, frame);
+      get_user_print_options (&opts);
+      opts.deref_ref = 1;
+      common_val_print (val, stream, indent, &opts, current_language);
+
+      /* common_val_print invalidates FRAME when a pretty printer calls inferior
+        function.  */
+      frame = NULL;
+    }
+  catch (const gdb_exception_error &except)
+    {
+      fprintf_styled (stream, metadata_style.style (),
+                     "<error reading variable %s (%s)>", name,
+                     except.what ());
+    }
 
-  val = read_var_value (var, frame);
-  get_user_print_options (&opts);
-  common_val_print (val, stream, indent, &opts, current_language);
   fprintf_filtered (stream, "\n");
 }
 
+/* Subroutine of ui_printf to simplify it.
+   Print VALUE to STREAM using FORMAT.
+   VALUE is a C-style string either on the target or
+   in a GDB internal variable.  */
+
 static void
-printf_command (char *arg, int from_tty)
+printf_c_string (struct ui_file *stream, const char *format,
+                struct value *value)
 {
-  char *f = NULL;
-  char *s = arg;
-  char *string = NULL;
-  struct value **val_args;
-  char *substrings;
-  char *current_substring;
-  int nargs = 0;
-  int allocated_args = 20;
-  struct cleanup *old_cleanups;
-
-  val_args = xmalloc (allocated_args * sizeof (struct value *));
-  old_cleanups = make_cleanup (free_current_contents, &val_args);
+  const gdb_byte *str;
 
-  if (s == 0)
-    error_no_arg (_("format-control string and values to print"));
+  if (VALUE_LVAL (value) == lval_internalvar
+      && c_is_string_type_p (value_type (value)))
+    {
+      size_t len = TYPE_LENGTH (value_type (value));
 
-  /* Skip white space before format string */
-  while (*s == ' ' || *s == '\t')
-    s++;
+      /* Copy the internal var value to TEM_STR and append a terminating null
+        character.  This protects against corrupted C-style strings that lack
+        the terminating null char.  It also allows Ada-style strings (not
+        null terminated) to be printed without problems.  */
+      gdb_byte *tem_str = (gdb_byte *) alloca (len + 1);
 
-  /* A format string should follow, enveloped in double quotes.  */
-  if (*s++ != '"')
-    error (_("Bad format string, missing '\"'."));
+      memcpy (tem_str, value_contents (value), len);
+      tem_str [len] = 0;
+      str = tem_str;
+    }
+  else
+    {
+      CORE_ADDR tem = value_as_address (value);;
 
-  /* Parse the format-control string and copy it into the string STRING,
-     processing some kinds of escape sequence.  */
+      if (tem == 0)
+       {
+         DIAGNOSTIC_PUSH
+         DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+         fprintf_filtered (stream, format, "(null)");
+         DIAGNOSTIC_POP
+         return;
+       }
 
-  f = string = (char *) alloca (strlen (s) + 1);
+      /* This is a %s argument.  Find the length of the string.  */
+      size_t len;
 
-  while (*s != '"')
-    {
-      int c = *s++;
-      switch (c)
+      for (len = 0;; len++)
        {
-       case '\0':
-         error (_("Bad format string, non-terminated '\"'."));
-
-       case '\\':
-         switch (c = *s++)
-           {
-           case '\\':
-             *f++ = '\\';
-             break;
-           case 'a':
-             *f++ = '\a';
-             break;
-           case 'b':
-             *f++ = '\b';
-             break;
-           case 'f':
-             *f++ = '\f';
-             break;
-           case 'n':
-             *f++ = '\n';
-             break;
-           case 'r':
-             *f++ = '\r';
-             break;
-           case 't':
-             *f++ = '\t';
-             break;
-           case 'v':
-             *f++ = '\v';
-             break;
-           case '"':
-             *f++ = '"';
-             break;
-           default:
-             /* ??? TODO: handle other escape sequences */
-             error (_("Unrecognized escape character \\%c in format string."),
-                    c);
-           }
-         break;
+         gdb_byte c;
 
-       default:
-         *f++ = c;
+         QUIT;
+         read_memory (tem + len, &c, 1);
+         if (c == 0)
+           break;
        }
-    }
 
-  /* Skip over " and following space and comma.  */
-  s++;
-  *f++ = '\0';
-  while (*s == ' ' || *s == '\t')
-    s++;
+      /* Copy the string contents into a string inside GDB.  */
+      gdb_byte *tem_str = (gdb_byte *) alloca (len + 1);
 
-  if (*s != ',' && *s != 0)
-    error (_("Invalid argument syntax"));
+      if (len != 0)
+       read_memory (tem, tem_str, len);
+      tem_str[len] = 0;
+      str = tem_str;
+    }
 
-  if (*s == ',')
-    s++;
-  while (*s == ' ' || *s == '\t')
-    s++;
+  DIAGNOSTIC_PUSH
+  DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+  fprintf_filtered (stream, format, (char *) str);
+  DIAGNOSTIC_POP
+}
 
-  /* Need extra space for the '\0's.  Doubling the size is sufficient.  */
-  substrings = alloca (strlen (string) * 2);
-  current_substring = substrings;
+/* Subroutine of ui_printf to simplify it.
+   Print VALUE to STREAM using FORMAT.
+   VALUE is a wide C-style string on the target or
+   in a GDB internal variable.  */
 
-  {
-    /* Now scan the string for %-specs and see what kinds of args they want.
-       argclass[I] classifies the %-specs so we can give printf_filtered
-       something of the right size.  */
+static void
+printf_wide_c_string (struct ui_file *stream, const char *format,
+                     struct value *value)
+{
+  const gdb_byte *str;
+  size_t len;
+  struct gdbarch *gdbarch = get_type_arch (value_type (value));
+  struct type *wctype = lookup_typename (current_language,
+                                        "wchar_t", NULL, 0);
+  int wcwidth = TYPE_LENGTH (wctype);
+
+  if (VALUE_LVAL (value) == lval_internalvar
+      && c_is_string_type_p (value_type (value)))
+    {
+      str = value_contents (value);
+      len = TYPE_LENGTH (value_type (value));
+    }
+  else
+    {
+      CORE_ADDR tem = value_as_address (value);
 
-    enum argclass
-      {
-       int_arg, long_arg, long_long_arg, ptr_arg,
-       string_arg, wide_string_arg, wide_char_arg,
-       double_arg, long_double_arg, decfloat_arg
-      };
-    enum argclass *argclass;
-    enum argclass this_argclass;
-    char *last_arg;
-    int nargs_wanted;
-    int i;
+      if (tem == 0)
+       {
+         DIAGNOSTIC_PUSH
+         DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+         fprintf_filtered (stream, format, "(null)");
+         DIAGNOSTIC_POP
+         return;
+       }
 
-    argclass = (enum argclass *) alloca (strlen (s) * sizeof *argclass);
-    nargs_wanted = 0;
-    f = string;
-    last_arg = string;
-    while (*f)
-      if (*f++ == '%')
+      /* This is a %s argument.  Find the length of the string.  */
+      enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+      gdb_byte *buf = (gdb_byte *) alloca (wcwidth);
+
+      for (len = 0;; len += wcwidth)
        {
-         int seen_hash = 0, seen_zero = 0, lcount = 0, seen_prec = 0;
-         int seen_space = 0, seen_plus = 0;
-         int seen_big_l = 0, seen_h = 0, seen_big_h = 0;
-         int seen_big_d = 0, seen_double_big_d = 0;
-         int bad = 0;
-
-         /* Check the validity of the format specifier, and work
-            out what argument it expects.  We only accept C89
-            format strings, with the exception of long long (which
-            we autoconf for).  */
-
-         /* Skip over "%%".  */
-         if (*f == '%')
-           {
-             f++;
-             continue;
-           }
+         QUIT;
+         read_memory (tem + len, buf, wcwidth);
+         if (extract_unsigned_integer (buf, wcwidth, byte_order) == 0)
+           break;
+       }
 
-         /* The first part of a format specifier is a set of flag
-            characters.  */
-         while (strchr ("0-+ #", *f))
-           {
-             if (*f == '#')
-               seen_hash = 1;
-             else if (*f == '0')
-               seen_zero = 1;
-             else if (*f == ' ')
-               seen_space = 1;
-             else if (*f == '+')
-               seen_plus = 1;
-             f++;
-           }
+      /* Copy the string contents into a string inside GDB.  */
+      gdb_byte *tem_str = (gdb_byte *) alloca (len + wcwidth);
 
-         /* The next part of a format specifier is a width.  */
-         while (strchr ("0123456789", *f))
-           f++;
+      if (len != 0)
+       read_memory (tem, tem_str, len);
+      memset (&tem_str[len], 0, wcwidth);
+      str = tem_str;
+    }
 
-         /* The next part of a format specifier is a precision.  */
-         if (*f == '.')
-           {
-             seen_prec = 1;
-             f++;
-             while (strchr ("0123456789", *f))
-               f++;
-           }
+  auto_obstack output;
 
-         /* The next part of a format specifier is a length modifier.  */
-         if (*f == 'h')
-           {
-             seen_h = 1;
-             f++;
-           }
-         else if (*f == 'l')
-           {
-             f++;
-             lcount++;
-             if (*f == 'l')
-               {
-                 f++;
-                 lcount++;
-               }
-           }
-         else if (*f == 'L')
-           {
-             seen_big_l = 1;
-             f++;
-           }
-         /* Decimal32 modifier.  */
-         else if (*f == 'H')
-           {
-             seen_big_h = 1;
-             f++;
-           }
-         /* Decimal64 and Decimal128 modifiers.  */
-         else if (*f == 'D')
-           {
-             f++;
-
-             /* Check for a Decimal128.  */
-             if (*f == 'D')
-               {
-                 f++;
-                 seen_double_big_d = 1;
-               }
-             else
-               seen_big_d = 1;
-           }
+  convert_between_encodings (target_wide_charset (gdbarch),
+                            host_charset (),
+                            str, len, wcwidth,
+                            &output, translit_char);
+  obstack_grow_str0 (&output, "");
 
-         switch (*f)
-           {
-           case 'u':
-             if (seen_hash)
-               bad = 1;
-             /* FALLTHROUGH */
-
-           case 'o':
-           case 'x':
-           case 'X':
-             if (seen_space || seen_plus)
-               bad = 1;
-             /* FALLTHROUGH */
-
-           case 'd':
-           case 'i':
-             if (lcount == 0)
-               this_argclass = int_arg;
-             else if (lcount == 1)
-               this_argclass = long_arg;
-             else
-               this_argclass = long_long_arg;
+  DIAGNOSTIC_PUSH
+  DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+  fprintf_filtered (stream, format, obstack_base (&output));
+  DIAGNOSTIC_POP
+}
 
-             if (seen_big_l)
-               bad = 1;
-             break;
+/* Subroutine of ui_printf to simplify it.
+   Print VALUE, a floating point value, to STREAM using FORMAT.  */
 
-           case 'c':
-             this_argclass = lcount == 0 ? int_arg : wide_char_arg;
-             if (lcount > 1 || seen_h || seen_big_l)
-               bad = 1;
-             if (seen_prec || seen_zero || seen_space || seen_plus)
-               bad = 1;
-             break;
+static void
+printf_floating (struct ui_file *stream, const char *format,
+                struct value *value, enum argclass argclass)
+{
+  /* Parameter data.  */
+  struct type *param_type = value_type (value);
+  struct gdbarch *gdbarch = get_type_arch (param_type);
 
-           case 'p':
-             this_argclass = ptr_arg;
-             if (lcount || seen_h || seen_big_l)
-               bad = 1;
-             if (seen_prec || seen_zero || seen_space || seen_plus)
-               bad = 1;
-             break;
+  /* Determine target type corresponding to the format string.  */
+  struct type *fmt_type;
+  switch (argclass)
+    {
+      case double_arg:
+       fmt_type = builtin_type (gdbarch)->builtin_double;
+       break;
+      case long_double_arg:
+       fmt_type = builtin_type (gdbarch)->builtin_long_double;
+       break;
+      case dec32float_arg:
+       fmt_type = builtin_type (gdbarch)->builtin_decfloat;
+       break;
+      case dec64float_arg:
+       fmt_type = builtin_type (gdbarch)->builtin_decdouble;
+       break;
+      case dec128float_arg:
+       fmt_type = builtin_type (gdbarch)->builtin_declong;
+       break;
+      default:
+       gdb_assert_not_reached ("unexpected argument class");
+    }
 
-           case 's':
-             this_argclass = lcount == 0 ? string_arg : wide_string_arg;
-             if (lcount > 1 || seen_h || seen_big_l)
-               bad = 1;
-             if (seen_zero || seen_space || seen_plus)
-               bad = 1;
-             break;
+  /* To match the traditional GDB behavior, the conversion is
+     done differently depending on the type of the parameter:
 
-           case 'e':
-           case 'f':
-           case 'g':
-           case 'E':
-           case 'G':
-             if (seen_big_h || seen_big_d || seen_double_big_d)
-               this_argclass = decfloat_arg;
-             else if (seen_big_l)
-               this_argclass = long_double_arg;
-             else
-               this_argclass = double_arg;
+     - if the parameter has floating-point type, it's value
+       is converted to the target type;
 
-             if (lcount || seen_h)
-               bad = 1;
-             break;
+     - otherwise, if the parameter has a type that is of the
+       same size as a built-in floating-point type, the value
+       bytes are interpreted as if they were of that type, and
+       then converted to the target type (this is not done for
+       decimal floating-point argument classes);
 
-           case '*':
-             error (_("`*' not supported for precision or width in printf"));
+     - otherwise, if the source value has an integer value,
+       it's value is converted to the target type;
 
-           case 'n':
-             error (_("Format specifier `n' not supported in printf"));
+     - otherwise, an error is raised.
 
-           case '\0':
-             error (_("Incomplete format specifier at end of format string"));
+     In either case, the result of the conversion is a byte buffer
+     formatted in the target format for the target type.  */
 
-           default:
-             error (_("Unrecognized format specifier '%c' in printf"), *f);
-           }
+  if (TYPE_CODE (fmt_type) == TYPE_CODE_FLT)
+    {
+      param_type = float_type_from_length (param_type);
+      if (param_type != value_type (value))
+       value = value_from_contents (param_type, value_contents (value));
+    }
 
-         if (bad)
-           error (_("Inappropriate modifiers to format specifier '%c' in printf"),
-                  *f);
+  value = value_cast (fmt_type, value);
 
-         f++;
+  /* Convert the value to a string and print it.  */
+  std::string str
+    = target_float_to_string (value_contents (value), fmt_type, format);
+  fputs_filtered (str.c_str (), stream);
+}
 
-         if (lcount > 1 && USE_PRINTF_I64)
-           {
-             /* Windows' printf does support long long, but not the usual way.
-                Convert %lld to %I64d.  */
-             int length_before_ll = f - last_arg - 1 - lcount;
-             strncpy (current_substring, last_arg, length_before_ll);
-             strcpy (current_substring + length_before_ll, "I64");
-             current_substring[length_before_ll + 3] =
-               last_arg[length_before_ll + lcount];
-             current_substring += length_before_ll + 4;
-           }
-         else if (this_argclass == wide_string_arg
-                  || this_argclass == wide_char_arg)
-           {
-             /* Convert %ls or %lc to %s.  */
-             int length_before_ls = f - last_arg - 2;
-             strncpy (current_substring, last_arg, length_before_ls);
-             strcpy (current_substring + length_before_ls, "s");
-             current_substring += length_before_ls + 2;
-           }
+/* Subroutine of ui_printf to simplify it.
+   Print VALUE, a target pointer, to STREAM using FORMAT.  */
+
+static void
+printf_pointer (struct ui_file *stream, const char *format,
+               struct value *value)
+{
+  /* We avoid the host's %p because pointers are too
+     likely to be the wrong size.  The only interesting
+     modifier for %p is a width; extract that, and then
+     handle %p as glibc would: %#x or a literal "(nil)".  */
+
+  const char *p;
+  char *fmt, *fmt_p;
+#ifdef PRINTF_HAS_LONG_LONG
+  long long val = value_as_long (value);
+#else
+  long val = value_as_long (value);
+#endif
+
+  fmt = (char *) alloca (strlen (format) + 5);
+
+  /* Copy up to the leading %.  */
+  p = format;
+  fmt_p = fmt;
+  while (*p)
+    {
+      int is_percent = (*p == '%');
+
+      *fmt_p++ = *p++;
+      if (is_percent)
+       {
+         if (*p == '%')
+           *fmt_p++ = *p++;
          else
-           {
-             strncpy (current_substring, last_arg, f - last_arg);
-             current_substring += f - last_arg;
-           }
-         *current_substring++ = '\0';
-         last_arg = f;
-         argclass[nargs_wanted++] = this_argclass;
+           break;
        }
+    }
+
+  if (val != 0)
+    *fmt_p++ = '#';
+
+  /* Copy any width or flags.  Only the "-" flag is valid for pointers
+     -- see the format_pieces constructor.  */
+  while (*p == '-' || (*p >= '0' && *p < '9'))
+    *fmt_p++ = *p++;
+
+  gdb_assert (*p == 'p' && *(p + 1) == '\0');
+  if (val != 0)
+    {
+#ifdef PRINTF_HAS_LONG_LONG
+      *fmt_p++ = 'l';
+#endif
+      *fmt_p++ = 'l';
+      *fmt_p++ = 'x';
+      *fmt_p++ = '\0';
+      DIAGNOSTIC_PUSH
+      DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+      fprintf_filtered (stream, fmt, val);
+      DIAGNOSTIC_POP
+    }
+  else
+    {
+      *fmt_p++ = 's';
+      *fmt_p++ = '\0';
+      DIAGNOSTIC_PUSH
+      DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+      fprintf_filtered (stream, fmt, "(nil)");
+      DIAGNOSTIC_POP
+    }
+}
+
+/* printf "printf format string" ARG to STREAM.  */
+
+static void
+ui_printf (const char *arg, struct ui_file *stream)
+{
+  const char *s = arg;
+  std::vector<struct value *> val_args;
+
+  if (s == 0)
+    error_no_arg (_("format-control string and values to print"));
+
+  s = skip_spaces (s);
+
+  /* A format string should follow, enveloped in double quotes.  */
+  if (*s++ != '"')
+    error (_("Bad format string, missing '\"'."));
+
+  format_pieces fpieces (&s);
+
+  if (*s++ != '"')
+    error (_("Bad format string, non-terminated '\"'."));
+  
+  s = skip_spaces (s);
+
+  if (*s != ',' && *s != 0)
+    error (_("Invalid argument syntax"));
+
+  if (*s == ',')
+    s++;
+  s = skip_spaces (s);
+
+  {
+    int nargs_wanted;
+    int i;
+    const char *current_substring;
+
+    nargs_wanted = 0;
+    for (auto &&piece : fpieces)
+      if (piece.argclass != literal_piece)
+       ++nargs_wanted;
 
     /* Now, parse all arguments and evaluate them.
        Store the VALUEs in VAL_ARGS.  */
 
     while (*s != '\0')
       {
-       char *s1;
-       if (nargs == allocated_args)
-         val_args = (struct value **) xrealloc ((char *) val_args,
-                                                (allocated_args *= 2)
-                                                * sizeof (struct value *));
+       const char *s1;
+
        s1 = s;
-       val_args[nargs] = parse_to_comma_and_eval (&s1);
+       val_args.push_back (parse_to_comma_and_eval (&s1));
 
-       nargs++;
        s = s1;
        if (*s == ',')
          s++;
       }
 
-    if (nargs != nargs_wanted)
+    if (val_args.size () != nargs_wanted)
       error (_("Wrong number of arguments for specified format-string"));
 
     /* Now actually print them.  */
-    current_substring = substrings;
-    for (i = 0; i < nargs; i++)
+    i = 0;
+    for (auto &&piece : fpieces)
       {
-       switch (argclass[i])
+       current_substring = piece.string;
+       switch (piece.argclass)
          {
          case string_arg:
-           {
-             gdb_byte *str;
-             CORE_ADDR tem;
-             int j;
-             tem = value_as_address (val_args[i]);
-
-             /* This is a %s argument.  Find the length of the string.  */
-             for (j = 0;; j++)
-               {
-                 gdb_byte c;
-                 QUIT;
-                 read_memory (tem + j, &c, 1);
-                 if (c == 0)
-                   break;
-               }
-
-             /* Copy the string contents into a string inside GDB.  */
-             str = (gdb_byte *) alloca (j + 1);
-             if (j != 0)
-               read_memory (tem, str, j);
-             str[j] = 0;
-
-             printf_filtered (current_substring, (char *) str);
-           }
+           printf_c_string (stream, current_substring, val_args[i]);
            break;
          case wide_string_arg:
-           {
-             gdb_byte *str;
-             CORE_ADDR tem;
-             int j;
-             struct gdbarch *gdbarch
-               = get_type_arch (value_type (val_args[i]));
-             enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
-             struct type *wctype = lookup_typename (current_language, gdbarch,
-                                                    "wchar_t", NULL, 0);
-             int wcwidth = TYPE_LENGTH (wctype);
-             gdb_byte *buf = alloca (wcwidth);
-             struct obstack output;
-             struct cleanup *inner_cleanup;
-
-             tem = value_as_address (val_args[i]);
-
-             /* This is a %s argument.  Find the length of the string.  */
-             for (j = 0;; j += wcwidth)
-               {
-                 QUIT;
-                 read_memory (tem + j, buf, wcwidth);
-                 if (extract_unsigned_integer (buf, wcwidth, byte_order) == 0)
-                   break;
-               }
-
-             /* Copy the string contents into a string inside GDB.  */
-             str = (gdb_byte *) alloca (j + wcwidth);
-             if (j != 0)
-               read_memory (tem, str, j);
-             memset (&str[j], 0, wcwidth);
-
-             obstack_init (&output);
-             inner_cleanup = make_cleanup_obstack_free (&output);
-
-             convert_between_encodings (target_wide_charset (byte_order),
-                                        host_charset (),
-                                        str, j, wcwidth,
-                                        &output, translit_char);
-             obstack_grow_str0 (&output, "");
-
-             printf_filtered (current_substring, obstack_base (&output));
-             do_cleanups (inner_cleanup);
-           }
+           printf_wide_c_string (stream, current_substring, val_args[i]);
            break;
          case wide_char_arg:
            {
              struct gdbarch *gdbarch
                = get_type_arch (value_type (val_args[i]));
-             enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
-             struct type *wctype = lookup_typename (current_language, gdbarch,
+             struct type *wctype = lookup_typename (current_language,
                                                     "wchar_t", NULL, 0);
              struct type *valtype;
-             struct obstack output;
-             struct cleanup *inner_cleanup;
              const gdb_byte *bytes;
 
              valtype = value_type (val_args[i]);
@@ -2401,61 +2615,31 @@ printf_command (char *arg, int from_tty)
 
              bytes = value_contents (val_args[i]);
 
-             obstack_init (&output);
-             inner_cleanup = make_cleanup_obstack_free (&output);
+             auto_obstack output;
 
-             convert_between_encodings (target_wide_charset (byte_order),
+             convert_between_encodings (target_wide_charset (gdbarch),
                                         host_charset (),
                                         bytes, TYPE_LENGTH (valtype),
                                         TYPE_LENGTH (valtype),
                                         &output, translit_char);
              obstack_grow_str0 (&output, "");
 
-             printf_filtered (current_substring, obstack_base (&output));
-             do_cleanups (inner_cleanup);
+             DIAGNOSTIC_PUSH
+             DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+             fprintf_filtered (stream, current_substring,
+                                obstack_base (&output));
+             DIAGNOSTIC_POP
            }
            break;
-         case double_arg:
-           {
-             struct type *type = value_type (val_args[i]);
-             DOUBLEST val;
-             int inv;
-
-             /* If format string wants a float, unchecked-convert the value
-                to floating point of the same size.  */
-             type = float_type_from_length (type);
-             val = unpack_double (type, value_contents (val_args[i]), &inv);
-             if (inv)
-               error (_("Invalid floating value found in program."));
-
-             printf_filtered (current_substring, (double) val);
-             break;
-           }
-         case long_double_arg:
-#ifdef HAVE_LONG_DOUBLE
-           {
-             struct type *type = value_type (val_args[i]);
-             DOUBLEST val;
-             int inv;
-
-             /* If format string wants a float, unchecked-convert the value
-                to floating point of the same size.  */
-             type = float_type_from_length (type);
-             val = unpack_double (type, value_contents (val_args[i]), &inv);
-             if (inv)
-               error (_("Invalid floating value found in program."));
-
-             printf_filtered (current_substring, (long double) val);
-             break;
-           }
-#else
-           error (_("long double not supported in printf"));
-#endif
          case long_long_arg:
-#if defined (CC_HAS_LONG_LONG) && defined (PRINTF_HAS_LONG_LONG)
+#ifdef PRINTF_HAS_LONG_LONG
            {
              long long val = value_as_long (val_args[i]);
-             printf_filtered (current_substring, val);
+
+             DIAGNOSTIC_PUSH
+             DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+              fprintf_filtered (stream, current_substring, val);
+             DIAGNOSTIC_POP
              break;
            }
 #else
@@ -2464,193 +2648,93 @@ printf_command (char *arg, int from_tty)
          case int_arg:
            {
              int val = value_as_long (val_args[i]);
-             printf_filtered (current_substring, val);
+
+             DIAGNOSTIC_PUSH
+             DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+              fprintf_filtered (stream, current_substring, val);
+             DIAGNOSTIC_POP
              break;
            }
          case long_arg:
            {
              long val = value_as_long (val_args[i]);
-             printf_filtered (current_substring, val);
-             break;
-           }
-
-         /* Handles decimal floating values.  */
-       case decfloat_arg:
-           {
-             const gdb_byte *param_ptr = value_contents (val_args[i]);
-#if defined (PRINTF_HAS_DECFLOAT)
-             /* If we have native support for Decimal floating
-                printing, handle it here.  */
-             printf_filtered (current_substring, param_ptr);
-#else
-
-             /* As a workaround until vasprintf has native support for DFP
-              we convert the DFP values to string and print them using
-              the %s format specifier.  */
-
-             char *eos, *sos;
-             int nnull_chars = 0;
-
-             /* Parameter data.  */
-             struct type *param_type = value_type (val_args[i]);
-             unsigned int param_len = TYPE_LENGTH (param_type);
-             struct gdbarch *gdbarch = get_type_arch (param_type);
-             enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
-
-             /* DFP output data.  */
-             struct value *dfp_value = NULL;
-             gdb_byte *dfp_ptr;
-             int dfp_len = 16;
-             gdb_byte dec[16];
-             struct type *dfp_type = NULL;
-             char decstr[MAX_DECIMAL_STRING];
-
-             /* Points to the end of the string so that we can go back
-                and check for DFP length modifiers.  */
-             eos = current_substring + strlen (current_substring);
-
-             /* Look for the float/double format specifier.  */
-             while (*eos != 'f' && *eos != 'e' && *eos != 'E'
-                    && *eos != 'g' && *eos != 'G')
-                 eos--;
-
-             sos = eos;
-
-             /* Search for the '%' char and extract the size and type of
-                the output decimal value based on its modifiers
-                (%Hf, %Df, %DDf).  */
-             while (*--sos != '%')
-               {
-                 if (*sos == 'H')
-                   {
-                     dfp_len = 4;
-                     dfp_type = builtin_type (gdbarch)->builtin_decfloat;
-                   }
-                 else if (*sos == 'D' && *(sos - 1) == 'D')
-                   {
-                     dfp_len = 16;
-                     dfp_type = builtin_type (gdbarch)->builtin_declong;
-                     sos--;
-                   }
-                 else
-                   {
-                     dfp_len = 8;
-                     dfp_type = builtin_type (gdbarch)->builtin_decdouble;
-                   }
-               }
-
-             /* Replace %Hf, %Df and %DDf with %s's.  */
-             *++sos = 's';
-
-             /* Go through the whole format string and pull the correct
-                number of chars back to compensate for the change in the
-                format specifier.  */
-             while (nnull_chars < nargs - i)
-               {
-                 if (*eos == '\0')
-                   nnull_chars++;
-
-                 *++sos = *++eos;
-               }
-
-             /* Conversion between different DFP types.  */
-             if (TYPE_CODE (param_type) == TYPE_CODE_DECFLOAT)
-               decimal_convert (param_ptr, param_len, byte_order,
-                                dec, dfp_len, byte_order);
-             else
-               /* If this is a non-trivial conversion, just output 0.
-                  A correct converted value can be displayed by explicitly
-                  casting to a DFP type.  */
-               decimal_from_string (dec, dfp_len, byte_order, "0");
-
-             dfp_value = value_from_decfloat (dfp_type, dec);
-
-             dfp_ptr = (gdb_byte *) value_contents (dfp_value);
-
-             decimal_to_string (dfp_ptr, dfp_len, byte_order, decstr);
-
-             /* Print the DFP value.  */
-             printf_filtered (current_substring, decstr);
 
+             DIAGNOSTIC_PUSH
+             DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+              fprintf_filtered (stream, current_substring, val);
+             DIAGNOSTIC_POP
              break;
-#endif
            }
-
-         case ptr_arg:
+         case size_t_arg:
            {
-             /* We avoid the host's %p because pointers are too
-                likely to be the wrong size.  The only interesting
-                modifier for %p is a width; extract that, and then
-                handle %p as glibc would: %#x or a literal "(nil)".  */
-
-             char *p, *fmt, *fmt_p;
-#if defined (CC_HAS_LONG_LONG) && defined (PRINTF_HAS_LONG_LONG)
-             long long val = value_as_long (val_args[i]);
-#else
-             long val = value_as_long (val_args[i]);
-#endif
-
-             fmt = alloca (strlen (current_substring) + 5);
-
-             /* Copy up to the leading %.  */
-             p = current_substring;
-             fmt_p = fmt;
-             while (*p)
-               {
-                 int is_percent = (*p == '%');
-                 *fmt_p++ = *p++;
-                 if (is_percent)
-                   {
-                     if (*p == '%')
-                       *fmt_p++ = *p++;
-                     else
-                       break;
-                   }
-               }
-
-             if (val != 0)
-               *fmt_p++ = '#';
-
-             /* Copy any width.  */
-             while (*p >= '0' && *p < '9')
-               *fmt_p++ = *p++;
-
-             gdb_assert (*p == 'p' && *(p + 1) == '\0');
-             if (val != 0)
-               {
-#if defined (CC_HAS_LONG_LONG) && defined (PRINTF_HAS_LONG_LONG)
-                 *fmt_p++ = 'l';
-#endif
-                 *fmt_p++ = 'l';
-                 *fmt_p++ = 'x';
-                 *fmt_p++ = '\0';
-                 printf_filtered (fmt, val);
-               }
-             else
-               {
-                 *fmt_p++ = 's';
-                 *fmt_p++ = '\0';
-                 printf_filtered (fmt, "(nil)");
-               }
+             size_t val = value_as_long (val_args[i]);
 
+             DIAGNOSTIC_PUSH
+             DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+              fprintf_filtered (stream, current_substring, val);
+             DIAGNOSTIC_POP
              break;
            }
+         /* Handles floating-point values.  */
+         case double_arg:
+         case long_double_arg:
+         case dec32float_arg:
+         case dec64float_arg:
+         case dec128float_arg:
+           printf_floating (stream, current_substring, val_args[i],
+                            piece.argclass);
+           break;
+         case ptr_arg:
+           printf_pointer (stream, current_substring, val_args[i]);
+           break;
+         case literal_piece:
+           /* Print a portion of the format string that has no
+              directives.  Note that this will not include any
+              ordinary %-specs, but it might include "%%".  That is
+              why we use printf_filtered and not puts_filtered here.
+              Also, we pass a dummy argument because some platforms
+              have modified GCC to include -Wformat-security by
+              default, which will warn here if there is no
+              argument.  */
+           DIAGNOSTIC_PUSH
+           DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
+           fprintf_filtered (stream, current_substring, 0);
+           DIAGNOSTIC_POP
+           break;
          default:
            internal_error (__FILE__, __LINE__,
                            _("failed internal consistency check"));
          }
-       /* Skip to the next substring.  */
-       current_substring += strlen (current_substring) + 1;
+       /* Maybe advance to the next argument.  */
+       if (piece.argclass != literal_piece)
+         ++i;
       }
-    /* Print the portion of the format string after the last argument.
-       Note that this will not include any ordinary %-specs, but it
-       might include "%%".  That is why we use printf_filtered and not
-       puts_filtered here.  Also, we pass a dummy argument because
-       some platforms have modified GCC to include -Wformat-security
-       by default, which will warn here if there is no argument.  */
-    printf_filtered (last_arg, 0);
   }
-  do_cleanups (old_cleanups);
+}
+
+/* Implement the "printf" command.  */
+
+static void
+printf_command (const char *arg, int from_tty)
+{
+  ui_printf (arg, gdb_stdout);
+  reset_terminal_style (gdb_stdout);
+  wrap_here ("");
+  gdb_flush (gdb_stdout);
+}
+
+/* Implement the "eval" command.  */
+
+static void
+eval_command (const char *arg, int from_tty)
+{
+  string_file stb;
+
+  ui_printf (arg, &stb);
+
+  std::string expanded = insert_user_defined_cmd_args (stb.c_str ());
+
+  execute_command (expanded.c_str (), from_tty);
 }
 
 void
@@ -2660,13 +2744,15 @@ _initialize_printcmd (void)
 
   current_display_number = -1;
 
-  observer_attach_solib_unloaded (clear_dangling_display_expressions);
+  gdb::observers::free_objfile.attach (clear_dangling_display_expressions);
 
-  add_info ("address", address_info,
-           _("Describe where symbol SYM is stored."));
+  add_info ("address", info_address_command,
+           _("Describe where symbol SYM is stored.\n\
+Usage: info address SYM"));
 
-  add_info ("symbol", sym_info, _("\
+  add_info ("symbol", info_symbol_command, _("\
 Describe what symbol is at location ADDR.\n\
+Usage: info symbol ADDR\n\
 Only for symbols with fixed locations (global or static scope)."));
 
   add_com ("x", class_vars, x_command, _("\
@@ -2674,24 +2760,23 @@ Examine memory: x/FMT ADDRESS.\n\
 ADDRESS is an expression for the memory address to examine.\n\
 FMT is a repeat count followed by a format letter and a size letter.\n\
 Format letters are o(octal), x(hex), d(decimal), u(unsigned decimal),\n\
-  t(binary), f(float), a(address), i(instruction), c(char) and s(string).\n\
+  t(binary), f(float), a(address), i(instruction), c(char), s(string)\n\
+  and z(hex, zero padded on the left).\n\
 Size letters are b(byte), h(halfword), w(word), g(giant, 8 bytes).\n\
 The specified number of objects of the specified size are printed\n\
-according to the format.\n\n\
+according to the format.  If a negative number is specified, memory is\n\
+examined backward from the address.\n\n\
 Defaults for format and size letters are those previously used.\n\
 Default count is 1.  Default address is following last thing printed\n\
 with this command or \"print\"."));
 
-#if 0
-  add_com ("whereis", class_vars, whereis_command,
-          _("Print line number and file of definition of variable."));
-#endif
-
-  add_info ("display", display_info, _("\
-Expressions to display when program stops, with code numbers."));
+  add_info ("display", info_display_command, _("\
+Expressions to display when program stops, with code numbers.\n\
+Usage: info display"));
 
   add_cmd ("undisplay", class_vars, undisplay_command, _("\
 Cancel some expressions to be displayed when program stops.\n\
+Usage: undisplay [NUM]...\n\
 Arguments are the code numbers of the expressions to stop displaying.\n\
 No argument means cancel all automatic-display expressions.\n\
 \"delete display\" has the same effect as this command.\n\
@@ -2700,6 +2785,7 @@ Do \"info display\" to see current list of code numbers."),
 
   add_com ("display", class_vars, display_command, _("\
 Print value of expression EXP each time the program stops.\n\
+Usage: display[/FMT] EXP\n\
 /FMT may be used before EXP as in the \"print\" command.\n\
 /FMT \"i\" or \"s\" or including a size-letter is allowed,\n\
 as in the \"x\" command, and then EXP is used to get the address to examine\n\
@@ -2707,36 +2793,43 @@ and examining is done as in the \"x\" command.\n\n\
 With no argument, display all currently requested auto-display expressions.\n\
 Use \"undisplay\" to cancel display requests previously made."));
 
-  add_cmd ("display", class_vars, enable_display, _("\
+  add_cmd ("display", class_vars, enable_display_command, _("\
 Enable some expressions to be displayed when program stops.\n\
+Usage: enable display [NUM]...\n\
 Arguments are the code numbers of the expressions to resume displaying.\n\
 No argument means enable all automatic-display expressions.\n\
 Do \"info display\" to see current list of code numbers."), &enablelist);
 
   add_cmd ("display", class_vars, disable_display_command, _("\
 Disable some expressions to be displayed when program stops.\n\
+Usage: disable display [NUM]...\n\
 Arguments are the code numbers of the expressions to stop displaying.\n\
 No argument means disable all automatic-display expressions.\n\
 Do \"info display\" to see current list of code numbers."), &disablelist);
 
   add_cmd ("display", class_vars, undisplay_command, _("\
 Cancel some expressions to be displayed when program stops.\n\
+Usage: delete display [NUM]...\n\
 Arguments are the code numbers of the expressions to stop displaying.\n\
 No argument means cancel all automatic-display expressions.\n\
 Do \"info display\" to see current list of code numbers."), &deletelist);
 
   add_com ("printf", class_vars, printf_command, _("\
-printf \"printf format string\", arg1, arg2, arg3, ..., argn\n\
-This is useful for formatted output in user-defined commands."));
+Formatted printing, like the C \"printf\" function.\n\
+Usage: printf \"format string\", ARG1, ARG2, ARG3, ..., ARGN\n\
+This supports most C printf format specifications, like %s, %d, etc."));
 
   add_com ("output", class_vars, output_command, _("\
 Like \"print\" but don't put in value history and don't print newline.\n\
+Usage: output EXP\n\
 This is useful in user-defined commands."));
 
   add_prefix_cmd ("set", class_vars, set_command, _("\
-Evaluate expression EXP and assign result to variable VAR, using assignment\n\
-syntax appropriate for the current language (VAR = EXP or VAR := EXP for\n\
-example).  VAR may be a debugger \"convenience\" variable (names starting\n\
+Evaluate expression EXP and assign result to variable VAR.\n\
+Usage: set VAR = EXP\n\
+This uses assignment syntax appropriate for the current language\n\
+(VAR = EXP or VAR := EXP for example).\n\
+VAR may be a debugger \"convenience\" variable (names starting\n\
 with $), a register (a few standard names starting with $), or an actual\n\
 variable in the program being debugged.  EXP is any valid expression.\n\
 Use \"set variable\" for variables with names identical to set subcommands.\n\
@@ -2746,34 +2839,51 @@ You can see these environment settings with the \"show\" command."),
                  &setlist, "set ", 1, &cmdlist);
   if (dbx_commands)
     add_com ("assign", class_vars, set_command, _("\
-Evaluate expression EXP and assign result to variable VAR, using assignment\n\
-syntax appropriate for the current language (VAR = EXP or VAR := EXP for\n\
-example).  VAR may be a debugger \"convenience\" variable (names starting\n\
+Evaluate expression EXP and assign result to variable VAR.\n\
+Usage: assign VAR = EXP\n\
+This uses assignment syntax appropriate for the current language\n\
+(VAR = EXP or VAR := EXP for example).\n\
+VAR may be a debugger \"convenience\" variable (names starting\n\
 with $), a register (a few standard names starting with $), or an actual\n\
 variable in the program being debugged.  EXP is any valid expression.\n\
 Use \"set variable\" for variables with names identical to set subcommands.\n\
 \nWith a subcommand, this command modifies parts of the gdb environment.\n\
 You can see these environment settings with the \"show\" command."));
 
-  /* "call" is the same as "set", but handy for dbx users to call fns. */
+  /* "call" is the same as "set", but handy for dbx users to call fns.  */
   c = add_com ("call", class_vars, call_command, _("\
 Call a function in the program.\n\
+Usage: call EXP\n\
 The argument is the function name and arguments, in the notation of the\n\
 current working language.  The result is printed and saved in the value\n\
 history, if it is not void."));
-  set_cmd_completer (c, expression_completer);
+  set_cmd_completer_handle_brkchars (c, print_command_completer);
 
   add_cmd ("variable", class_vars, set_command, _("\
-Evaluate expression EXP and assign result to variable VAR, using assignment\n\
-syntax appropriate for the current language (VAR = EXP or VAR := EXP for\n\
-example).  VAR may be a debugger \"convenience\" variable (names starting\n\
+Evaluate expression EXP and assign result to variable VAR.\n\
+Usage: set variable VAR = EXP\n\
+This uses assignment syntax appropriate for the current language\n\
+(VAR = EXP or VAR := EXP for example).\n\
+VAR may be a debugger \"convenience\" variable (names starting\n\
 with $), a register (a few standard names starting with $), or an actual\n\
 variable in the program being debugged.  EXP is any valid expression.\n\
 This may usually be abbreviated to simply \"set\"."),
           &setlist);
+  add_alias_cmd ("var", "variable", class_vars, 0, &setlist);
+
+  const auto print_opts = make_value_print_options_def_group (nullptr);
 
-  c = add_com ("print", class_vars, print_command, _("\
+  static const std::string print_help = gdb::option::build_help (_("\
 Print value of expression EXP.\n\
+Usage: print [[OPTION]... --] [/FMT] [EXP]\n\
+\n\
+Options:\n\
+%OPTIONS%\n\
+\n\
+Note: because this command accepts arbitrary expressions, if you\n\
+specify any command option, you must use a double dash (\"--\")\n\
+to mark the end of option processing.  E.g.: \"print -o -- myobj\".\n\
+\n\
 Variables accessible are those of the lexical environment of the selected\n\
 stack frame, plus all those whose scope is global or an entire file.\n\
 \n\
@@ -2793,27 +2903,37 @@ where FOO is stored, etc.  FOO must be an expression whose value\n\
 resides in memory.\n\
 \n\
 EXP may be preceded with /FMT, where FMT is a format letter\n\
-but no count or size letter (see \"x\" command)."));
-  set_cmd_completer (c, expression_completer);
-  add_com_alias ("p", "print", class_vars, 1);
+but no count or size letter (see \"x\" command)."),
+                                             print_opts);
 
-  c = add_com ("inspect", class_vars, inspect_command, _("\
-Same as \"print\" command, except that if you are running in the epoch\n\
-environment, the value is printed in its own window."));
-  set_cmd_completer (c, expression_completer);
+  c = add_com ("print", class_vars, print_command, print_help.c_str ());
+  set_cmd_completer_handle_brkchars (c, print_command_completer);
+  add_com_alias ("p", "print", class_vars, 1);
+  add_com_alias ("inspect", "print", class_vars, 1);
 
   add_setshow_uinteger_cmd ("max-symbolic-offset", no_class,
                            &max_symbolic_offset, _("\
-Set the largest offset that will be printed in <symbol+1234> form."), _("\
-Show the largest offset that will be printed in <symbol+1234> form."), NULL,
+Set the largest offset that will be printed in <SYMBOL+1234> form."), _("\
+Show the largest offset that will be printed in <SYMBOL+1234> form."), _("\
+Tell GDB to only display the symbolic form of an address if the\n\
+offset between the closest earlier symbol and the address is less than\n\
+the specified maximum offset.  The default is \"unlimited\", which tells GDB\n\
+to always print the symbolic form of an address if any symbol precedes\n\
+it.  Zero is equivalent to \"unlimited\"."),
                            NULL,
                            show_max_symbolic_offset,
                            &setprintlist, &showprintlist);
   add_setshow_boolean_cmd ("symbol-filename", no_class,
                           &print_symbol_filename, _("\
-Set printing of source filename and line number with <symbol>."), _("\
-Show printing of source filename and line number with <symbol>."), NULL,
+Set printing of source filename and line number with <SYMBOL>."), _("\
+Show printing of source filename and line number with <SYMBOL>."), NULL,
                           NULL,
                           show_print_symbol_filename,
                           &setprintlist, &showprintlist);
+
+  add_com ("eval", no_class, eval_command, _("\
+Construct a GDB command and then evaluate it.\n\
+Usage: eval \"format string\", ARG1, ARG2, ARG3, ..., ARGN\n\
+Convert the arguments to a string as \"printf\" would, but then\n\
+treat this string as a command line, and evaluate it."));
 }
This page took 0.086239 seconds and 4 git commands to generate.