Rename common to gdbsupport
[deliverable/binutils-gdb.git] / gdb / stack.c
index 82ac0d48fe0260d476554c04217271dc53de5b8a..f7df7a40d10e6140e4bbd2da68c0daef9461ccd7 100644 (file)
@@ -1,8 +1,6 @@
 /* Print and select stack frames for GDB, the GNU debugger.
 
-   Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
-   1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007, 2008,
-   2009 Free Software Foundation, Inc.
+   Copyright (C) 1986-2019 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -38,7 +36,6 @@
 #include "block.h"
 #include "stack.h"
 #include "dictionary.h"
-#include "exceptions.h"
 #include "reggroups.h"
 #include "regcache.h"
 #include "solib.h"
 #include "cp-support.h"
 #include "disasm.h"
 #include "inline-frame.h"
+#include "linespec.h"
+#include "cli/cli-utils.h"
+#include "objfiles.h"
+#include "annotate.h"
+
+#include "symfile.h"
+#include "extension.h"
+#include "observable.h"
+#include "gdbsupport/def-vector.h"
+#include "cli/cli-option.h"
+
+/* The possible choices of "set print frame-arguments", and the value
+   of this setting.  */
 
-#include "gdb_assert.h"
-#include <ctype.h>
-#include "gdb_string.h"
+const char print_frame_arguments_all[] = "all";
+const char print_frame_arguments_scalars[] = "scalars";
+const char print_frame_arguments_none[] = "none";
 
-void (*deprecated_selected_frame_level_changed_hook) (int);
+static const char *const print_frame_arguments_choices[] =
+{
+  print_frame_arguments_all,
+  print_frame_arguments_scalars,
+  print_frame_arguments_none,
+  NULL
+};
 
-/* The possible choices of "set print frame-arguments, and the value
+/* The possible choices of "set print entry-values", and the value
    of this setting.  */
 
-static const char *print_frame_arguments_choices[] =
-  {"all", "scalars", "none", NULL};
-static const char *print_frame_arguments = "scalars";
+const char print_entry_values_no[] = "no";
+const char print_entry_values_only[] = "only";
+const char print_entry_values_preferred[] = "preferred";
+const char print_entry_values_if_needed[] = "if-needed";
+const char print_entry_values_both[] = "both";
+const char print_entry_values_compact[] = "compact";
+const char print_entry_values_default[] = "default";
+static const char *const print_entry_values_choices[] =
+{
+  print_entry_values_no,
+  print_entry_values_only,
+  print_entry_values_preferred,
+  print_entry_values_if_needed,
+  print_entry_values_both,
+  print_entry_values_compact,
+  print_entry_values_default,
+  NULL
+};
+
+/* See frame.h.  */
+frame_print_options user_frame_print_options;
+
+/* Option definitions for some frame-related "set print ..."
+   settings.  */
+
+using boolean_option_def
+  = gdb::option::boolean_option_def<frame_print_options>;
+using enum_option_def
+  = gdb::option::enum_option_def<frame_print_options>;
+
+static const gdb::option::option_def frame_print_option_defs[] = {
+
+  enum_option_def {
+    "entry-values",
+    print_entry_values_choices,
+    [] (frame_print_options *opt) { return &opt->print_entry_values; },
+    NULL, /* show_cmd_cb */
+    N_("Set printing of function arguments at function entry"),
+    N_("Show printing of function arguments at function entry"),
+    N_("GDB can sometimes determine the values of function arguments at entry,\n\
+in addition to their current values.  This option tells GDB whether\n\
+to print the current value, the value at entry (marked as val@entry),\n\
+or both.  Note that one or both of these values may be <optimized out>."),
+  },
+
+  enum_option_def {
+    "frame-arguments",
+    print_frame_arguments_choices,
+    [] (frame_print_options *opt) { return &opt->print_frame_arguments; },
+    NULL, /* show_cmd_cb */
+    N_("Set printing of non-scalar frame arguments"),
+    N_("Show printing of non-scalar frame arguments"),
+    NULL /* help_doc */
+  },
+
+  boolean_option_def {
+    "raw-frame-arguments",
+    [] (frame_print_options *opt) { return &opt->print_raw_frame_arguments; },
+    NULL, /* show_cmd_cb */
+    N_("Set whether to print frame arguments in raw form."),
+    N_("Show whether to print frame arguments in raw form."),
+    N_("If set, frame arguments are printed in raw form, bypassing any\n\
+pretty-printers for that value.")
+  },
+};
+
+/* Options for the "backtrace" command.  */
+
+struct backtrace_cmd_options
+{
+  int full = 0;
+  int no_filters = 0;
+  int hide = 0;
+};
+
+using bt_flag_option_def
+  = gdb::option::flag_option_def<backtrace_cmd_options>;
+
+static const gdb::option::option_def backtrace_command_option_defs[] = {
+  bt_flag_option_def {
+    "full",
+    [] (backtrace_cmd_options *opt) { return &opt->full; },
+    N_("Print values of local variables.")
+  },
+
+  bt_flag_option_def {
+    "no-filters",
+    [] (backtrace_cmd_options *opt) { return &opt->no_filters; },
+    N_("Prohibit frame filters from executing on a backtrace."),
+  },
+
+  bt_flag_option_def {
+    "hide",
+    [] (backtrace_cmd_options *opt) { return &opt->hide; },
+    N_("Causes Python frame filter elided frames to not be printed."),
+  },
+};
 
-/* Prototypes for local functions. */
+/* Prototypes for local functions.  */
 
-static void print_frame_local_vars (struct frame_info *, int,
-                                   struct ui_file *);
+static void print_frame_local_vars (struct frame_info *frame,
+                                   bool quiet,
+                                   const char *regexp, const char *t_regexp,
+                                   int num_tabs, struct ui_file *stream);
 
-static void print_frame (struct frame_info *frame, int print_level,
+static void print_frame (const frame_print_options &opts,
+                        frame_info *frame, int print_level,
                         enum print_what print_what,  int print_args,
                         struct symtab_and_line sal);
 
+static void set_last_displayed_sal (int valid,
+                                   struct program_space *pspace,
+                                   CORE_ADDR addr,
+                                   struct symtab *symtab,
+                                   int line);
+
+static struct frame_info *find_frame_for_function (const char *);
+static struct frame_info *find_frame_for_address (CORE_ADDR);
+
 /* Zero means do things normally; we are interacting directly with the
    user.  One means print the full filename and linenumber when a
    frame is printed, and do so in a format emacs18/emacs19.22 can
@@ -77,28 +199,15 @@ static void print_frame (struct frame_info *frame, int print_level,
    cases and in a slightly different syntax.  */
 
 int annotation_level = 0;
-\f
-
-struct print_stack_frame_args
-{
-  struct frame_info *frame;
-  int print_level;
-  enum print_what print_what;
-  int print_args;
-};
-
-/* Show or print the frame arguments; stub for catch_errors.  */
 
-static int
-print_stack_frame_stub (void *args)
-{
-  struct print_stack_frame_args *p = args;
-  int center = (p->print_what == SRC_LINE || p->print_what == SRC_AND_LOC);
-
-  print_frame_info (p->frame, p->print_level, p->print_what, p->print_args);
-  set_current_sal_from_frame (p->frame, center);
-  return 0;
-}
+/* These variables hold the last symtab and line we displayed to the user.
+ * This is where we insert a breakpoint or a skiplist entry by default.  */
+static int last_displayed_sal_valid = 0;
+static struct program_space *last_displayed_pspace = 0;
+static CORE_ADDR last_displayed_addr = 0;
+static struct symtab *last_displayed_symtab = 0;
+static int last_displayed_line = 0;
+\f
 
 /* Return 1 if we should display the address in addition to the location,
    because we are in the middle of a statement.  */
@@ -115,7 +224,7 @@ frame_show_address (struct frame_info *frame,
   if (sal.line != 0 && sal.pc == 0 && sal.end == 0)
     {
       if (get_next_frame (frame) == NULL)
-       gdb_assert (inline_skipped_frames (inferior_ptid) > 0);
+       gdb_assert (inline_skipped_frames (inferior_thread ()) > 0);
       else
        gdb_assert (get_frame_type (get_next_frame (frame)) == INLINE_FRAME);
       return 0;
@@ -124,7 +233,19 @@ frame_show_address (struct frame_info *frame,
   return get_frame_pc (frame) != sal.pc;
 }
 
-/* Show or print a stack frame FRAME briefly.  The output is format
+/* See frame.h.  */
+
+void
+print_stack_frame_to_uiout (struct ui_out *uiout, struct frame_info *frame,
+                           int print_level, enum print_what print_what,
+                           int set_current_sal)
+{
+  scoped_restore save_uiout = make_scoped_restore (&current_uiout, uiout);
+
+  print_stack_frame (frame, print_level, print_what, set_current_sal);
+}
+
+/* Show or print a stack frame FRAME briefly.  The output is formatted
    according to PRINT_LEVEL and PRINT_WHAT printing the frame's
    relative level, function name, argument list, and file name and
    line number.  If the frame's PC is not at the beginning of the
@@ -132,28 +253,26 @@ frame_show_address (struct frame_info *frame,
 
 void
 print_stack_frame (struct frame_info *frame, int print_level,
-                  enum print_what print_what)
+                  enum print_what print_what,
+                  int set_current_sal)
 {
-  struct print_stack_frame_args args;
 
-  args.frame = frame;
-  args.print_level = print_level;
-  args.print_what = print_what;
   /* For mi, alway print location and address.  */
-  args.print_what = ui_out_is_mi_like_p (uiout) ? LOC_AND_ADDRESS : print_what;
-  args.print_args = 1;
-
-  catch_errors (print_stack_frame_stub, &args, "", RETURN_MASK_ERROR);
-}  
-
-struct print_args_args
-{
-  struct symbol *func;
-  struct frame_info *frame;
-  struct ui_file *stream;
-};
+  if (current_uiout->is_mi_like_p ())
+    print_what = LOC_AND_ADDRESS;
 
-static int print_args_stub (void *args);
+  try
+    {
+      print_frame_info (user_frame_print_options,
+                       frame, print_level, print_what, 1 /* print_args */,
+                       set_current_sal);
+      if (set_current_sal)
+       set_current_sal_from_frame (frame);
+    }
+  catch (const gdb_exception_error &e)
+    {
+    }
+}
 
 /* Print nameless arguments of frame FRAME on STREAM, where START is
    the offset of the first nameless argument, and NUM is the number of
@@ -186,6 +305,310 @@ print_frame_nameless_args (struct frame_info *frame, long start, int num,
     }
 }
 
+/* Print single argument of inferior function.  ARG must be already
+   read in.
+
+   Errors are printed as if they would be the parameter value.  Use zeroed ARG
+   iff it should not be printed accoring to user settings.  */
+
+static void
+print_frame_arg (const frame_print_options &fp_opts,
+                const struct frame_arg *arg)
+{
+  struct ui_out *uiout = current_uiout;
+
+  string_file stb;
+
+  gdb_assert (!arg->val || !arg->error);
+  gdb_assert (arg->entry_kind == print_entry_values_no
+             || arg->entry_kind == print_entry_values_only
+             || (!uiout->is_mi_like_p ()
+                 && arg->entry_kind == print_entry_values_compact));
+
+  annotate_arg_emitter arg_emitter;
+  ui_out_emit_tuple tuple_emitter (uiout, NULL);
+  fprintf_symbol_filtered (&stb, SYMBOL_PRINT_NAME (arg->sym),
+                          SYMBOL_LANGUAGE (arg->sym), DMGL_PARAMS | DMGL_ANSI);
+  if (arg->entry_kind == print_entry_values_compact)
+    {
+      /* It is OK to provide invalid MI-like stream as with
+        PRINT_ENTRY_VALUE_COMPACT we never use MI.  */
+      stb.puts ("=");
+
+      fprintf_symbol_filtered (&stb, SYMBOL_PRINT_NAME (arg->sym),
+                              SYMBOL_LANGUAGE (arg->sym),
+                              DMGL_PARAMS | DMGL_ANSI);
+    }
+  if (arg->entry_kind == print_entry_values_only
+      || arg->entry_kind == print_entry_values_compact)
+    stb.puts ("@entry");
+  uiout->field_stream ("name", stb, ui_out_style_kind::VARIABLE);
+  annotate_arg_name_end ();
+  uiout->text ("=");
+
+  if (!arg->val && !arg->error)
+    uiout->text ("...");
+  else
+    {
+      if (arg->error)
+       stb.printf (_("<error reading variable: %s>"), arg->error);
+      else
+       {
+         try
+           {
+             const struct language_defn *language;
+             struct value_print_options vp_opts;
+
+             /* Avoid value_print because it will deref ref parameters.  We
+                just want to print their addresses.  Print ??? for args whose
+                address we do not know.  We pass 2 as "recurse" to val_print
+                because our standard indentation here is 4 spaces, and
+                val_print indents 2 for each recurse.  */ 
+
+             annotate_arg_value (value_type (arg->val));
+
+             /* Use the appropriate language to display our symbol, unless the
+                user forced the language to a specific language.  */
+             if (language_mode == language_mode_auto)
+               language = language_def (SYMBOL_LANGUAGE (arg->sym));
+             else
+               language = current_language;
+
+             get_no_prettyformat_print_options (&vp_opts);
+             vp_opts.deref_ref = 1;
+             vp_opts.raw = fp_opts.print_raw_frame_arguments;
+
+             /* True in "summary" mode, false otherwise.  */
+             vp_opts.summary
+               = fp_opts.print_frame_arguments == print_frame_arguments_scalars;
+
+             common_val_print (arg->val, &stb, 2, &vp_opts, language);
+           }
+         catch (const gdb_exception_error &except)
+           {
+             stb.printf (_("<error reading variable: %s>"),
+                         except.what ());
+           }
+       }
+    }
+
+  uiout->field_stream ("value", stb);
+}
+
+/* Read in inferior function local SYM at FRAME into ARGP.  Caller is
+   responsible for xfree of ARGP->ERROR.  This function never throws an
+   exception.  */
+
+void
+read_frame_local (struct symbol *sym, struct frame_info *frame,
+                 struct frame_arg *argp)
+{
+  argp->sym = sym;
+  argp->val = NULL;
+  argp->error = NULL;
+
+  try
+    {
+      argp->val = read_var_value (sym, NULL, frame);
+    }
+  catch (const gdb_exception_error &except)
+    {
+      argp->error = xstrdup (except.what ());
+    }
+}
+
+/* Read in inferior function parameter SYM at FRAME into ARGP.  Caller is
+   responsible for xfree of ARGP->ERROR.  This function never throws an
+   exception.  */
+
+void
+read_frame_arg (const frame_print_options &fp_opts,
+               symbol *sym, frame_info *frame,
+               struct frame_arg *argp, struct frame_arg *entryargp)
+{
+  struct value *val = NULL, *entryval = NULL;
+  char *val_error = NULL, *entryval_error = NULL;
+  int val_equal = 0;
+
+  if (fp_opts.print_entry_values != print_entry_values_only
+      && fp_opts.print_entry_values != print_entry_values_preferred)
+    {
+      try
+       {
+         val = read_var_value (sym, NULL, frame);
+       }
+      catch (const gdb_exception_error &except)
+       {
+         val_error = (char *) alloca (except.message->size () + 1);
+         strcpy (val_error, except.what ());
+       }
+    }
+
+  if (SYMBOL_COMPUTED_OPS (sym) != NULL
+      && SYMBOL_COMPUTED_OPS (sym)->read_variable_at_entry != NULL
+      && fp_opts.print_entry_values != print_entry_values_no
+      && (fp_opts.print_entry_values != print_entry_values_if_needed
+         || !val || value_optimized_out (val)))
+    {
+      try
+       {
+         const struct symbol_computed_ops *ops;
+
+         ops = SYMBOL_COMPUTED_OPS (sym);
+         entryval = ops->read_variable_at_entry (sym, frame);
+       }
+      catch (const gdb_exception_error &except)
+       {
+         if (except.error != NO_ENTRY_VALUE_ERROR)
+           {
+             entryval_error = (char *) alloca (except.message->size () + 1);
+             strcpy (entryval_error, except.what ());
+           }
+       }
+
+      if (entryval != NULL && value_optimized_out (entryval))
+       entryval = NULL;
+
+      if (fp_opts.print_entry_values == print_entry_values_compact
+         || fp_opts.print_entry_values == print_entry_values_default)
+       {
+         /* For MI do not try to use print_entry_values_compact for ARGP.  */
+
+         if (val && entryval && !current_uiout->is_mi_like_p ())
+           {
+             struct type *type = value_type (val);
+
+             if (value_lazy (val))
+               value_fetch_lazy (val);
+             if (value_lazy (entryval))
+               value_fetch_lazy (entryval);
+
+             if (value_contents_eq (val, 0, entryval, 0, TYPE_LENGTH (type)))
+               {
+                 /* Initialize it just to avoid a GCC false warning.  */
+                 struct value *val_deref = NULL, *entryval_deref;
+
+                 /* DW_AT_call_value does match with the current
+                    value.  If it is a reference still try to verify if
+                    dereferenced DW_AT_call_data_value does not differ.  */
+
+                 try
+                   {
+                     struct type *type_deref;
+
+                     val_deref = coerce_ref (val);
+                     if (value_lazy (val_deref))
+                       value_fetch_lazy (val_deref);
+                     type_deref = value_type (val_deref);
+
+                     entryval_deref = coerce_ref (entryval);
+                     if (value_lazy (entryval_deref))
+                       value_fetch_lazy (entryval_deref);
+
+                     /* If the reference addresses match but dereferenced
+                        content does not match print them.  */
+                     if (val != val_deref
+                         && value_contents_eq (val_deref, 0,
+                                               entryval_deref, 0,
+                                               TYPE_LENGTH (type_deref)))
+                       val_equal = 1;
+                   }
+                 catch (const gdb_exception_error &except)
+                   {
+                     /* If the dereferenced content could not be
+                        fetched do not display anything.  */
+                     if (except.error == NO_ENTRY_VALUE_ERROR)
+                       val_equal = 1;
+                     else if (except.message != NULL)
+                       {
+                         entryval_error
+                           = (char *) alloca (except.message->size () + 1);
+                         strcpy (entryval_error, except.what ());
+                       }
+                   }
+
+                 /* Value was not a reference; and its content matches.  */
+                 if (val == val_deref)
+                   val_equal = 1;
+
+                 if (val_equal)
+                   entryval = NULL;
+               }
+           }
+
+         /* Try to remove possibly duplicate error message for ENTRYARGP even
+            in MI mode.  */
+
+         if (val_error && entryval_error
+             && strcmp (val_error, entryval_error) == 0)
+           {
+             entryval_error = NULL;
+
+             /* Do not se VAL_EQUAL as the same error message may be shown for
+                the entry value even if no entry values are present in the
+                inferior.  */
+           }
+       }
+    }
+
+  if (entryval == NULL)
+    {
+      if (fp_opts.print_entry_values == print_entry_values_preferred)
+       {
+         gdb_assert (val == NULL);
+
+         try
+           {
+             val = read_var_value (sym, NULL, frame);
+           }
+         catch (const gdb_exception_error &except)
+           {
+             val_error = (char *) alloca (except.message->size () + 1);
+             strcpy (val_error, except.what ());
+           }
+       }
+      if (fp_opts.print_entry_values == print_entry_values_only
+         || fp_opts.print_entry_values == print_entry_values_both
+         || (fp_opts.print_entry_values == print_entry_values_preferred
+             && (!val || value_optimized_out (val))))
+       {
+         entryval = allocate_optimized_out_value (SYMBOL_TYPE (sym));
+         entryval_error = NULL;
+       }
+    }
+  if ((fp_opts.print_entry_values == print_entry_values_compact
+       || fp_opts.print_entry_values == print_entry_values_if_needed
+       || fp_opts.print_entry_values == print_entry_values_preferred)
+      && (!val || value_optimized_out (val)) && entryval != NULL)
+    {
+      val = NULL;
+      val_error = NULL;
+    }
+
+  argp->sym = sym;
+  argp->val = val;
+  argp->error = val_error ? xstrdup (val_error) : NULL;
+  if (!val && !val_error)
+    argp->entry_kind = print_entry_values_only;
+  else if ((fp_opts.print_entry_values == print_entry_values_compact
+          || fp_opts.print_entry_values == print_entry_values_default)
+          && val_equal)
+    {
+      argp->entry_kind = print_entry_values_compact;
+      gdb_assert (!current_uiout->is_mi_like_p ());
+    }
+  else
+    argp->entry_kind = print_entry_values_no;
+
+  entryargp->sym = sym;
+  entryargp->val = entryval;
+  entryargp->error = entryval_error ? xstrdup (entryval_error) : NULL;
+  if (!entryval && !entryval_error)
+    entryargp->entry_kind = print_entry_values_no;
+  else
+    entryargp->entry_kind = print_entry_values_only;
+}
+
 /* Print the arguments of frame FRAME on STREAM, given the function
    FUNC running in that frame (as a symbol), where NUM is the number
    of arguments according to the stack frame (or -1 if the number of
@@ -196,9 +619,11 @@ print_frame_nameless_args (struct frame_info *frame, long start, int num,
    ints of arguments according to the stack frame".  */
 
 static void
-print_frame_args (struct symbol *func, struct frame_info *frame,
+print_frame_args (const frame_print_options &fp_opts,
+                 struct symbol *func, struct frame_info *frame,
                  int num, struct ui_file *stream)
 {
+  struct ui_out *uiout = current_uiout;
   int first = 1;
   /* Offset of next stack argument beyond the one we have seen that is
      at the highest offset, or -1 if we haven't come to a stack
@@ -206,25 +631,20 @@ print_frame_args (struct symbol *func, struct frame_info *frame,
   long highest_offset = -1;
   /* Number of ints of arguments that we have printed so far.  */
   int args_printed = 0;
-  struct cleanup *old_chain, *list_chain;
-  struct ui_stream *stb;
   /* True if we should print arguments, false otherwise.  */
-  int print_args = strcmp (print_frame_arguments, "none");
-  /* True in "summary" mode, false otherwise.  */
-  int summary = !strcmp (print_frame_arguments, "scalars");
-
-  stb = ui_out_stream_new (uiout);
-  old_chain = make_cleanup_ui_out_stream_delete (stb);
+  bool print_args
+    = fp_opts.print_frame_arguments != print_frame_arguments_none;
 
   if (func)
     {
-      struct block *b = SYMBOL_BLOCK_VALUE (func);
-      struct dict_iterator iter;
+      const struct block *b = SYMBOL_BLOCK_VALUE (func);
+      struct block_iterator iter;
       struct symbol *sym;
-      struct value *val;
 
       ALL_BLOCK_SYMBOLS (b, iter, sym)
         {
+         struct frame_arg arg, entryarg;
+
          QUIT;
 
          /* Keep track of the highest stack argument offset seen, and
@@ -284,8 +704,9 @@ print_frame_args (struct symbol *func, struct frame_info *frame,
          if (*SYMBOL_LINKAGE_NAME (sym))
            {
              struct symbol *nsym;
-             nsym = lookup_symbol (SYMBOL_LINKAGE_NAME (sym),
-                                   b, VAR_DOMAIN, NULL);
+
+             nsym = lookup_symbol_search_name (SYMBOL_SEARCH_NAME (sym),
+                                               b, VAR_DOMAIN).symbol;
              gdb_assert (nsym != NULL);
              if (SYMBOL_CLASS (nsym) == LOC_REGISTER
                  && !SYMBOL_IS_ARGUMENT (nsym))
@@ -333,61 +754,37 @@ print_frame_args (struct symbol *func, struct frame_info *frame,
 
          /* Print the current arg.  */
          if (!first)
-           ui_out_text (uiout, ", ");
-         ui_out_wrap_hint (uiout, "    ");
-
-         annotate_arg_begin ();
-
-         list_chain = make_cleanup_ui_out_tuple_begin_end (uiout, NULL);
-         fprintf_symbol_filtered (stb->stream, SYMBOL_PRINT_NAME (sym),
-                                  SYMBOL_LANGUAGE (sym),
-                                  DMGL_PARAMS | DMGL_ANSI);
-         ui_out_field_stream (uiout, "name", stb);
-         annotate_arg_name_end ();
-         ui_out_text (uiout, "=");
-
-          if (print_args)
-            {
-             /* Avoid value_print because it will deref ref parameters.
-                We just want to print their addresses.  Print ??? for
-                args whose address we do not know.  We pass 2 as
-                "recurse" to val_print because our standard indentation
-                here is 4 spaces, and val_print indents 2 for each
-                recurse.  */
-             val = read_var_value (sym, frame);
-
-             annotate_arg_value (val == NULL ? NULL : value_type (val));
-
-             if (val)
-               {
-                  const struct language_defn *language;
-                 struct value_print_options opts;
-
-                  /* Use the appropriate language to display our symbol,
-                     unless the user forced the language to a specific
-                     language.  */
-                  if (language_mode == language_mode_auto)
-                    language = language_def (SYMBOL_LANGUAGE (sym));
-                  else
-                    language = current_language;
-
-                 get_raw_print_options (&opts);
-                 opts.deref_ref = 0;
-                 opts.summary = summary;
-                 common_val_print (val, stb->stream, 2, &opts, language);
-                 ui_out_field_stream (uiout, "value", stb);
-               }
-             else
-               ui_out_text (uiout, "???");
-            }
-          else
-            ui_out_text (uiout, "...");
+           uiout->text (", ");
+         uiout->wrap_hint ("    ");
+
+         if (!print_args)
+           {
+             memset (&arg, 0, sizeof (arg));
+             arg.sym = sym;
+             arg.entry_kind = print_entry_values_no;
+             memset (&entryarg, 0, sizeof (entryarg));
+             entryarg.sym = sym;
+             entryarg.entry_kind = print_entry_values_no;
+           }
+         else
+           read_frame_arg (fp_opts, sym, frame, &arg, &entryarg);
 
+         if (arg.entry_kind != print_entry_values_only)
+           print_frame_arg (fp_opts, &arg);
+
+         if (entryarg.entry_kind != print_entry_values_no)
+           {
+             if (arg.entry_kind != print_entry_values_only)
+               {
+                 uiout->text (", ");
+                 uiout->wrap_hint ("    ");
+               }
 
-         /* Invoke ui_out_tuple_end.  */
-         do_cleanups (list_chain);
+             print_frame_arg (fp_opts, &entryarg);
+           }
 
-         annotate_arg_end ();
+         xfree (arg.error);
+         xfree (entryarg.error);
 
          first = 0;
        }
@@ -407,28 +804,6 @@ print_frame_args (struct symbol *func, struct frame_info *frame,
       print_frame_nameless_args (frame, start, num - args_printed,
                                 first, stream);
     }
-
-  do_cleanups (old_chain);
-}
-
-/* Stub for catch_errors.  */
-
-static int
-print_args_stub (void *args)
-{
-  struct print_args_args *p = args;
-  struct gdbarch *gdbarch = get_frame_arch (p->frame);
-  int numargs;
-
-  if (gdbarch_frame_num_args_p (gdbarch))
-    {
-      numargs = gdbarch_frame_num_args (gdbarch, p->frame);
-      gdb_assert (numargs >= 0);
-    }
-  else
-    numargs = -1;
-  print_frame_args (p->func, p->frame, numargs, p->stream);
-  return 0;
 }
 
 /* Set the current source and line to the location given by frame
@@ -436,17 +811,11 @@ print_args_stub (void *args)
    line is in the center of the next 'list'.  */
 
 void
-set_current_sal_from_frame (struct frame_info *frame, int center)
+set_current_sal_from_frame (struct frame_info *frame)
 {
-  struct symtab_and_line sal;
-
-  find_frame_sal (frame, &sal);
-  if (sal.symtab)
-    {
-      if (center)
-        sal.line = max (sal.line - get_lines_to_list () / 2, 1);
-      set_current_source_symtab_and_line (&sal);
-    }
+  symtab_and_line sal = find_frame_sal (frame);
+  if (sal.symtab != NULL)
+    set_current_source_symtab_and_line (sal);
 }
 
 /* If ON, GDB will display disassembly of the next source line when
@@ -462,30 +831,12 @@ show_disassemble_next_line (struct ui_file *file, int from_tty,
                                 struct cmd_list_element *c,
                                 const char *value)
 {
-  fprintf_filtered (file, _("\
-Debugger's willingness to use disassemble-next-line is %s.\n"),
+  fprintf_filtered (file,
+                   _("Debugger's willingness to use "
+                     "disassemble-next-line is %s.\n"),
                     value);
 }
 
-/* Show assembly codes; stub for catch_errors.  */
-
-struct gdb_disassembly_stub_args
-{
-  struct gdbarch *gdbarch;
-  int how_many;
-  CORE_ADDR low;
-  CORE_ADDR high;
-};
-
-static void
-gdb_disassembly_stub (void *args)
-{
-  struct gdb_disassembly_stub_args *p = args;
-  gdb_disassembly (p->gdbarch, uiout, 0,
-                   DISASSEMBLY_SOURCE | DISASSEMBLY_RAW_INSN, p->how_many,
-                   p->low, p->high);
-}
-
 /* Use TRY_CATCH to catch the exception from the gdb_disassembly
    because it will be broken by filter sometime.  */
 
@@ -493,49 +844,48 @@ static void
 do_gdb_disassembly (struct gdbarch *gdbarch,
                    int how_many, CORE_ADDR low, CORE_ADDR high)
 {
-  volatile struct gdb_exception exception;
-  struct gdb_disassembly_stub_args args;
 
-  args.gdbarch = gdbarch;
-  args.how_many = how_many;
-  args.low = low;
-  args.high = high;
-  TRY_CATCH (exception, RETURN_MASK_ALL)
+  try
+    {
+      gdb_disassembly (gdbarch, current_uiout,
+                      DISASSEMBLY_RAW_INSN, how_many,
+                      low, high);
+    }
+  catch (const gdb_exception_error &exception)
     {
-      gdb_disassembly_stub (&args);
+      /* If an exception was thrown while doing the disassembly, print
+        the error message, to give the user a clue of what happened.  */
+      exception_print (gdb_stderr, exception);
     }
-  /* If an exception was thrown while doing the disassembly, print
-     the error message, to give the user a clue of what happened.  */
-  if (exception.reason == RETURN_ERROR)
-    exception_print (gdb_stderr, exception);
 }
 
 /* Print information about frame FRAME.  The output is format according
-   to PRINT_LEVEL and PRINT_WHAT and PRINT ARGS.  The meaning of
+   to PRINT_LEVEL and PRINT_WHAT and PRINT_ARGS.  The meaning of
    PRINT_WHAT is:
    
    SRC_LINE: Print only source line.
    LOCATION: Print only location.
-   LOC_AND_SRC: Print location and source line.
+   SRC_AND_LOC: Print location and source line.
 
    Used in "where" output, and to emit breakpoint or step
    messages.  */
 
 void
-print_frame_info (struct frame_info *frame, int print_level,
-                 enum print_what print_what, int print_args)
+print_frame_info (const frame_print_options &fp_opts,
+                 frame_info *frame, int print_level,
+                 enum print_what print_what, int print_args,
+                 int set_current_sal)
 {
   struct gdbarch *gdbarch = get_frame_arch (frame);
-  struct symtab_and_line sal;
   int source_print;
   int location_print;
+  struct ui_out *uiout = current_uiout;
 
   if (get_frame_type (frame) == DUMMY_FRAME
       || get_frame_type (frame) == SIGTRAMP_FRAME
       || get_frame_type (frame) == ARCH_FRAME)
     {
-      struct cleanup *uiout_cleanup
-       = make_cleanup_ui_out_tuple_begin_end (uiout, "frame");
+      ui_out_emit_tuple tuple_emitter (uiout, "frame");
 
       annotate_frame_begin (print_level ? frame_relative_level (frame) : 0,
                            gdbarch, get_frame_pc (frame));
@@ -544,14 +894,14 @@ print_frame_info (struct frame_info *frame, int print_level,
          to list for this frame.  */
       if (print_level)
         {
-          ui_out_text (uiout, "#");
-          ui_out_field_fmt_int (uiout, 2, ui_left, "level",
+          uiout->text ("#");
+          uiout->field_fmt_int (2, ui_left, "level",
                                frame_relative_level (frame));
         }
-      if (ui_out_is_mi_like_p (uiout))
+      if (uiout->is_mi_like_p ())
         {
           annotate_frame_address ();
-          ui_out_field_core_addr (uiout, "addr",
+          uiout->field_core_addr ("addr",
                                  gdbarch, get_frame_pc (frame));
           annotate_frame_address_end ();
         }
@@ -559,21 +909,30 @@ print_frame_info (struct frame_info *frame, int print_level,
       if (get_frame_type (frame) == DUMMY_FRAME)
         {
           annotate_function_call ();
-          ui_out_field_string (uiout, "func", "<function called from gdb>");
+          uiout->field_string ("func", "<function called from gdb>",
+                              ui_out_style_kind::FUNCTION);
        }
       else if (get_frame_type (frame) == SIGTRAMP_FRAME)
         {
          annotate_signal_handler_caller ();
-          ui_out_field_string (uiout, "func", "<signal handler called>");
+          uiout->field_string ("func", "<signal handler called>",
+                              ui_out_style_kind::FUNCTION);
         }
       else if (get_frame_type (frame) == ARCH_FRAME)
         {
-          ui_out_field_string (uiout, "func", "<cross-architecture call>");
+          uiout->field_string ("func", "<cross-architecture call>",
+                              ui_out_style_kind::FUNCTION);
        }
-      ui_out_text (uiout, "\n");
+      uiout->text ("\n");
       annotate_frame_end ();
 
-      do_cleanups (uiout_cleanup);
+      /* If disassemble-next-line is set to auto or on output the next
+        instruction.  */
+      if (disassemble_next_line == AUTO_BOOLEAN_AUTO
+         || disassemble_next_line == AUTO_BOOLEAN_TRUE)
+       do_gdb_disassembly (get_frame_arch (frame), 1,
+                           get_frame_pc (frame), get_frame_pc (frame) + 1);
+
       return;
     }
 
@@ -583,14 +942,14 @@ print_frame_info (struct frame_info *frame, int print_level,
      the next frame is a SIGTRAMP_FRAME or a DUMMY_FRAME, then the
      next frame was not entered as the result of a call, and we want
      to get the line containing FRAME->pc.  */
-  find_frame_sal (frame, &sal);
+  symtab_and_line sal = find_frame_sal (frame);
 
   location_print = (print_what == LOCATION 
                    || print_what == LOC_AND_ADDRESS
                    || print_what == SRC_AND_LOC);
 
   if (location_print || !sal.symtab)
-    print_frame (frame, print_level, print_what, print_args, sal);
+    print_frame (fp_opts, frame, print_level, print_what, print_args, sal);
 
   source_print = (print_what == SRC_LINE || print_what == SRC_AND_LOC);
 
@@ -604,67 +963,174 @@ print_frame_info (struct frame_info *frame, int print_level,
 
   if (source_print && sal.symtab)
     {
-      int done = 0;
       int mid_statement = ((print_what == SRC_LINE)
                           && frame_show_address (frame, sal));
+      annotate_source_line (sal.symtab, sal.line, mid_statement,
+                           get_frame_pc (frame));
 
-      if (annotation_level)
-       done = identify_source_line (sal.symtab, sal.line, mid_statement,
-                                    get_frame_pc (frame));
-      if (!done)
+      if (deprecated_print_frame_info_listing_hook)
+       deprecated_print_frame_info_listing_hook (sal.symtab, sal.line,
+                                                 sal.line + 1, 0);
+      else
        {
-         if (deprecated_print_frame_info_listing_hook)
-           deprecated_print_frame_info_listing_hook (sal.symtab, 
-                                                     sal.line, 
-                                                     sal.line + 1, 0);
-         else
-           {
-             struct value_print_options opts;
-             get_user_print_options (&opts);
-             /* We used to do this earlier, but that is clearly
-                wrong. This function is used by many different
-                parts of gdb, including normal_stop in infrun.c,
-                which uses this to print out the current PC
-                when we stepi/nexti into the middle of a source
-                line. Only the command line really wants this
-                behavior. Other UIs probably would like the
-                ability to decide for themselves if it is desired.  */
-             if (opts.addressprint && mid_statement)
-               {
-                 ui_out_field_core_addr (uiout, "addr",
-                                         gdbarch, get_frame_pc (frame));
-                 ui_out_text (uiout, "\t");
-               }
+         struct value_print_options opts;
 
-             print_source_lines (sal.symtab, sal.line, sal.line + 1, 0);
+         get_user_print_options (&opts);
+         /* We used to do this earlier, but that is clearly
+            wrong.  This function is used by many different
+            parts of gdb, including normal_stop in infrun.c,
+            which uses this to print out the current PC
+            when we stepi/nexti into the middle of a source
+            line.  Only the command line really wants this
+            behavior.  Other UIs probably would like the
+            ability to decide for themselves if it is desired.  */
+         if (opts.addressprint && mid_statement)
+           {
+             uiout->field_core_addr ("addr",
+                                     gdbarch, get_frame_pc (frame));
+             uiout->text ("\t");
            }
-       }
 
-      /* If disassemble-next-line is set to on and there is line debug
-         messages, output assembly codes for next line.  */
-      if (disassemble_next_line == AUTO_BOOLEAN_TRUE)
-       do_gdb_disassembly (get_frame_arch (frame), -1,
-                           get_frame_pc (frame), sal.end);
+         print_source_lines (sal.symtab, sal.line, sal.line + 1, 0);
+       }
     }
 
-  if (print_what != LOCATION)
-    set_default_breakpoint (1, get_frame_pc (frame), sal.symtab, sal.line);
+  /* If disassemble-next-line is set to on and there is line debug
+     messages, output assembly codes for next line.  */
+  if (disassemble_next_line == AUTO_BOOLEAN_TRUE)
+    do_gdb_disassembly (get_frame_arch (frame), -1, sal.pc, sal.end);
+
+  if (set_current_sal)
+    {
+      CORE_ADDR pc;
+
+      if (get_frame_pc_if_available (frame, &pc))
+       set_last_displayed_sal (1, sal.pspace, pc, sal.symtab, sal.line);
+      else
+       set_last_displayed_sal (0, 0, 0, 0, 0);
+    }
 
   annotate_frame_end ();
 
   gdb_flush (gdb_stdout);
 }
 
-/* Attempt to obtain the FUNNAME and FUNLANG of the function corresponding
-   to FRAME.  */
+/* Remember the last symtab and line we displayed, which we use e.g.
+ * as the place to put a breakpoint when the `break' command is
+ * invoked with no arguments.  */
+
+static void
+set_last_displayed_sal (int valid, struct program_space *pspace,
+                       CORE_ADDR addr, struct symtab *symtab,
+                       int line)
+{
+  last_displayed_sal_valid = valid;
+  last_displayed_pspace = pspace;
+  last_displayed_addr = addr;
+  last_displayed_symtab = symtab;
+  last_displayed_line = line;
+  if (valid && pspace == NULL)
+    {
+      clear_last_displayed_sal ();
+      internal_error (__FILE__, __LINE__,
+                     _("Trying to set NULL pspace."));
+    }
+}
+
+/* Forget the last sal we displayed.  */
+
 void
-find_frame_funname (struct frame_info *frame, char **funname,
-                   enum language *funlang)
+clear_last_displayed_sal (void)
+{
+  last_displayed_sal_valid = 0;
+  last_displayed_pspace = 0;
+  last_displayed_addr = 0;
+  last_displayed_symtab = 0;
+  last_displayed_line = 0;
+}
+
+/* Is our record of the last sal we displayed valid?  If not,
+ * the get_last_displayed_* functions will return NULL or 0, as
+ * appropriate.  */
+
+int
+last_displayed_sal_is_valid (void)
+{
+  return last_displayed_sal_valid;
+}
+
+/* Get the pspace of the last sal we displayed, if it's valid.  */
+
+struct program_space *
+get_last_displayed_pspace (void)
+{
+  if (last_displayed_sal_valid)
+    return last_displayed_pspace;
+  return 0;
+}
+
+/* Get the address of the last sal we displayed, if it's valid.  */
+
+CORE_ADDR
+get_last_displayed_addr (void)
+{
+  if (last_displayed_sal_valid)
+    return last_displayed_addr;
+  return 0;
+}
+
+/* Get the symtab of the last sal we displayed, if it's valid.  */
+
+struct symtab*
+get_last_displayed_symtab (void)
+{
+  if (last_displayed_sal_valid)
+    return last_displayed_symtab;
+  return 0;
+}
+
+/* Get the line of the last sal we displayed, if it's valid.  */
+
+int
+get_last_displayed_line (void)
+{
+  if (last_displayed_sal_valid)
+    return last_displayed_line;
+  return 0;
+}
+
+/* Get the last sal we displayed, if it's valid.  */
+
+symtab_and_line
+get_last_displayed_sal ()
+{
+  symtab_and_line sal;
+
+  if (last_displayed_sal_valid)
+    {
+      sal.pspace = last_displayed_pspace;
+      sal.pc = last_displayed_addr;
+      sal.symtab = last_displayed_symtab;
+      sal.line = last_displayed_line;
+    }
+
+  return sal;
+}
+
+
+/* Attempt to obtain the name, FUNLANG and optionally FUNCP of the function
+   corresponding to FRAME.  */
+
+gdb::unique_xmalloc_ptr<char>
+find_frame_funname (struct frame_info *frame, enum language *funlang,
+                   struct symbol **funcp)
 {
   struct symbol *func;
+  gdb::unique_xmalloc_ptr<char> funname;
 
-  *funname = NULL;
   *funlang = language_unknown;
+  if (funcp)
+    *funcp = NULL;
 
   func = get_frame_function (frame);
   if (func)
@@ -687,28 +1153,33 @@ find_frame_funname (struct frame_info *frame, char **funname,
          changed (and we'll create a find_pc_minimal_function or some
          such).  */
 
-      struct minimal_symbol *msymbol = NULL;
+      struct bound_minimal_symbol msymbol;
 
       /* Don't attempt to do this for inlined functions, which do not
         have a corresponding minimal symbol.  */
       if (!block_inlined_p (SYMBOL_BLOCK_VALUE (func)))
        msymbol
          = lookup_minimal_symbol_by_pc (get_frame_address_in_block (frame));
+      else
+       memset (&msymbol, 0, sizeof (msymbol));
 
-      if (msymbol != NULL
-         && (SYMBOL_VALUE_ADDRESS (msymbol)
-             > BLOCK_START (SYMBOL_BLOCK_VALUE (func))))
+      if (msymbol.minsym != NULL
+         && (BMSYMBOL_VALUE_ADDRESS (msymbol)
+             > BLOCK_ENTRY_PC (SYMBOL_BLOCK_VALUE (func))))
        {
          /* We also don't know anything about the function besides
             its address and name.  */
          func = 0;
-         *funname = SYMBOL_PRINT_NAME (msymbol);
-         *funlang = SYMBOL_LANGUAGE (msymbol);
+         funname.reset (xstrdup (MSYMBOL_PRINT_NAME (msymbol.minsym)));
+         *funlang = MSYMBOL_LANGUAGE (msymbol.minsym);
        }
       else
        {
-         *funname = SYMBOL_PRINT_NAME (func);
+         const char *print_name = SYMBOL_PRINT_NAME (func);
+
          *funlang = SYMBOL_LANGUAGE (func);
+         if (funcp)
+           *funcp = func;
          if (*funlang == language_cplus)
            {
              /* It seems appropriate to use SYMBOL_PRINT_NAME() here,
@@ -716,289 +1187,205 @@ find_frame_funname (struct frame_info *frame, char **funname,
                 stored in the symbol table, but we stored a version
                 with DMGL_PARAMS turned on, and here we don't want to
                 display parameters.  So remove the parameters.  */
-             char *func_only = cp_remove_params (*funname);
-             if (func_only)
-               {
-                 *funname = func_only;
-                 make_cleanup (xfree, func_only);
-               }
+             funname = cp_remove_params (print_name);
            }
+
+         /* If we didn't hit the C++ case above, set *funname
+            here.  */
+         if (funname == NULL)
+           funname.reset (xstrdup (print_name));
        }
     }
   else
     {
-      struct minimal_symbol *msymbol = 
-       lookup_minimal_symbol_by_pc (get_frame_address_in_block (frame));
+      struct bound_minimal_symbol msymbol;
+      CORE_ADDR pc;
 
-      if (msymbol != NULL)
+      if (!get_frame_address_in_block_if_available (frame, &pc))
+       return funname;
+
+      msymbol = lookup_minimal_symbol_by_pc (pc);
+      if (msymbol.minsym != NULL)
        {
-         *funname = SYMBOL_PRINT_NAME (msymbol);
-         *funlang = SYMBOL_LANGUAGE (msymbol);
+         funname.reset (xstrdup (MSYMBOL_PRINT_NAME (msymbol.minsym)));
+         *funlang = MSYMBOL_LANGUAGE (msymbol.minsym);
        }
     }
+
+  return funname;
 }
 
 static void
-print_frame (struct frame_info *frame, int print_level,
+print_frame (const frame_print_options &fp_opts,
+            frame_info *frame, int print_level,
             enum print_what print_what, int print_args,
             struct symtab_and_line sal)
 {
   struct gdbarch *gdbarch = get_frame_arch (frame);
-  char *funname = NULL;
+  struct ui_out *uiout = current_uiout;
   enum language funlang = language_unknown;
-  struct ui_stream *stb;
-  struct cleanup *old_chain, *list_chain;
   struct value_print_options opts;
+  struct symbol *func;
+  CORE_ADDR pc = 0;
+  int pc_p;
 
-  stb = ui_out_stream_new (uiout);
-  old_chain = make_cleanup_ui_out_stream_delete (stb);
+  pc_p = get_frame_pc_if_available (frame, &pc);
 
-  find_frame_funname (frame, &funname, &funlang);
+  gdb::unique_xmalloc_ptr<char> funname
+    = find_frame_funname (frame, &funlang, &func);
 
   annotate_frame_begin (print_level ? frame_relative_level (frame) : 0,
-                       gdbarch, get_frame_pc (frame));
+                       gdbarch, pc);
 
-  list_chain = make_cleanup_ui_out_tuple_begin_end (uiout, "frame");
+  {
+    ui_out_emit_tuple tuple_emitter (uiout, "frame");
 
-  if (print_level)
-    {
-      ui_out_text (uiout, "#");
-      ui_out_field_fmt_int (uiout, 2, ui_left, "level",
-                           frame_relative_level (frame));
-    }
-  get_user_print_options (&opts);
-  if (opts.addressprint)
-    if (frame_show_address (frame, sal) || !sal.symtab
-       || print_what == LOC_AND_ADDRESS)
+    if (print_level)
       {
-       annotate_frame_address ();
-       ui_out_field_core_addr (uiout, "addr", gdbarch, get_frame_pc (frame));
-       annotate_frame_address_end ();
-       ui_out_text (uiout, " in ");
+       uiout->text ("#");
+       uiout->field_fmt_int (2, ui_left, "level",
+                             frame_relative_level (frame));
       }
-  annotate_frame_function_name ();
-  fprintf_symbol_filtered (stb->stream, funname ? funname : "??",
-                          funlang, DMGL_ANSI);
-  ui_out_field_stream (uiout, "func", stb);
-  ui_out_wrap_hint (uiout, "   ");
-  annotate_frame_args ();
-      
-  ui_out_text (uiout, " (");
-  if (print_args)
-    {
-      struct print_args_args args;
-      struct cleanup *args_list_chain;
-      args.frame = frame;
-      args.func = find_pc_function (get_frame_address_in_block (frame));
-      args.stream = gdb_stdout;
-      args_list_chain = make_cleanup_ui_out_list_begin_end (uiout, "args");
-      catch_errors (print_args_stub, &args, "", RETURN_MASK_ERROR);
-      /* FIXME: ARGS must be a list. If one argument is a string it
-         will have " that will not be properly escaped.  */
-      /* Invoke ui_out_tuple_end.  */
-      do_cleanups (args_list_chain);
-      QUIT;
-    }
-  ui_out_text (uiout, ")");
-  if (sal.symtab && sal.symtab->filename)
-    {
-      annotate_frame_source_begin ();
-      ui_out_wrap_hint (uiout, "   ");
-      ui_out_text (uiout, " at ");
-      annotate_frame_source_file ();
-      ui_out_field_string (uiout, "file", sal.symtab->filename);
-      if (ui_out_is_mi_like_p (uiout))
+    get_user_print_options (&opts);
+    if (opts.addressprint)
+      if (!sal.symtab
+         || frame_show_address (frame, sal)
+         || print_what == LOC_AND_ADDRESS)
        {
-         const char *fullname = symtab_to_fullname (sal.symtab);
-         if (fullname != NULL)
-           ui_out_field_string (uiout, "fullname", fullname);
-       }
-      annotate_frame_source_file_end ();
-      ui_out_text (uiout, ":");
-      annotate_frame_source_line ();
-      ui_out_field_int (uiout, "line", sal.line);
-      annotate_frame_source_end ();
-    }
-
-  if (!funname || (!sal.symtab || !sal.symtab->filename))
-    {
-#ifdef PC_SOLIB
-      char *lib = PC_SOLIB (get_frame_pc (frame));
-#else
-      char *lib = solib_name_from_address (get_frame_pc (frame));
-#endif
-      if (lib)
-       {
-         annotate_frame_where ();
-         ui_out_wrap_hint (uiout, "  ");
-         ui_out_text (uiout, " from ");
-         ui_out_field_string (uiout, "from", lib);
+         annotate_frame_address ();
+         if (pc_p)
+           uiout->field_core_addr ("addr", gdbarch, pc);
+         else
+           uiout->field_string ("addr", "<unavailable>",
+                                ui_out_style_kind::ADDRESS);
+         annotate_frame_address_end ();
+         uiout->text (" in ");
        }
-    }
-
-  /* do_cleanups will call ui_out_tuple_end() for us.  */
-  do_cleanups (list_chain);
-  ui_out_text (uiout, "\n");
-  do_cleanups (old_chain);
-}
-\f
-
-/* Read a frame specification in whatever the appropriate format is
-   from FRAME_EXP.  Call error(), printing MESSAGE, if the
-   specification is in any way invalid (so this function never returns
-   NULL).  When SEPECTED_P is non-NULL set its target to indicate that
-   the default selected frame was used.  */
+    annotate_frame_function_name ();
 
-static struct frame_info *
-parse_frame_specification_1 (const char *frame_exp, const char *message,
-                            int *selected_frame_p)
-{
-  int numargs;
-  struct value *args[4];
-  CORE_ADDR addrs[ARRAY_SIZE (args)];
+    string_file stb;
+    fprintf_symbol_filtered (&stb, funname ? funname.get () : "??",
+                            funlang, DMGL_ANSI);
+    uiout->field_stream ("func", stb, ui_out_style_kind::FUNCTION);
+    uiout->wrap_hint ("   ");
+    annotate_frame_args ();
 
-  if (frame_exp == NULL)
-    numargs = 0;
-  else
-    {
-      char *addr_string;
-      struct cleanup *tmp_cleanup;
+    uiout->text (" (");
+    if (print_args)
+      {
+       int numargs;
 
-      numargs = 0;
-      while (1)
+       if (gdbarch_frame_num_args_p (gdbarch))
+         {
+           numargs = gdbarch_frame_num_args (gdbarch, frame);
+           gdb_assert (numargs >= 0);
+         }
+       else
+         numargs = -1;
+    
        {
-         char *addr_string;
-         struct cleanup *cleanup;
-         const char *p;
-
-         /* Skip leading white space, bail of EOL.  */
-         while (isspace (*frame_exp))
-           frame_exp++;
-         if (!*frame_exp)
-           break;
-
-         /* Parse the argument, extract it, save it.  */
-         for (p = frame_exp;
-              *p && !isspace (*p);
-              p++);
-         addr_string = savestring (frame_exp, p - frame_exp);
-         frame_exp = p;
-         cleanup = make_cleanup (xfree, addr_string);
-         
-         /* NOTE: Parse and evaluate expression, but do not use
-            functions such as parse_and_eval_long or
-            parse_and_eval_address to also extract the value.
-            Instead value_as_long and value_as_address are used.
-            This avoids problems with expressions that contain
-            side-effects.  */
-         if (numargs >= ARRAY_SIZE (args))
-           error (_("Too many args in frame specification"));
-         args[numargs++] = parse_and_eval (addr_string);
-
-         do_cleanups (cleanup);
-       }
-    }
-
-  /* If no args, default to the selected frame.  */
-  if (numargs == 0)
-    {
-      if (selected_frame_p != NULL)
-       (*selected_frame_p) = 1;
-      return get_selected_frame (message);
-    }
-
-  /* None of the remaining use the selected frame.  */
-  if (selected_frame_p != NULL)
-    (*selected_frame_p) = 0;
+         ui_out_emit_list list_emitter (uiout, "args");
+         try
+           {
+             print_frame_args (fp_opts, func, frame, numargs, gdb_stdout);
+           }
+         catch (const gdb_exception_error &e)
+           {
+           }
 
-  /* Assume the single arg[0] is an integer, and try using that to
-     select a frame relative to current.  */
-  if (numargs == 1)
-    {
-      struct frame_info *fid;
-      int level = value_as_long (args[0]);
-      fid = find_relative_frame (get_current_frame (), &level);
-      if (level == 0)
-       /* find_relative_frame was successful */
-       return fid;
-    }
+           /* FIXME: ARGS must be a list.  If one argument is a string it
+              will have " that will not be properly escaped.  */
+           }
+       QUIT;
+      }
+    uiout->text (")");
+    if (sal.symtab)
+      {
+       const char *filename_display;
+      
+       filename_display = symtab_to_filename_for_display (sal.symtab);
+       annotate_frame_source_begin ();
+       uiout->wrap_hint ("   ");
+       uiout->text (" at ");
+       annotate_frame_source_file ();
+       uiout->field_string ("file", filename_display, ui_out_style_kind::FILE);
+       if (uiout->is_mi_like_p ())
+         {
+           const char *fullname = symtab_to_fullname (sal.symtab);
 
-  /* Convert each value into a corresponding address.  */
-  {
-    int i;
-    for (i = 0; i < numargs; i++)
-      addrs[i] = value_as_address (args[i]);
-  }
+           uiout->field_string ("fullname", fullname);
+         }
+       annotate_frame_source_file_end ();
+       uiout->text (":");
+       annotate_frame_source_line ();
+       uiout->field_int ("line", sal.line);
+       annotate_frame_source_end ();
+      }
 
-  /* Assume that the single arg[0] is an address, use that to identify
-     a frame with a matching ID.  Should this also accept stack/pc or
-     stack/pc/special.  */
-  if (numargs == 1)
-    {
-      struct frame_id id = frame_id_build_wild (addrs[0]);
-      struct frame_info *fid;
-
-      /* If (s)he specifies the frame with an address, he deserves
-        what (s)he gets.  Still, give the highest one that matches.
-        (NOTE: cagney/2004-10-29: Why highest, or outer-most, I don't
-        know).  */
-      for (fid = get_current_frame ();
-          fid != NULL;
-          fid = get_prev_frame (fid))
-       {
-         if (frame_id_eq (id, get_frame_id (fid)))
-           {
-             struct frame_info *prev_frame;
+    if (pc_p && (funname == NULL || sal.symtab == NULL))
+      {
+       char *lib = solib_name_from_address (get_frame_program_space (frame),
+                                            get_frame_pc (frame));
 
-             while (1)
-               {
-                 prev_frame = get_prev_frame (fid);
-                 if (!prev_frame
-                     || !frame_id_eq (id, get_frame_id (prev_frame)))
-                   break;
-                 fid = prev_frame;
-               }
-             return fid;
-           }
-       }
+       if (lib)
+         {
+           annotate_frame_where ();
+           uiout->wrap_hint ("  ");
+           uiout->text (" from ");
+           uiout->field_string ("from", lib);
+         }
       }
+    if (uiout->is_mi_like_p ())
+      uiout->field_string ("arch",
+                          (gdbarch_bfd_arch_info (gdbarch))->printable_name);
+  }
 
-  /* We couldn't identify the frame as an existing frame, but
-     perhaps we can create one with a single argument.  */
-  if (numargs == 1)
-    return create_new_frame (addrs[0], 0);
-  else if (numargs == 2)
-    return create_new_frame (addrs[0], addrs[1]);
-  else
-    error (_("Too many args in frame specification"));
+  uiout->text ("\n");
 }
+\f
 
-static struct frame_info *
-parse_frame_specification (char *frame_exp)
+/* Completion function for "frame function", "info frame function", and
+   "select-frame function" commands.  */
+
+void
+frame_selection_by_function_completer (struct cmd_list_element *ignore,
+                                      completion_tracker &tracker,
+                                      const char *text, const char *word)
 {
-  return parse_frame_specification_1 (frame_exp, NULL, NULL);
+  /* This is used to complete function names within a stack.  It would be
+     nice if we only offered functions that were actually in the stack.
+     However, this would mean unwinding the stack to completion, which
+     could take too long, or on a corrupted stack, possibly not end.
+     Instead, we offer all symbol names as a safer choice.  */
+  collect_symbol_completion_matches (tracker,
+                                    complete_symbol_mode::EXPRESSION,
+                                    symbol_name_match_type::EXPRESSION,
+                                    text, word);
 }
 
-/* Print verbosely the selected frame or the frame at address
-   ADDR_EXP.  Absolutely all information in the frame is printed.  */
+/* Core of all the "info frame" sub-commands.  Print information about a
+   frame FI.  If SELECTED_FRAME_P is true then the user didn't provide a
+   frame specification, they just entered 'info frame'.  If the user did
+   provide a frame specification (for example 'info frame 0', 'info frame
+   level 1') then SELECTED_FRAME_P will be false.  */
 
 static void
-frame_info (char *addr_exp, int from_tty)
+info_frame_command_core (struct frame_info *fi, bool selected_frame_p)
 {
-  struct frame_info *fi;
-  struct symtab_and_line sal;
   struct symbol *func;
   struct symtab *s;
   struct frame_info *calling_frame_info;
-  int i, count, numregs;
-  char *funname = 0;
+  int numregs;
+  const char *funname = 0;
   enum language funlang = language_unknown;
   const char *pc_regname;
-  int selected_frame_p;
   struct gdbarch *gdbarch;
-  struct cleanup *back_to = make_cleanup (null_cleanup, NULL);
+  CORE_ADDR frame_pc;
+  int frame_pc_p;
+  /* Initialize it to avoid "may be used uninitialized" warning.  */
+  CORE_ADDR caller_pc = 0;
+  int caller_pc_p = 0;
 
-  fi = parse_frame_specification_1 (addr_exp, "No stack.", &selected_frame_p);
   gdbarch = get_frame_arch (fi);
 
   /* Name of the value returned by get_frame_pc().  Per comments, "pc"
@@ -1015,11 +1402,11 @@ frame_info (char *addr_exp, int from_tty)
        get_frame_pc().  */
     pc_regname = "pc";
 
-  find_frame_sal (fi, &sal);
+  frame_pc_p = get_frame_pc_if_available (fi, &frame_pc);
   func = get_frame_function (fi);
-  /* FIXME: cagney/2002-11-28: Why bother?  Won't sal.symtab contain
-     the same value?  */
-  s = find_pc_symtab (get_frame_pc (fi));
+  symtab_and_line sal = find_frame_sal (fi);
+  s = sal.symtab;
+  gdb::unique_xmalloc_ptr<char> func_only;
   if (func)
     {
       funname = SYMBOL_PRINT_NAME (func);
@@ -1031,23 +1418,21 @@ frame_info (char *addr_exp, int from_tty)
             stored in the symbol table, but we stored a version
             with DMGL_PARAMS turned on, and here we don't want to
             display parameters.  So remove the parameters.  */
-         char *func_only = cp_remove_params (funname);
+         func_only = cp_remove_params (funname);
+
          if (func_only)
-           {
-             funname = func_only;
-             make_cleanup (xfree, func_only);
-           }
+           funname = func_only.get ();
        }
     }
-  else
+  else if (frame_pc_p)
     {
-      struct minimal_symbol *msymbol;
+      struct bound_minimal_symbol msymbol;
 
-      msymbol = lookup_minimal_symbol_by_pc (get_frame_pc (fi));
-      if (msymbol != NULL)
+      msymbol = lookup_minimal_symbol_by_pc (frame_pc);
+      if (msymbol.minsym != NULL)
        {
-         funname = SYMBOL_PRINT_NAME (msymbol);
-         funlang = SYMBOL_LANGUAGE (msymbol);
+         funname = MSYMBOL_PRINT_NAME (msymbol.minsym);
+         funlang = MSYMBOL_LANGUAGE (msymbol.minsym);
        }
     }
   calling_frame_info = get_prev_frame (fi);
@@ -1064,7 +1449,10 @@ frame_info (char *addr_exp, int from_tty)
   fputs_filtered (paddress (gdbarch, get_frame_base (fi)), gdb_stdout);
   printf_filtered (":\n");
   printf_filtered (" %s = ", pc_regname);
-  fputs_filtered (paddress (gdbarch, get_frame_pc (fi)), gdb_stdout);
+  if (frame_pc_p)
+    fputs_filtered (paddress (gdbarch, get_frame_pc (fi)), gdb_stdout);
+  else
+    fputs_filtered ("<unavailable>", gdb_stdout);
 
   wrap_here ("   ");
   if (funname)
@@ -1075,11 +1463,41 @@ frame_info (char *addr_exp, int from_tty)
     }
   wrap_here ("   ");
   if (sal.symtab)
-    printf_filtered (" (%s:%d)", sal.symtab->filename, sal.line);
+    printf_filtered (" (%s:%d)", symtab_to_filename_for_display (sal.symtab),
+                    sal.line);
   puts_filtered ("; ");
   wrap_here ("    ");
-  printf_filtered ("saved %s ", pc_regname);
-  fputs_filtered (paddress (gdbarch, frame_unwind_caller_pc (fi)), gdb_stdout);
+  printf_filtered ("saved %s = ", pc_regname);
+
+  if (!frame_id_p (frame_unwind_caller_id (fi)))
+    val_print_not_saved (gdb_stdout);
+  else
+    {
+      try
+       {
+         caller_pc = frame_unwind_caller_pc (fi);
+         caller_pc_p = 1;
+       }
+      catch (const gdb_exception_error &ex)
+       {
+         switch (ex.error)
+           {
+           case NOT_AVAILABLE_ERROR:
+             val_print_unavailable (gdb_stdout);
+             break;
+           case OPTIMIZED_OUT_ERROR:
+             val_print_not_saved (gdb_stdout);
+             break;
+           default:
+             fprintf_filtered (gdb_stdout, _("<error: %s>"),
+                               ex.what ());
+             break;
+           }
+       }
+    }
+
+  if (caller_pc_p)
+    fputs_filtered (paddress (gdbarch, caller_pc), gdb_stdout);
   printf_filtered ("\n");
 
   if (calling_frame_info == NULL)
@@ -1089,8 +1507,10 @@ frame_info (char *addr_exp, int from_tty)
       reason = get_frame_unwind_stop_reason (fi);
       if (reason != UNWIND_NO_REASON)
        printf_filtered (_(" Outermost frame: %s\n"),
-                        frame_stop_reason_string (reason));
+                        frame_stop_reason_string (fi));
     }
+  else if (get_frame_type (fi) == TAILCALL_FRAME)
+    puts_filtered (" tail call frame");
   else if (get_frame_type (fi) == INLINE_FRAME)
     printf_filtered (" inlined into frame %d",
                     frame_relative_level (get_prev_frame (fi)));
@@ -1146,7 +1566,8 @@ frame_info (char *addr_exp, int from_tty)
            else
              printf_filtered (" %d args: ", numargs);
          }
-       print_frame_args (func, fi, numargs, gdb_stdout);
+       print_frame_args (user_frame_print_options,
+                         func, fi, numargs, gdb_stdout);
        puts_filtered ("\n");
       }
   }
@@ -1167,74 +1588,75 @@ frame_info (char *addr_exp, int from_tty)
   /* Print as much information as possible on the location of all the
      registers.  */
   {
-    enum lval_type lval;
-    int optimized;
-    CORE_ADDR addr;
-    int realnum;
     int count;
     int i;
     int need_nl = 1;
+    int sp_regnum = gdbarch_sp_regnum (gdbarch);
 
     /* The sp is special; what's displayed isn't the save address, but
        the value of the previous frame's sp.  This is a legacy thing,
        at one stage the frame cached the previous frame's SP instead
        of its address, hence it was easiest to just display the cached
        value.  */
-    if (gdbarch_sp_regnum (gdbarch) >= 0)
+    if (sp_regnum >= 0)
       {
-       /* Find out the location of the saved stack pointer with out
-           actually evaluating it.  */
-       frame_register_unwind (fi, gdbarch_sp_regnum (gdbarch),
-                              &optimized, &lval, &addr,
-                              &realnum, NULL);
-       if (!optimized && lval == not_lval)
-         {
-           enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
-           int sp_size = register_size (gdbarch, gdbarch_sp_regnum (gdbarch));
-           gdb_byte value[MAX_REGISTER_SIZE];
-           CORE_ADDR sp;
-           frame_register_unwind (fi, gdbarch_sp_regnum (gdbarch),
-                                  &optimized, &lval, &addr,
-                                  &realnum, value);
-           /* NOTE: cagney/2003-05-22: This is assuming that the
-               stack pointer was packed as an unsigned integer.  That
-               may or may not be valid.  */
-           sp = extract_unsigned_integer (value, sp_size, byte_order);
-           printf_filtered (" Previous frame's sp is ");
-           fputs_filtered (paddress (gdbarch, sp), gdb_stdout);
-           printf_filtered ("\n");
-           need_nl = 0;
-         }
-       else if (!optimized && lval == lval_memory)
-         {
-           printf_filtered (" Previous frame's sp at ");
-           fputs_filtered (paddress (gdbarch, addr), gdb_stdout);
-           printf_filtered ("\n");
-           need_nl = 0;
-         }
-       else if (!optimized && lval == lval_register)
+       struct value *value = frame_unwind_register_value (fi, sp_regnum);
+       gdb_assert (value != NULL);
+
+       if (!value_optimized_out (value) && value_entirely_available (value))
          {
-           printf_filtered (" Previous frame's sp in %s\n",
-                            gdbarch_register_name (gdbarch, realnum));
+           if (VALUE_LVAL (value) == not_lval)
+             {
+               CORE_ADDR sp;
+               enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+               int sp_size = register_size (gdbarch, sp_regnum);
+
+               sp = extract_unsigned_integer (value_contents_all (value),
+                                              sp_size, byte_order);
+
+               printf_filtered (" Previous frame's sp is ");
+               fputs_filtered (paddress (gdbarch, sp), gdb_stdout);
+               printf_filtered ("\n");
+             }
+           else if (VALUE_LVAL (value) == lval_memory)
+             {
+               printf_filtered (" Previous frame's sp at ");
+               fputs_filtered (paddress (gdbarch, value_address (value)),
+                               gdb_stdout);
+               printf_filtered ("\n");
+             }
+           else if (VALUE_LVAL (value) == lval_register)
+             {
+               printf_filtered (" Previous frame's sp in %s\n",
+                                gdbarch_register_name (gdbarch,
+                                                       VALUE_REGNUM (value)));
+             }
+
+           release_value (value);
            need_nl = 0;
          }
        /* else keep quiet.  */
       }
 
     count = 0;
-    numregs = gdbarch_num_regs (gdbarch)
-             + gdbarch_num_pseudo_regs (gdbarch);
+    numregs = gdbarch_num_cooked_regs (gdbarch);
     for (i = 0; i < numregs; i++)
-      if (i != gdbarch_sp_regnum (gdbarch)
+      if (i != sp_regnum
          && gdbarch_register_reggroup_p (gdbarch, i, all_reggroup))
        {
+         enum lval_type lval;
+         int optimized;
+         int unavailable;
+         CORE_ADDR addr;
+         int realnum;
+
          /* Find out the location of the saved register without
              fetching the corresponding value.  */
-         frame_register_unwind (fi, i, &optimized, &lval, &addr, &realnum,
-                                NULL);
+         frame_register_unwind (fi, i, &optimized, &unavailable,
+                                &lval, &addr, &realnum, NULL);
          /* For moment, only display registers that were saved on the
             stack.  */
-         if (!optimized && lval == lval_memory)
+         if (!optimized && !unavailable && lval == lval_memory)
            {
              if (count == 0)
                puts_filtered (" Saved registers:\n ");
@@ -1250,223 +1672,473 @@ frame_info (char *addr_exp, int from_tty)
     if (count || need_nl)
       puts_filtered ("\n");
   }
+}
+
+/* Return the innermost frame at level LEVEL.  */
+
+static struct frame_info *
+leading_innermost_frame (int level)
+{
+  struct frame_info *leading;
+
+  leading = get_current_frame ();
+
+  gdb_assert (level >= 0);
+
+  while (leading != nullptr && level)
+    {
+      QUIT;
+      leading = get_prev_frame (leading);
+      level--;
+    }
+
+  return leading;
+}
+
+/* Return the starting frame needed to handle COUNT outermost frames.  */
+
+static struct frame_info *
+trailing_outermost_frame (int count)
+{
+  struct frame_info *current;
+  struct frame_info *trailing;
+
+  trailing = get_current_frame ();
+
+  gdb_assert (count > 0);
+
+  current = trailing;
+  while (current != nullptr && count--)
+    {
+      QUIT;
+      current = get_prev_frame (current);
+    }
 
-  do_cleanups (back_to);
+  /* Will stop when CURRENT reaches the top of the stack.
+     TRAILING will be COUNT below it.  */
+  while (current != nullptr)
+    {
+      QUIT;
+      trailing = get_prev_frame (trailing);
+      current = get_prev_frame (current);
+    }
+
+  return trailing;
+}
+
+/* The core of all the "select-frame" sub-commands.  Just wraps a call to
+   SELECT_FRAME.  */
+
+static void
+select_frame_command_core (struct frame_info *fi, bool ignored)
+{
+  struct frame_info *prev_frame = get_selected_frame_if_set ();
+  select_frame (fi);
+  if (get_selected_frame_if_set () != prev_frame)
+    gdb::observers::user_selected_context_changed.notify (USER_SELECTED_FRAME);
 }
 
+/* See stack.h.  */
+
+void
+select_frame_for_mi (struct frame_info *fi)
+{
+  select_frame_command_core (fi, false /* Ignored.  */);
+}
+
+/* The core of all the "frame" sub-commands.  Select frame FI, and if this
+   means we change frame send out a change notification (otherwise, just
+   reprint the current frame summary).   */
+
+static void
+frame_command_core (struct frame_info *fi, bool ignored)
+{
+  struct frame_info *prev_frame = get_selected_frame_if_set ();
+
+  select_frame (fi);
+  if (get_selected_frame_if_set () != prev_frame)
+    gdb::observers::user_selected_context_changed.notify (USER_SELECTED_FRAME);
+  else
+    print_selected_thread_frame (current_uiout, USER_SELECTED_FRAME);
+}
+
+/* The three commands 'frame', 'select-frame', and 'info frame' all have a
+   common set of sub-commands that allow a specific frame to be selected.
+   All of the sub-command functions are static methods within this class
+   template which is then instantiated below.  The template parameter is a
+   callback used to implement the functionality of the base command
+   ('frame', 'select-frame', or 'info frame').
+
+   In the template parameter FI is the frame being selected.  The
+   SELECTED_FRAME_P flag is true if the frame being selected was done by
+   default, which happens when the user uses the base command with no
+   arguments.  For example the commands 'info frame', 'select-frame',
+   'frame' will all cause SELECTED_FRAME_P to be true.  In all other cases
+   SELECTED_FRAME_P is false.  */
+
+template <void (*FPTR) (struct frame_info *fi, bool selected_frame_p)>
+class frame_command_helper
+{
+public:
+
+  /* The "frame level" family of commands.  The ARG is an integer that is
+     the frame's level in the stack.  */
+  static void
+  level (const char *arg, int from_tty)
+  {
+    int level = value_as_long (parse_and_eval (arg));
+    struct frame_info *fid
+      = find_relative_frame (get_current_frame (), &level);
+    if (level != 0)
+      error (_("No frame at level %s."), arg);
+    FPTR (fid, false);
+  }
+
+  /* The "frame address" family of commands.  ARG is a stack-pointer
+     address for an existing frame.  This command does not allow new
+     frames to be created.  */
+
+  static void
+  address (const char *arg, int from_tty)
+  {
+    CORE_ADDR addr = value_as_address (parse_and_eval (arg));
+    struct frame_info *fid = find_frame_for_address (addr);
+    if (fid == NULL)
+      error (_("No frame at address %s."), arg);
+    FPTR (fid, false);
+  }
+
+  /* The "frame view" family of commands.  ARG is one or two addresses and
+     is used to view a frame that might be outside the current backtrace.
+     The addresses are stack-pointer address, and (optional) pc-address.  */
+
+  static void
+  view (const char *args, int from_tty)
+  {
+    struct frame_info *fid;
+
+    if (args == NULL)
+    error (_("Missing address argument to view a frame"));
+
+    gdb_argv argv (args);
+
+    if (argv.count () == 2)
+      {
+       CORE_ADDR addr[2];
+
+       addr [0] = value_as_address (parse_and_eval (argv[0]));
+       addr [1] = value_as_address (parse_and_eval (argv[1]));
+       fid = create_new_frame (addr[0], addr[1]);
+      }
+    else
+      {
+       CORE_ADDR addr = value_as_address (parse_and_eval (argv[0]));
+       fid = create_new_frame (addr, false);
+      }
+    FPTR (fid, false);
+  }
+
+  /* The "frame function" family of commands.  ARG is the name of a
+     function within the stack, the first function (searching from frame
+     0) with that name will be selected.  */
+
+  static void
+  function (const char *arg, int from_tty)
+  {
+    if (arg == NULL)
+      error (_("Missing function name argument"));
+    struct frame_info *fid = find_frame_for_function (arg);
+    if (fid == NULL)
+      error (_("No frame for function \"%s\"."), arg);
+    FPTR (fid, false);
+  }
+
+  /* The "frame" base command, that is, when no sub-command is specified.
+     If one argument is provided then we assume that this is a frame's
+     level as historically, this was the supported command syntax that was
+     used most often.
+
+     If no argument is provided, then the current frame is selected.  */
+
+  static void
+  base_command (const char *arg, int from_tty)
+  {
+    if (arg == NULL)
+      FPTR (get_selected_frame (_("No stack.")), true);
+    else
+      level (arg, from_tty);
+  }
+};
+
+/* Instantiate three FRAME_COMMAND_HELPER instances to implement the
+   sub-commands for 'info frame', 'frame', and 'select-frame' commands.  */
+
+static frame_command_helper <info_frame_command_core> info_frame_cmd;
+static frame_command_helper <frame_command_core> frame_cmd;
+static frame_command_helper <select_frame_command_core> select_frame_cmd;
+
 /* Print briefly all stack frames or just the innermost COUNT_EXP
    frames.  */
 
 static void
-backtrace_command_1 (char *count_exp, int show_locals, int from_tty)
+backtrace_command_1 (const frame_print_options &fp_opts,
+                    const backtrace_cmd_options &bt_opts,
+                    const char *count_exp, int from_tty)
+
 {
   struct frame_info *fi;
   int count;
-  int i;
-  struct frame_info *trailing;
-  int trailing_level;
+  int py_start = 0, py_end = 0;
+  enum ext_lang_bt_status result = EXT_LANG_BT_ERROR;
 
   if (!target_has_stack)
     error (_("No stack."));
 
-  /* The following code must do two things.  First, it must set the
-     variable TRAILING to the frame from which we should start
-     printing.  Second, it must set the variable count to the number
-     of frames which we should print, or -1 if all of them.  */
-  trailing = get_current_frame ();
-
-  /* The target can be in a state where there is no valid frames
-     (e.g., just connected). */
-  if (trailing == NULL)
-    error (_("No stack."));
-
-  trailing_level = 0;
   if (count_exp)
     {
       count = parse_and_eval_long (count_exp);
       if (count < 0)
+       py_start = count;
+      else
        {
-         struct frame_info *current;
+         py_start = 0;
+         /* The argument to apply_ext_lang_frame_filter is the number
+            of the final frame to print, and frames start at 0.  */
+         py_end = count - 1;
+       }
+    }
+  else
+    {
+      py_end = -1;
+      count = -1;
+    }
 
-         count = -count;
+  frame_filter_flags flags = 0;
 
-         current = trailing;
-         while (current && count--)
-           {
-             QUIT;
-             current = get_prev_frame (current);
-           }
+  if (bt_opts.full)
+    flags |= PRINT_LOCALS;
+  if (bt_opts.hide)
+    flags |= PRINT_HIDE;
 
-         /* Will stop when CURRENT reaches the top of the stack.
-            TRAILING will be COUNT below it.  */
-         while (current)
-           {
-             QUIT;
-             trailing = get_prev_frame (trailing);
-             current = get_prev_frame (current);
-             trailing_level++;
-           }
+  if (!bt_opts.no_filters)
+    {
+      enum ext_lang_frame_args arg_type;
 
-         count = -1;
-       }
+      flags |= PRINT_LEVEL | PRINT_FRAME_INFO | PRINT_ARGS;
+      if (from_tty)
+       flags |= PRINT_MORE_FRAMES;
+
+      if (fp_opts.print_frame_arguments == print_frame_arguments_scalars)
+       arg_type = CLI_SCALAR_VALUES;
+      else if (fp_opts.print_frame_arguments == print_frame_arguments_all)
+       arg_type = CLI_ALL_VALUES;
+      else
+       arg_type = NO_VALUES;
+
+      result = apply_ext_lang_frame_filter (get_current_frame (), flags,
+                                           arg_type, current_uiout,
+                                           py_start, py_end);
     }
-  else
-    count = -1;
 
-  if (info_verbose)
+  /* Run the inbuilt backtrace if there are no filters registered, or
+     "-no-filters" has been specified from the command.  */
+  if (bt_opts.no_filters || result == EXT_LANG_BT_NO_FILTERS)
     {
-      struct partial_symtab *ps;
+      struct frame_info *trailing;
+
+      /* The following code must do two things.  First, it must set the
+        variable TRAILING to the frame from which we should start
+        printing.  Second, it must set the variable count to the number
+        of frames which we should print, or -1 if all of them.  */
 
-      /* Read in symbols for all of the frames.  Need to do this in a
-         separate pass so that "Reading in symbols for xxx" messages
-         don't screw up the appearance of the backtrace.  Also if
-         people have strong opinions against reading symbols for
-         backtrace this may have to be an option.  */
-      i = count;
-      for (fi = trailing; fi != NULL && i--; fi = get_prev_frame (fi))
+      if (count_exp != NULL && count < 0)
        {
-         QUIT;
-         ps = find_pc_psymtab (get_frame_address_in_block (fi));
-         if (ps)
-           PSYMTAB_TO_SYMTAB (ps); /* Force syms to come in.  */
+         trailing = trailing_outermost_frame (-count);
+         count = -1;
        }
-    }
+      else
+       trailing = get_current_frame ();
 
-  for (i = 0, fi = trailing; fi && count--; i++, fi = get_prev_frame (fi))
-    {
-      QUIT;
+      for (fi = trailing; fi && count--; fi = get_prev_frame (fi))
+       {
+         QUIT;
 
-      /* Don't use print_stack_frame; if an error() occurs it probably
-         means further attempts to backtrace would fail (on the other
-         hand, perhaps the code does or could be fixed to make sure
-         the frame->prev field gets set to NULL in that case).  */
-      print_frame_info (fi, 1, LOCATION, 1);
-      if (show_locals)
-       print_frame_local_vars (fi, 1, gdb_stdout);
+         /* Don't use print_stack_frame; if an error() occurs it probably
+            means further attempts to backtrace would fail (on the other
+            hand, perhaps the code does or could be fixed to make sure
+            the frame->prev field gets set to NULL in that case).  */
 
-      /* Save the last frame to check for error conditions.  */
-      trailing = fi;
-    }
+         print_frame_info (fp_opts, fi, 1, LOCATION, 1, 0);
+         if ((flags & PRINT_LOCALS) != 0)
+           {
+             struct frame_id frame_id = get_frame_id (fi);
 
-  /* If we've stopped before the end, mention that.  */
-  if (fi && from_tty)
-    printf_filtered (_("(More stack frames follow...)\n"));
+             print_frame_local_vars (fi, false, NULL, NULL, 1, gdb_stdout);
 
-  /* If we've run out of frames, and the reason appears to be an error
-     condition, print it.  */
-  if (fi == NULL && trailing != NULL)
-    {
-      enum unwind_stop_reason reason;
+             /* print_frame_local_vars invalidates FI.  */
+             fi = frame_find_by_id (frame_id);
+             if (fi == NULL)
+               {
+                 trailing = NULL;
+                 warning (_("Unable to restore previously selected frame."));
+                 break;
+               }
+           }
 
-      reason = get_frame_unwind_stop_reason (trailing);
-      if (reason > UNWIND_FIRST_ERROR)
-       printf_filtered (_("Backtrace stopped: %s\n"),
-                        frame_stop_reason_string (reason));
+         /* Save the last frame to check for error conditions.  */
+         trailing = fi;
+       }
+
+      /* If we've stopped before the end, mention that.  */
+      if (fi && from_tty)
+       printf_filtered (_("(More stack frames follow...)\n"));
+
+      /* If we've run out of frames, and the reason appears to be an error
+        condition, print it.  */
+      if (fi == NULL && trailing != NULL)
+       {
+         enum unwind_stop_reason reason;
+
+         reason = get_frame_unwind_stop_reason (trailing);
+         if (reason >= UNWIND_FIRST_ERROR)
+           printf_filtered (_("Backtrace stopped: %s\n"),
+                            frame_stop_reason_string (trailing));
+       }
     }
 }
 
-struct backtrace_command_args
-{
-  char *count_exp;
-  int show_locals;
-  int from_tty;
-};
-
-/* Stub for catch_errors.  */
+/* Create an option_def_group array grouping all the "backtrace"
+   options, with FP_OPTS, BT_CMD_OPT, SET_BT_OPTS as contexts.  */
 
-static int
-backtrace_command_stub (void *data)
+static inline std::array<gdb::option::option_def_group, 3>
+make_backtrace_options_def_group (frame_print_options *fp_opts,
+                                 backtrace_cmd_options *bt_cmd_opts,
+                                 set_backtrace_options *set_bt_opts)
 {
-  struct backtrace_command_args *args = data;
-  backtrace_command_1 (args->count_exp, args->show_locals, args->from_tty);
-  return 0;
+  return {{
+    { {frame_print_option_defs}, fp_opts },
+    { {set_backtrace_option_defs}, set_bt_opts },
+    { {backtrace_command_option_defs}, bt_cmd_opts }
+  }};
 }
 
-static void
-backtrace_command (char *arg, int from_tty)
-{
-  struct cleanup *old_chain = NULL;
-  int fulltrace_arg = -1, arglen = 0, argc = 0;
-  struct backtrace_command_args btargs;
+/* Parse the backtrace command's qualifiers.  Returns ARG advanced
+   past the qualifiers, if any.  BT_CMD_OPTS, if not null, is used to
+   store the parsed qualifiers.  */
 
-  if (arg)
+static const char *
+parse_backtrace_qualifiers (const char *arg,
+                           backtrace_cmd_options *bt_cmd_opts = nullptr)
+{
+  while (true)
     {
-      char **argv;
-      int i;
+      const char *save_arg = arg;
+      std::string this_arg = extract_arg (&arg);
 
-      argv = gdb_buildargv (arg);
-      old_chain = make_cleanup_freeargv (argv);
-      argc = 0;
-      for (i = 0; argv[i]; i++)
-       {
-         unsigned int j;
+      if (this_arg.empty ())
+       return arg;
 
-         for (j = 0; j < strlen (argv[i]); j++)
-           argv[i][j] = tolower (argv[i][j]);
-
-         if (fulltrace_arg < 0 && subset_compare (argv[i], "full"))
-           fulltrace_arg = argc;
-         else
-           {
-             arglen += strlen (argv[i]);
-             argc++;
-           }
+      if (subset_compare (this_arg.c_str (), "no-filters"))
+       {
+         if (bt_cmd_opts != nullptr)
+           bt_cmd_opts->no_filters = true;
        }
-      arglen += argc;
-      if (fulltrace_arg >= 0)
+      else if (subset_compare (this_arg.c_str (), "full"))
        {
-         if (arglen > 0)
-           {
-             arg = xmalloc (arglen + 1);
-             memset (arg, 0, arglen + 1);
-             for (i = 0; i < (argc + 1); i++)
-               {
-                 if (i != fulltrace_arg)
-                   {
-                     strcat (arg, argv[i]);
-                     strcat (arg, " ");
-                   }
-               }
-           }
-         else
-           arg = NULL;
+         if (bt_cmd_opts != nullptr)
+           bt_cmd_opts->full = true;
+       }
+      else if (subset_compare (this_arg.c_str (), "hide"))
+       {
+         if (bt_cmd_opts != nullptr)
+           bt_cmd_opts->hide = true;
+       }
+      else
+       {
+         /* Not a recognized qualifier, so stop.  */
+         return save_arg;
        }
     }
+}
 
-  btargs.count_exp = arg;
-  btargs.show_locals = (fulltrace_arg >= 0);
-  btargs.from_tty = from_tty;
-  catch_errors (backtrace_command_stub, &btargs, "", RETURN_MASK_ERROR);
+static void
+backtrace_command (const char *arg, int from_tty)
+{
+  frame_print_options fp_opts = user_frame_print_options;
+  backtrace_cmd_options bt_cmd_opts;
+  set_backtrace_options set_bt_opts = user_set_backtrace_options;
+
+  auto grp
+    = make_backtrace_options_def_group (&fp_opts, &bt_cmd_opts, &set_bt_opts);
+  gdb::option::process_options
+    (&arg, gdb::option::PROCESS_OPTIONS_UNKNOWN_IS_OPERAND, grp);
+
+  /* Parse non-'-'-prefixed qualifiers, for backwards
+     compatibility.  */
+  if (arg != NULL)
+    {
+      arg = parse_backtrace_qualifiers (arg, &bt_cmd_opts);
+      if (*arg == '\0')
+       arg = NULL;
+    }
 
-  if (fulltrace_arg >= 0 && arglen > 0)
-    xfree (arg);
+  /* These options are handled quite deep in the unwind machinery, so
+     we get to pass them down by swapping globals.  */
+  scoped_restore restore_set_backtrace_options
+    = make_scoped_restore (&user_set_backtrace_options, set_bt_opts);
 
-  if (old_chain)
-    do_cleanups (old_chain);
+  backtrace_command_1 (fp_opts, bt_cmd_opts, arg, from_tty);
 }
 
+/* Completer for the "backtrace" command.  */
+
 static void
-backtrace_full_command (char *arg, int from_tty)
+backtrace_command_completer (struct cmd_list_element *ignore,
+                            completion_tracker &tracker,
+                            const char *text, const char */*word*/)
 {
-  struct backtrace_command_args btargs;
-  btargs.count_exp = arg;
-  btargs.show_locals = 1;
-  btargs.from_tty = from_tty;
-  catch_errors (backtrace_command_stub, &btargs, "", RETURN_MASK_ERROR);
+  const auto group
+    = make_backtrace_options_def_group (nullptr, nullptr, nullptr);
+  if (gdb::option::complete_options
+      (tracker, &text, gdb::option::PROCESS_OPTIONS_UNKNOWN_IS_OPERAND, group))
+    return;
+
+  if (*text != '\0')
+    {
+      const char *p = skip_to_space (text);
+      if (*p == '\0')
+       {
+         static const char *const backtrace_cmd_qualifier_choices[] = {
+           "full", "no-filters", "hide", nullptr,
+         };
+         complete_on_enum (tracker, backtrace_cmd_qualifier_choices,
+                           text, text);
+
+         if (tracker.have_completions ())
+           return;
+       }
+      else
+       {
+         const char *cmd = parse_backtrace_qualifiers (text);
+         tracker.advance_custom_word_point_by (cmd - text);
+         text = cmd;
+       }
+    }
+
+  const char *word = advance_to_expression_complete_word_point (tracker, text);
+  expression_completer (ignore, tracker, text, word);
 }
-\f
 
-/* Print the local variables of a block B active in FRAME on STREAM.
-   Return 1 if any variables were printed; 0 otherwise.  */
+/* Iterate over the local variables of a block B, calling CB with
+   CB_DATA.  */
 
-static int
-print_block_frame_locals (struct block *b, struct frame_info *frame,
-                         int num_tabs, struct ui_file *stream)
+static void
+iterate_over_block_locals (const struct block *b,
+                          iterate_over_block_arg_local_vars_cb cb,
+                          void *cb_data)
 {
-  struct dict_iterator iter;
+  struct block_iterator iter;
   struct symbol *sym;
-  int values_printed = 0;
-  int j;
 
   ALL_BLOCK_SYMBOLS (b, iter, sym)
     {
@@ -1476,10 +2148,12 @@ print_block_frame_locals (struct block *b, struct frame_info *frame,
        case LOC_REGISTER:
        case LOC_STATIC:
        case LOC_COMPUTED:
+       case LOC_OPTIMIZED_OUT:
          if (SYMBOL_IS_ARGUMENT (sym))
            break;
-         values_printed = 1;
-         print_variable_and_value (NULL, sym, frame, stream, 4 * num_tabs);
+         if (SYMBOL_DOMAIN (sym) == COMMON_BLOCK_DOMAIN)
+           break;
+         (*cb) (SYMBOL_PRINT_NAME (sym), sym, cb_data);
          break;
 
        default:
@@ -1487,17 +2161,23 @@ print_block_frame_locals (struct block *b, struct frame_info *frame,
          break;
        }
     }
-
-  return values_printed;
 }
 
+
 /* Same, but print labels.  */
 
+#if 0
+/* Commented out, as the code using this function has also been
+   commented out.  FIXME:brobecker/2009-01-13: Find out why the code
+   was commented out in the first place.  The discussion introducing
+   this change (2007-12-04: Support lexical blocks and function bodies
+   that occupy non-contiguous address ranges) did not explain why
+   this change was made.  */
 static int
 print_block_frame_labels (struct gdbarch *gdbarch, struct block *b,
                          int *have_default, struct ui_file *stream)
 {
-  struct dict_iterator iter;
+  struct block_iterator iter;
   struct symbol *sym;
   int values_printed = 0;
 
@@ -1513,6 +2193,7 @@ print_block_frame_labels (struct gdbarch *gdbarch, struct block *b,
        {
          struct symtab_and_line sal;
          struct value_print_options opts;
+
          sal = find_pc_line (SYMBOL_VALUE_ADDRESS (sym), 0);
          values_printed = 1;
          fputs_filtered (SYMBOL_PRINT_NAME (sym), stream);
@@ -1530,159 +2211,190 @@ print_block_frame_labels (struct gdbarch *gdbarch, struct block *b,
 
   return values_printed;
 }
+#endif
 
-/* Print on STREAM all the local variables in frame FRAME, including
-   all the blocks active in that frame at its current PC.
-
-   Returns 1 if the job was done, or 0 if nothing was printed because
-   we have no info on the function running in FRAME.  */
+/* Iterate over all the local variables in block B, including all its
+   superblocks, stopping when the top-level block is reached.  */
 
-static void
-print_frame_local_vars (struct frame_info *frame, int num_tabs,
-                       struct ui_file *stream)
+void
+iterate_over_block_local_vars (const struct block *block,
+                              iterate_over_block_arg_local_vars_cb cb,
+                              void *cb_data)
 {
-  struct block *block = get_frame_block (frame, 0);
-  int values_printed = 0;
-
-  if (block == 0)
-    {
-      fprintf_filtered (stream, "No symbol table info available.\n");
-      return;
-    }
-
   while (block)
     {
-      if (print_block_frame_locals (block, frame, num_tabs, stream))
-       values_printed = 1;
+      iterate_over_block_locals (block, cb, cb_data);
       /* After handling the function's top-level block, stop.  Don't
-         continue to its superblock, the block of per-file symbols.
-         Also do not continue to the containing function of an inlined
-         function.  */
+        continue to its superblock, the block of per-file
+        symbols.  */
       if (BLOCK_FUNCTION (block))
        break;
       block = BLOCK_SUPERBLOCK (block);
     }
-
-  if (!values_printed)
-    fprintf_filtered (stream, _("No locals.\n"));
 }
 
-/* Same, but print labels.  */
+/* Data to be passed around in the calls to the locals and args
+   iterators.  */
+
+struct print_variable_and_value_data
+{
+  gdb::optional<compiled_regex> preg;
+  gdb::optional<compiled_regex> treg;
+  struct frame_id frame_id;
+  int num_tabs;
+  struct ui_file *stream;
+  int values_printed;
+};
+
+/* The callback for the locals and args iterators.  */
 
 static void
-print_frame_label_vars (struct frame_info *frame, int this_level_only,
-                       struct ui_file *stream)
-{
-#if 1
-  fprintf_filtered (stream, "print_frame_label_vars disabled.\n");
-#else
-  struct blockvector *bl;
-  struct block *block = get_frame_block (frame, 0);
-  struct gdbarch *gdbarch = get_frame_arch (frame);
-  int values_printed = 0;
-  int index, have_default = 0;
-  char *blocks_printed;
-  CORE_ADDR pc = get_frame_pc (frame);
+do_print_variable_and_value (const char *print_name,
+                            struct symbol *sym,
+                            void *cb_data)
+{
+  struct print_variable_and_value_data *p
+    = (struct print_variable_and_value_data *) cb_data;
+  struct frame_info *frame;
 
-  if (block == 0)
+  if (p->preg.has_value ()
+      && p->preg->exec (SYMBOL_NATURAL_NAME (sym), 0,
+                       NULL, 0) != 0)
+    return;
+  if (p->treg.has_value ()
+      && !treg_matches_sym_type_name (*p->treg, sym))
+    return;
+
+  frame = frame_find_by_id (p->frame_id);
+  if (frame == NULL)
     {
-      fprintf_filtered (stream, "No symbol table info available.\n");
+      warning (_("Unable to restore previously selected frame."));
       return;
     }
 
-  bl = blockvector_for_pc (BLOCK_END (block) - 4, &index);
-  blocks_printed = alloca (BLOCKVECTOR_NBLOCKS (bl) * sizeof (char));
-  memset (blocks_printed, 0, BLOCKVECTOR_NBLOCKS (bl) * sizeof (char));
+  print_variable_and_value (print_name, sym, frame, p->stream, p->num_tabs);
+
+  /* print_variable_and_value invalidates FRAME.  */
+  frame = NULL;
+
+  p->values_printed = 1;
+}
+
+/* Prepares the regular expression REG from REGEXP.
+   If REGEXP is NULL, it results in an empty regular expression.  */
 
-  while (block != 0)
+static void
+prepare_reg (const char *regexp, gdb::optional<compiled_regex> *reg)
+{
+  if (regexp != NULL)
     {
-      CORE_ADDR end = BLOCK_END (block) - 4;
-      int last_index;
+      int cflags = REG_NOSUB | (case_sensitivity == case_sensitive_off
+                               ? REG_ICASE : 0);
+      reg->emplace (regexp, cflags, _("Invalid regexp"));
+    }
+  else
+    reg->reset ();
+}
 
-      if (bl != blockvector_for_pc (end, &index))
-       error (_("blockvector blotch"));
-      if (BLOCKVECTOR_BLOCK (bl, index) != block)
-       error (_("blockvector botch"));
-      last_index = BLOCKVECTOR_NBLOCKS (bl);
-      index += 1;
+/* Print all variables from the innermost up to the function block of FRAME.
+   Print them with values to STREAM indented by NUM_TABS.
+   If REGEXP is not NULL, only print local variables whose name
+   matches REGEXP.
+   If T_REGEXP is not NULL, only print local variables whose type
+   matches T_REGEXP.
+   If no local variables have been printed and !QUIET, prints a message
+   explaining why no local variables could be printed.
 
-      /* Don't print out blocks that have gone by.  */
-      while (index < last_index
-            && BLOCK_END (BLOCKVECTOR_BLOCK (bl, index)) < pc)
-       index++;
+   This function will invalidate FRAME.  */
 
-      while (index < last_index
-            && BLOCK_END (BLOCKVECTOR_BLOCK (bl, index)) < end)
-       {
-         if (blocks_printed[index] == 0)
-           {
-             if (print_block_frame_labels (gdbarch,
-                                           BLOCKVECTOR_BLOCK (bl, index),
-                                           &have_default, stream))
-               values_printed = 1;
-             blocks_printed[index] = 1;
-           }
-         index++;
-       }
-      if (have_default)
-       return;
-      if (values_printed && this_level_only)
-       return;
+static void
+print_frame_local_vars (struct frame_info *frame,
+                       bool quiet,
+                       const char *regexp, const char *t_regexp,
+                       int num_tabs, struct ui_file *stream)
+{
+  struct print_variable_and_value_data cb_data;
+  const struct block *block;
+  CORE_ADDR pc;
 
-      /* After handling the function's top-level block, stop.  Don't
-         continue to its superblock, the block of per-file symbols.
-         Also do not continue to the containing function of an inlined
-         function.  */
-      if (BLOCK_FUNCTION (block))
-       break;
-      block = BLOCK_SUPERBLOCK (block);
+  if (!get_frame_pc_if_available (frame, &pc))
+    {
+      if (!quiet)
+       fprintf_filtered (stream,
+                         _("PC unavailable, cannot determine locals.\n"));
+      return;
     }
 
-  if (!values_printed && !this_level_only)
-    fprintf_filtered (stream, _("No catches.\n"));
-#endif
+  block = get_frame_block (frame, 0);
+  if (block == 0)
+    {
+      if (!quiet)
+       fprintf_filtered (stream, "No symbol table info available.\n");
+      return;
+    }
+
+  prepare_reg (regexp, &cb_data.preg);
+  prepare_reg (t_regexp, &cb_data.treg);
+  cb_data.frame_id = get_frame_id (frame);
+  cb_data.num_tabs = 4 * num_tabs;
+  cb_data.stream = stream;
+  cb_data.values_printed = 0;
+
+  /* Temporarily change the selected frame to the given FRAME.
+     This allows routines that rely on the selected frame instead
+     of being given a frame as parameter to use the correct frame.  */
+  scoped_restore_selected_frame restore_selected_frame;
+  select_frame (frame);
+
+  iterate_over_block_local_vars (block,
+                                do_print_variable_and_value,
+                                &cb_data);
+
+  if (!cb_data.values_printed && !quiet)
+    {
+      if (regexp == NULL && t_regexp == NULL)
+       fprintf_filtered (stream, _("No locals.\n"));
+      else
+       fprintf_filtered (stream, _("No matching locals.\n"));
+    }
 }
 
 void
-locals_info (char *args, int from_tty)
+info_locals_command (const char *args, int from_tty)
 {
-  print_frame_local_vars (get_selected_frame (_("No frame selected.")),
-                         0, gdb_stdout);
-}
+  std::string regexp;
+  std::string t_regexp;
+  bool quiet = false;
 
-static void
-catch_info (char *ignore, int from_tty)
-{
-  struct symtab_and_line *sal;
+  while (args != NULL
+        && extract_info_print_args (&args, &quiet, &regexp, &t_regexp))
+    ;
+
+  if (args != NULL)
+    report_unrecognized_option_error ("info locals", args);
 
-  /* Assume g++ compiled code; old GDB 4.16 behaviour.  */
-  print_frame_label_vars (get_selected_frame (_("No frame selected.")),
-                          0, gdb_stdout);
+  print_frame_local_vars (get_selected_frame (_("No frame selected.")),
+                         quiet,
+                         regexp.empty () ? NULL : regexp.c_str (),
+                         t_regexp.empty () ? NULL : t_regexp.c_str (),
+                         0, gdb_stdout);
 }
 
-static void
-print_frame_arg_vars (struct frame_info *frame, struct ui_file *stream)
+/* Iterate over all the argument variables in block B.  */
+
+void
+iterate_over_block_arg_vars (const struct block *b,
+                            iterate_over_block_arg_local_vars_cb cb,
+                            void *cb_data)
 {
-  struct symbol *func = get_frame_function (frame);
-  struct block *b;
-  struct dict_iterator iter;
+  struct block_iterator iter;
   struct symbol *sym, *sym2;
-  int values_printed = 0;
-
-  if (func == 0)
-    {
-      fprintf_filtered (stream, _("No symbol table info available.\n"));
-      return;
-    }
 
-  b = SYMBOL_BLOCK_VALUE (func);
   ALL_BLOCK_SYMBOLS (b, iter, sym)
     {
       /* Don't worry about things which aren't arguments.  */
       if (SYMBOL_IS_ARGUMENT (sym))
        {
-         values_printed = 1;
-
          /* We have to look up the symbol because arguments can have
             two entries (one a parameter, one a local) and the one we
             want is the local, which lookup_symbol will find for us.
@@ -1694,41 +2406,94 @@ print_frame_arg_vars (struct frame_info *frame, struct ui_file *stream)
             float).  There are also LOC_ARG/LOC_REGISTER pairs which
             are not combined in symbol-reading.  */
 
-         sym2 = lookup_symbol (SYMBOL_LINKAGE_NAME (sym),
-                               b, VAR_DOMAIN, NULL);
-         print_variable_and_value (SYMBOL_PRINT_NAME (sym), sym2,
-                                   frame, stream, 0);
+         sym2 = lookup_symbol_search_name (SYMBOL_SEARCH_NAME (sym),
+                                           b, VAR_DOMAIN).symbol;
+         (*cb) (SYMBOL_PRINT_NAME (sym), sym2, cb_data);
        }
     }
-
-  if (!values_printed)
-    fprintf_filtered (stream, _("No arguments.\n"));
 }
 
-void
-args_info (char *ignore, int from_tty)
-{
-  print_frame_arg_vars (get_selected_frame (_("No frame selected.")),
-                       gdb_stdout);
-}
+/* Print all argument variables of the function of FRAME.
+   Print them with values to STREAM.
+   If REGEXP is not NULL, only print argument variables whose name
+   matches REGEXP.
+   If T_REGEXP is not NULL, only print argument variables whose type
+   matches T_REGEXP.
+   If no argument variables have been printed and !QUIET, prints a message
+   explaining why no argument variables could be printed.
 
+   This function will invalidate FRAME.  */
 
 static void
-args_plus_locals_info (char *ignore, int from_tty)
+print_frame_arg_vars (struct frame_info *frame,
+                     bool quiet,
+                     const char *regexp, const char *t_regexp,
+                     struct ui_file *stream)
 {
-  args_info (ignore, from_tty);
-  locals_info (ignore, from_tty);
+  struct print_variable_and_value_data cb_data;
+  struct symbol *func;
+  CORE_ADDR pc;
+  gdb::optional<compiled_regex> preg;
+  gdb::optional<compiled_regex> treg;
+
+  if (!get_frame_pc_if_available (frame, &pc))
+    {
+      if (!quiet)
+       fprintf_filtered (stream,
+                         _("PC unavailable, cannot determine args.\n"));
+      return;
+    }
+
+  func = get_frame_function (frame);
+  if (func == NULL)
+    {
+      if (!quiet)
+       fprintf_filtered (stream, _("No symbol table info available.\n"));
+      return;
+    }
+
+  prepare_reg (regexp, &cb_data.preg);
+  prepare_reg (t_regexp, &cb_data.treg);
+  cb_data.frame_id = get_frame_id (frame);
+  cb_data.num_tabs = 0;
+  cb_data.stream = stream;
+  cb_data.values_printed = 0;
+
+  iterate_over_block_arg_vars (SYMBOL_BLOCK_VALUE (func),
+                              do_print_variable_and_value, &cb_data);
+
+  /* do_print_variable_and_value invalidates FRAME.  */
+  frame = NULL;
+
+  if (!cb_data.values_printed && !quiet)
+    {
+      if (regexp == NULL && t_regexp == NULL)
+       fprintf_filtered (stream, _("No arguments.\n"));
+      else
+       fprintf_filtered (stream, _("No matching arguments.\n"));
+    }
 }
-\f
 
-/* Select frame FRAME.  Also print the stack frame and show the source
-   if this is the tui version.  */
-static void
-select_and_print_frame (struct frame_info *frame)
+void
+info_args_command (const char *args, int from_tty)
 {
-  select_frame (frame);
-  if (frame)
-    print_stack_frame (frame, 1, SRC_AND_LOC);
+  std::string regexp;
+  std::string t_regexp;
+  bool quiet = false;
+
+  while (args != NULL
+        && extract_info_print_args (&args, &quiet, &regexp, &t_regexp))
+    ;
+
+  if (args != NULL)
+    report_unrecognized_option_error ("info args", args);
+
+
+  print_frame_arg_vars (get_selected_frame (_("No frame selected.")),
+                       quiet,
+                       regexp.empty () ? NULL : regexp.c_str (),
+                       t_regexp.empty () ? NULL : t_regexp.c_str (),
+                       gdb_stdout);
 }
 \f
 /* Return the symbol-block in which the selected frame is executing.
@@ -1738,7 +2503,7 @@ select_and_print_frame (struct frame_info *frame)
    code address within the block returned.  We use this to decide
    which macros are in scope.  */
 
-struct block *
+const struct block *
 get_selected_block (CORE_ADDR *addr_in_block)
 {
   if (!has_stack_frames ())
@@ -1764,6 +2529,7 @@ find_relative_frame (struct frame_info *frame, int *level_offset_ptr)
   while (*level_offset_ptr > 0)
     {
       struct frame_info *prev = get_prev_frame (frame);
+
       if (!prev)
        break;
       (*level_offset_ptr)--;
@@ -1774,6 +2540,7 @@ find_relative_frame (struct frame_info *frame, int *level_offset_ptr)
   while (*level_offset_ptr < 0)
     {
       struct frame_info *next = get_next_frame (frame);
+
       if (!next)
        break;
       (*level_offset_ptr)++;
@@ -1783,43 +2550,11 @@ find_relative_frame (struct frame_info *frame, int *level_offset_ptr)
   return frame;
 }
 
-/* The "select_frame" command.  With no argument this is a NOP.
-   Select the frame at level LEVEL_EXP if it is a valid level.
-   Otherwise, treat LEVEL_EXP as an address expression and select it.
-
-   See parse_frame_specification for more info on proper frame
-   expressions.  */
-
-void
-select_frame_command (char *level_exp, int from_tty)
-{
-  select_frame (parse_frame_specification_1 (level_exp, "No stack.", NULL));
-}
-
-/* The "frame" command.  With no argument, print the selected frame
-   briefly.  With an argument, behave like select_frame and then print
-   the selected frame.  */
-
-static void
-frame_command (char *level_exp, int from_tty)
-{
-  select_frame_command (level_exp, from_tty);
-  print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC);
-}
-
-/* The XDB Compatibility command to print the current frame.  */
-
-static void
-current_frame_command (char *level_exp, int from_tty)
-{
-  print_stack_frame (get_selected_frame (_("No stack.")), 1, SRC_AND_LOC);
-}
-
 /* Select the frame up one or COUNT_EXP stack levels from the
    previously selected frame, and print it briefly.  */
 
 static void
-up_silently_base (char *count_exp)
+up_silently_base (const char *count_exp)
 {
   struct frame_info *frame;
   int count = 1;
@@ -1834,26 +2569,27 @@ up_silently_base (char *count_exp)
 }
 
 static void
-up_silently_command (char *count_exp, int from_tty)
+up_silently_command (const char *count_exp, int from_tty)
 {
   up_silently_base (count_exp);
 }
 
 static void
-up_command (char *count_exp, int from_tty)
+up_command (const char *count_exp, int from_tty)
 {
   up_silently_base (count_exp);
-  print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC);
+  gdb::observers::user_selected_context_changed.notify (USER_SELECTED_FRAME);
 }
 
 /* Select the frame down one or COUNT_EXP stack levels from the previously
    selected frame, and print it briefly.  */
 
 static void
-down_silently_base (char *count_exp)
+down_silently_base (const char *count_exp)
 {
   struct frame_info *frame;
   int count = -1;
+
   if (count_exp)
     count = -parse_and_eval_long (count_exp);
 
@@ -1872,26 +2608,28 @@ down_silently_base (char *count_exp)
 }
 
 static void
-down_silently_command (char *count_exp, int from_tty)
+down_silently_command (const char *count_exp, int from_tty)
 {
   down_silently_base (count_exp);
 }
 
 static void
-down_command (char *count_exp, int from_tty)
+down_command (const char *count_exp, int from_tty)
 {
   down_silently_base (count_exp);
-  print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC);
+  gdb::observers::user_selected_context_changed.notify (USER_SELECTED_FRAME);
 }
-\f
 
 void
-return_command (char *retval_exp, int from_tty)
+return_command (const char *retval_exp, int from_tty)
 {
+  /* Initialize it just to avoid a GCC false warning.  */
+  enum return_value_convention rv_conv = RETURN_VALUE_STRUCT_CONVENTION;
   struct frame_info *thisframe;
   struct gdbarch *gdbarch;
   struct symbol *thisfun;
   struct value *return_value = NULL;
+  struct value *function = NULL;
   const char *query_prefix = "";
 
   thisframe = get_selected_frame ("No selected frame.");
@@ -1907,13 +2645,12 @@ return_command (char *retval_exp, int from_tty)
      message.  */
   if (retval_exp)
     {
-      struct expression *retval_expr = parse_expression (retval_exp);
-      struct cleanup *old_chain = make_cleanup (xfree, retval_expr);
+      expression_up retval_expr = parse_expression (retval_exp);
       struct type *return_type = NULL;
 
       /* Compute the return value.  Should the computation fail, this
          call throws an error.  */
-      return_value = evaluate_expression (retval_expr);
+      return_value = evaluate_expression (retval_expr.get ());
 
       /* Cast return value to the return type of the function.  Should
          the cast fail, this call throws an error.  */
@@ -1921,14 +2658,14 @@ return_command (char *retval_exp, int from_tty)
        return_type = TYPE_TARGET_TYPE (SYMBOL_TYPE (thisfun));
       if (return_type == NULL)
        {
-         if (retval_expr->elts[0].opcode != UNOP_CAST)
+         if (retval_expr->elts[0].opcode != UNOP_CAST
+             && retval_expr->elts[0].opcode != UNOP_CAST_TYPE)
            error (_("Return value type not available for selected "
                     "stack frame.\n"
                     "Please use an explicit cast of the value to return."));
          return_type = value_type (return_value);
        }
-      do_cleanups (old_chain);
-      CHECK_TYPEDEF (return_type);
+      return_type = check_typedef (return_type);
       return_value = value_cast (return_type, return_value);
 
       /* Make sure the value is fully evaluated.  It may live in the
@@ -1936,6 +2673,10 @@ return_command (char *retval_exp, int from_tty)
       if (value_lazy (return_value))
        value_fetch_lazy (return_value);
 
+      if (thisfun != NULL)
+       function = read_var_value (thisfun, NULL, thisframe);
+
+      rv_conv = RETURN_VALUE_REGISTER_CONVENTION;
       if (TYPE_CODE (return_type) == TYPE_CODE_VOID)
        /* If the return-type is "void", don't try to find the
            return-value's location.  However, do still evaluate the
@@ -1943,14 +2684,18 @@ return_command (char *retval_exp, int from_tty)
            is discarded, side effects such as "return i++" still
            occur.  */
        return_value = NULL;
-      else if (thisfun != NULL
-              && using_struct_return (gdbarch,
-                                      SYMBOL_TYPE (thisfun), return_type))
+      else if (thisfun != NULL)
        {
-         query_prefix = "\
-The location at which to store the function's return value is unknown.\n\
-If you continue, the return value that you specified will be ignored.\n";
-         return_value = NULL;
+         rv_conv = struct_return_convention (gdbarch, function, return_type);
+         if (rv_conv == RETURN_VALUE_STRUCT_CONVENTION
+             || rv_conv == RETURN_VALUE_ABI_RETURNS_ADDRESS)
+           {
+             query_prefix = "The location at which to store the "
+               "function's return value is unknown.\n"
+               "If you continue, the return value "
+               "that you specified will be ignored.\n";
+             return_value = NULL;
+           }
        }
     }
 
@@ -1960,12 +2705,17 @@ If you continue, the return value that you specified will be ignored.\n";
   if (from_tty)
     {
       int confirmed;
+
       if (thisfun == NULL)
        confirmed = query (_("%sMake selected stack frame return now? "),
                           query_prefix);
       else
-       confirmed = query (_("%sMake %s return now? "), query_prefix,
-                          SYMBOL_PRINT_NAME (thisfun));
+       {
+         if (TYPE_NO_RETURN (thisfun->type))
+           warning (_("Function does not return normally to caller."));
+         confirmed = query (_("%sMake %s return now? "), query_prefix,
+                            SYMBOL_PRINT_NAME (thisfun));
+       }
       if (!confirmed)
        error (_("Not confirmed"));
     }
@@ -1977,13 +2727,11 @@ If you continue, the return value that you specified will be ignored.\n";
   if (return_value != NULL)
     {
       struct type *return_type = value_type (return_value);
-      struct gdbarch *gdbarch = get_regcache_arch (get_current_regcache ());
-      struct type *func_type = thisfun == NULL ? NULL : SYMBOL_TYPE (thisfun);
+      struct gdbarch *cache_arch = get_current_regcache ()->arch ();
 
-      gdb_assert (gdbarch_return_value (gdbarch, func_type, return_type, NULL,
-                                       NULL, NULL)
-                 == RETURN_VALUE_REGISTER_CONVENTION);
-      gdbarch_return_value (gdbarch, func_type, return_type,
+      gdb_assert (rv_conv != RETURN_VALUE_STRUCT_CONVENTION
+                 && rv_conv != RETURN_VALUE_ABI_RETURNS_ADDRESS);
+      gdbarch_return_value (cache_arch, function, return_type,
                            get_current_regcache (), NULL /*read*/,
                            value_contents (return_value) /*write*/);
     }
@@ -1993,52 +2741,49 @@ If you continue, the return value that you specified will be ignored.\n";
   if (get_frame_type (get_current_frame ()) == DUMMY_FRAME)
     frame_pop (get_current_frame ());
 
+  select_frame (get_current_frame ());
   /* If interactive, print the frame that is now current.  */
   if (from_tty)
-    frame_command ("0", 1);
-  else
-    select_frame_command ("0", 0);
+    print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC, 1);
 }
 
-/* Sets the scope to input function name, provided that the function
-   is within the current stack frame */
-
-struct function_bounds
-{
-  CORE_ADDR low, high;
-};
+/* Find the most inner frame in the current stack for a function called
+   FUNCTION_NAME.  If no matching frame is found return NULL.  */
 
-static void
-func_command (char *arg, int from_tty)
+static struct frame_info *
+find_frame_for_function (const char *function_name)
 {
+  /* Used to hold the lower and upper addresses for each of the
+     SYMTAB_AND_LINEs found for functions matching FUNCTION_NAME.  */
+  struct function_bounds
+  {
+    CORE_ADDR low, high;
+  };
   struct frame_info *frame;
-  int found = 0;
-  struct symtabs_and_lines sals;
-  int i;
+  bool found = false;
   int level = 1;
-  struct function_bounds *func_bounds = NULL;
 
-  if (arg != NULL)
-    return;
+  gdb_assert (function_name != NULL);
 
-  frame = parse_frame_specification ("0");
-  sals = decode_line_spec (arg, 1);
-  func_bounds = (struct function_bounds *) xmalloc (
-                             sizeof (struct function_bounds) * sals.nelts);
-  for (i = 0; (i < sals.nelts && !found); i++)
+  frame = get_current_frame ();
+  std::vector<symtab_and_line> sals
+    = decode_line_with_current_source (function_name,
+                                      DECODE_LINE_FUNFIRSTLINE);
+  gdb::def_vector<function_bounds> func_bounds (sals.size ());
+  for (size_t i = 0; i < sals.size (); i++)
     {
-      if (sals.sals[i].pc == 0
-         || find_pc_partial_function (sals.sals[i].pc, NULL,
-                                      &func_bounds[i].low,
-                                      &func_bounds[i].high) == 0)
-       {
-         func_bounds[i].low = func_bounds[i].high = 0;
-       }
+      if (sals[i].pspace != current_program_space)
+       func_bounds[i].low = func_bounds[i].high = 0;
+      else if (sals[i].pc == 0
+              || find_pc_partial_function (sals[i].pc, NULL,
+                                           &func_bounds[i].low,
+                                           &func_bounds[i].high) == 0)
+       func_bounds[i].low = func_bounds[i].high = 0;
     }
 
   do
     {
-      for (i = 0; (i < sals.nelts && !found); i++)
+      for (size_t i = 0; (i < sals.size () && !found); i++)
        found = (get_frame_pc (frame) >= func_bounds[i].low
                 && get_frame_pc (frame) < func_bounds[i].high);
       if (!found)
@@ -2049,52 +2794,412 @@ func_command (char *arg, int from_tty)
     }
   while (!found && level == 0);
 
-  if (func_bounds)
-    xfree (func_bounds);
-
   if (!found)
-    printf_filtered (_("'%s' not within current stack frame.\n"), arg);
-  else if (frame != get_selected_frame (NULL))
-    select_and_print_frame (frame);
+    frame = NULL;
+
+  return frame;
+}
+
+/* Implements the dbx 'func' command.  */
+
+static void
+func_command (const char *arg, int from_tty)
+{
+  if (arg == NULL)
+    return;
+
+  struct frame_info *frame = find_frame_for_function (arg);
+  if (frame == NULL)
+    error (_("'%s' not within current stack frame."), arg);
+  if (frame != get_selected_frame (NULL))
+    {
+      select_frame (frame);
+      print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC, 1);
+    }
+}
+
+/* The qcs command line flags for the "frame apply" commands.  Keep
+   this in sync with the "thread apply" commands.  */
+
+using qcs_flag_option_def
+  = gdb::option::flag_option_def<qcs_flags>;
+
+static const gdb::option::option_def fr_qcs_flags_option_defs[] = {
+  qcs_flag_option_def {
+    "q", [] (qcs_flags *opt) { return &opt->quiet; },
+    N_("Disables printing the frame location information."),
+  },
+
+  qcs_flag_option_def {
+    "c", [] (qcs_flags *opt) { return &opt->cont; },
+    N_("Print any error raised by COMMAND and continue."),
+  },
+
+  qcs_flag_option_def {
+    "s", [] (qcs_flags *opt) { return &opt->silent; },
+    N_("Silently ignore any errors or empty output produced by COMMAND."),
+  },
+};
+
+/* Create an option_def_group array for all the "frame apply" options,
+   with FLAGS and SET_BT_OPTS as context.  */
+
+static inline std::array<gdb::option::option_def_group, 2>
+make_frame_apply_options_def_group (qcs_flags *flags,
+                                   set_backtrace_options *set_bt_opts)
+{
+  return {{
+    { {fr_qcs_flags_option_defs}, flags },
+    { {set_backtrace_option_defs}, set_bt_opts },
+  }};
+}
+
+/* Apply a GDB command to all stack frames, or a set of identified frames,
+   or innermost COUNT frames.
+   With a negative COUNT, apply command on outermost -COUNT frames.
+
+   frame apply 3 info frame     Apply 'info frame' to frames 0, 1, 2
+   frame apply -3 info frame    Apply 'info frame' to outermost 3 frames.
+   frame apply all x/i $pc      Apply 'x/i $pc' cmd to all frames.
+   frame apply all -s p local_var_no_idea_in_which_frame
+                If a frame has a local variable called
+                local_var_no_idea_in_which_frame, print frame
+                and value of local_var_no_idea_in_which_frame.
+   frame apply all -s -q p local_var_no_idea_in_which_frame
+                Same as before, but only print the variable value.
+   frame apply level 2-5 0 4-7 -s p i = i + 1
+                Adds 1 to the variable i in the specified frames.
+                Note that i will be incremented twice in
+                frames 4 and 5.  */
+
+/* Apply a GDB command to COUNT stack frames, starting at TRAILING.
+   CMD starts with 0 or more qcs flags followed by the GDB command to apply.
+   COUNT -1 means all frames starting at TRAILING.  WHICH_COMMAND is used
+   for error messages.  */
+
+static void
+frame_apply_command_count (const char *which_command,
+                          const char *cmd, int from_tty,
+                          struct frame_info *trailing, int count)
+{
+  qcs_flags flags;
+  set_backtrace_options set_bt_opts = user_set_backtrace_options;
+
+  auto group = make_frame_apply_options_def_group (&flags, &set_bt_opts);
+  gdb::option::process_options
+    (&cmd, gdb::option::PROCESS_OPTIONS_UNKNOWN_IS_OPERAND, group);
+
+  validate_flags_qcs (which_command, &flags);
+
+  if (cmd == NULL || *cmd == '\0')
+    error (_("Please specify a command to apply on the selected frames"));
+
+  /* The below will restore the current inferior/thread/frame.
+     Usually, only the frame is effectively to be restored.
+     But in case CMD switches of inferior/thread, better restore
+     these also.  */
+  scoped_restore_current_thread restore_thread;
+
+  /* These options are handled quite deep in the unwind machinery, so
+     we get to pass them down by swapping globals.  */
+  scoped_restore restore_set_backtrace_options
+    = make_scoped_restore (&user_set_backtrace_options, set_bt_opts);
+
+  for (frame_info *fi = trailing; fi && count--; fi = get_prev_frame (fi))
+    {
+      QUIT;
+
+      select_frame (fi);
+      try
+       {
+         std::string cmd_result;
+         {
+           /* In case CMD switches of inferior/thread/frame, the below
+              restores the inferior/thread/frame.  FI can then be
+              set to the selected frame.  */
+           scoped_restore_current_thread restore_fi_current_frame;
+
+           cmd_result = execute_command_to_string
+             (cmd, from_tty, gdb_stdout->term_out ());
+         }
+         fi = get_selected_frame (_("frame apply "
+                                    "unable to get selected frame."));
+         if (!flags.silent || cmd_result.length () > 0)
+           {
+             if (!flags.quiet)
+               print_stack_frame (fi, 1, LOCATION, 0);
+             printf_filtered ("%s", cmd_result.c_str ());
+           }
+       }
+      catch (const gdb_exception_error &ex)
+       {
+         fi = get_selected_frame (_("frame apply "
+                                    "unable to get selected frame."));
+         if (!flags.silent)
+           {
+             if (!flags.quiet)
+               print_stack_frame (fi, 1, LOCATION, 0);
+             if (flags.cont)
+               printf_filtered ("%s\n", ex.what ());
+             else
+               throw;
+           }
+       }
+    }
+}
+
+/* Completer for the "frame apply ..." commands.  */
+
+static void
+frame_apply_completer (completion_tracker &tracker, const char *text)
+{
+  const auto group = make_frame_apply_options_def_group (nullptr, nullptr);
+  if (gdb::option::complete_options
+      (tracker, &text, gdb::option::PROCESS_OPTIONS_UNKNOWN_IS_OPERAND, group))
+    return;
+
+  complete_nested_command_line (tracker, text);
+}
+
+/* Completer for the "frame apply" commands.  */
+
+static void
+frame_apply_level_cmd_completer (struct cmd_list_element *ignore,
+                                completion_tracker &tracker,
+                                const char *text, const char */*word*/)
+{
+  /* Do this explicitly because there's an early return below.  */
+  tracker.set_use_custom_word_point (true);
+
+  number_or_range_parser levels (text);
+
+  /* Skip the LEVEL list to find the options and command args.  */
+  try
+    {
+      while (!levels.finished ())
+       {
+         /* Call for effect.  */
+         levels.get_number ();
+
+         if (levels.in_range ())
+           levels.skip_range ();
+       }
+    }
+  catch (const gdb_exception_error &ex)
+    {
+      /* get_number throws if it parses a negative number, for
+        example.  But a seemingly negative number may be the start of
+        an option instead.  */
+    }
+
+  const char *cmd = levels.cur_tok ();
+
+  if (cmd == text)
+    {
+      /* No level list yet.  */
+      return;
+    }
+
+  /* Check if we're past a valid LEVEL already.  */
+  if (levels.finished ()
+      && cmd > text && !isspace (cmd[-1]))
+    return;
+
+  /* We're past LEVELs, advance word point.  */
+  tracker.advance_custom_word_point_by (cmd - text);
+  text = cmd;
+
+  frame_apply_completer (tracker, text);
+}
+
+/* Completer for the "frame apply all" command.  */
+
+void
+frame_apply_all_cmd_completer (struct cmd_list_element *ignore,
+                              completion_tracker &tracker,
+                              const char *text, const char */*word*/)
+{
+  frame_apply_completer (tracker, text);
+}
+
+/* Completer for the "frame apply COUNT" command.  */
+
+static void
+frame_apply_cmd_completer (struct cmd_list_element *ignore,
+                          completion_tracker &tracker,
+                          const char *text, const char */*word*/)
+{
+  const char *cmd = text;
+
+  int count = get_number_trailer (&cmd, 0);
+  if (count == 0)
+    return;
+
+  /* Check if we're past a valid COUNT already.  */
+  if (cmd > text && !isspace (cmd[-1]))
+    return;
+
+  /* We're past COUNT, advance word point.  */
+  tracker.advance_custom_word_point_by (cmd - text);
+  text = cmd;
+
+  frame_apply_completer (tracker, text);
 }
 
-/* Gets the language of the current frame.  */
+/* Implementation of the "frame apply level" command.  */
 
-enum language
-get_frame_language (void)
+static void
+frame_apply_level_command (const char *cmd, int from_tty)
 {
-  struct frame_info *frame = deprecated_safe_get_selected_frame ();
+  if (!target_has_stack)
+    error (_("No stack."));
+
+  bool level_found = false;
+  const char *levels_str = cmd;
+  number_or_range_parser levels (levels_str);
+
+  /* Skip the LEVEL list to find the flags and command args.  */
+  while (!levels.finished ())
+    {
+      /* Call for effect.  */
+      levels.get_number ();
+
+      level_found = true;
+      if (levels.in_range ())
+       levels.skip_range ();
+    }
+
+  if (!level_found)
+    error (_("Missing or invalid LEVEL... argument"));
 
-  if (frame)
+  cmd = levels.cur_tok ();
+
+  /* Redo the LEVELS parsing, but applying COMMAND.  */
+  levels.init (levels_str);
+  while (!levels.finished ())
     {
-      /* We determine the current frame language by looking up its
-         associated symtab.  To retrieve this symtab, we use the frame
-         PC.  However we cannot use the frame PC as is, because it
-         usually points to the instruction following the "call", which
-         is sometimes the first instruction of another function.  So
-         we rely on get_frame_address_in_block(), it provides us with
-         a PC that is guaranteed to be inside the frame's code
-         block.  */
-      CORE_ADDR pc = get_frame_address_in_block (frame);
-      struct symtab *s = find_pc_symtab (pc);
+      const int level_beg = levels.get_number ();
+      int n_frames;
+
+      if (levels.in_range ())
+       {
+         n_frames = levels.end_value () - level_beg + 1;
+         levels.skip_range ();
+       }
+      else
+       n_frames = 1;
+
+      frame_apply_command_count ("frame apply level", cmd, from_tty,
+                                leading_innermost_frame (level_beg), n_frames);
+    }
+}
+
+/* Implementation of the "frame apply all" command.  */
+
+static void
+frame_apply_all_command (const char *cmd, int from_tty)
+{
+  if (!target_has_stack)
+    error (_("No stack."));
+
+  frame_apply_command_count ("frame apply all", cmd, from_tty,
+                            get_current_frame (), INT_MAX);
+}
+
+/* Implementation of the "frame apply" command.  */
+
+static void
+frame_apply_command (const char* cmd, int from_tty)
+{
+  int count;
+  struct frame_info *trailing;
+
+  if (!target_has_stack)
+    error (_("No stack."));
+
+  if (cmd == NULL)
+    error (_("Missing COUNT argument."));
+  count = get_number_trailer (&cmd, 0);
+  if (count == 0)
+    error (_("Invalid COUNT argument."));
 
-      if (s)
-       return s->language;
+  if (count < 0)
+    {
+      trailing = trailing_outermost_frame (-count);
+      count = -1;
     }
+  else
+    trailing = get_current_frame ();
+
+  frame_apply_command_count ("frame apply", cmd, from_tty,
+                            trailing, count);
+}
+
+/* Implementation of the "faas" command.  */
+
+static void
+faas_command (const char *cmd, int from_tty)
+{
+  std::string expanded = std::string ("frame apply all -s ") + cmd;
+  execute_command (expanded.c_str (), from_tty);
+}
+
 
-  return language_unknown;
+/* Find inner-mode frame with frame address ADDRESS.  Return NULL if no
+   matching frame can be found.  */
+
+static struct frame_info *
+find_frame_for_address (CORE_ADDR address)
+{
+  struct frame_id id;
+  struct frame_info *fid;
+
+  id = frame_id_build_wild (address);
+
+  /* If (s)he specifies the frame with an address, he deserves
+     what (s)he gets.  Still, give the highest one that matches.
+     (NOTE: cagney/2004-10-29: Why highest, or outer-most, I don't
+     know).  */
+  for (fid = get_current_frame ();
+       fid != NULL;
+       fid = get_prev_frame (fid))
+    {
+      if (frame_id_eq (id, get_frame_id (fid)))
+       {
+         struct frame_info *prev_frame;
+
+         while (1)
+           {
+             prev_frame = get_prev_frame (fid);
+             if (!prev_frame
+                 || !frame_id_eq (id, get_frame_id (prev_frame)))
+               break;
+             fid = prev_frame;
+           }
+         return fid;
+       }
+    }
+  return NULL;
 }
+
 \f
 
-/* Provide a prototype to silence -Wmissing-prototypes.  */
-void _initialize_stack (void);
+/* Commands with a prefix of `frame apply'.  */
+static struct cmd_list_element *frame_apply_cmd_list = NULL;
+
+/* Commands with a prefix of `frame'.  */
+static struct cmd_list_element *frame_cmd_list = NULL;
+
+/* Commands with a prefix of `select frame'.  */
+static struct cmd_list_element *select_frame_cmd_list = NULL;
+
+/* Commands with a prefix of `info frame'.  */
+static struct cmd_list_element *info_frame_cmd_list = NULL;
 
 void
 _initialize_stack (void)
 {
-#if 0
-  backtrace_limit = 30;
-#endif
+  struct cmd_list_element *cmd;
 
   add_com ("return", class_stack, return_command, _("\
 Make selected stack frame return to its caller.\n\
@@ -2118,75 +3223,262 @@ An argument says how many frames down to go."));
 Same as the `down' command, but does not print anything.\n\
 This is useful in command scripts."));
 
-  add_com ("frame", class_stack, frame_command, _("\
+  add_prefix_cmd ("frame", class_stack,
+                  &frame_cmd.base_command, _("\
 Select and print a stack frame.\n\
 With no argument, print the selected stack frame.  (See also \"info frame\").\n\
-An argument specifies the frame to select.\n\
-It can be a stack frame number or the address of the frame.\n\
-With argument, nothing is printed if input is coming from\n\
-a command file or a user-defined command."));
+A single numerical argument specifies the frame to select."),
+                  &frame_cmd_list, "frame ", 1, &cmdlist);
 
   add_com_alias ("f", "frame", class_stack, 1);
 
-  if (xdb_commands)
-    {
-      add_com ("L", class_stack, current_frame_command,
-              _("Print the current stack frame.\n"));
-      add_com_alias ("V", "frame", class_stack, 1);
-    }
-  add_com ("select-frame", class_stack, select_frame_command, _("\
-Select a stack frame without printing anything.\n\
-An argument specifies the frame to select.\n\
-It can be a stack frame number or the address of the frame.\n"));
+#define FRAME_APPLY_OPTION_HELP "\
+Prints the frame location information followed by COMMAND output.\n\
+\n\
+By default, an error raised during the execution of COMMAND\n\
+aborts \"frame apply\".\n\
+\n\
+Options:\n\
+%OPTIONS%"
+
+  const auto frame_apply_opts
+    = make_frame_apply_options_def_group (nullptr, nullptr);
+
+  static std::string frame_apply_cmd_help = gdb::option::build_help (N_("\
+Apply a command to a number of frames.\n\
+Usage: frame apply COUNT [OPTION]... COMMAND\n\
+With a negative COUNT argument, applies the command on outermost -COUNT frames.\n"
+                                 FRAME_APPLY_OPTION_HELP),
+                              frame_apply_opts);
+
+  cmd = add_prefix_cmd ("apply", class_stack, frame_apply_command,
+                       frame_apply_cmd_help.c_str (),
+                       &frame_apply_cmd_list, "frame apply ", 1,
+                       &frame_cmd_list);
+  set_cmd_completer_handle_brkchars (cmd, frame_apply_cmd_completer);
+
+  static std::string frame_apply_all_cmd_help = gdb::option::build_help (N_("\
+Apply a command to all frames.\n\
+\n\
+Usage: frame apply all [OPTION]... COMMAND\n"
+                                 FRAME_APPLY_OPTION_HELP),
+                              frame_apply_opts);
+
+  cmd = add_cmd ("all", class_stack, frame_apply_all_command,
+                frame_apply_all_cmd_help.c_str (),
+                &frame_apply_cmd_list);
+  set_cmd_completer_handle_brkchars (cmd, frame_apply_all_cmd_completer);
+
+  static std::string frame_apply_level_cmd_help = gdb::option::build_help (N_("\
+Apply a command to a list of frames.\n\
+\n\
+Usage: frame apply level LEVEL... [OPTION]... COMMAND\n\
+LEVEL is a space-separated list of levels of frames to apply COMMAND on.\n"
+                                 FRAME_APPLY_OPTION_HELP),
+                              frame_apply_opts);
+
+  cmd = add_cmd ("level", class_stack, frame_apply_level_command,
+          frame_apply_level_cmd_help.c_str (),
+          &frame_apply_cmd_list);
+  set_cmd_completer_handle_brkchars (cmd, frame_apply_level_cmd_completer);
+
+  cmd = add_com ("faas", class_stack, faas_command, _("\
+Apply a command to all frames (ignoring errors and empty output).\n\
+Usage: faas [OPTION]... COMMAND\n\
+shortcut for 'frame apply all -s [OPTION]... COMMAND'\n\
+See \"help frame apply all\" for available options."));
+  set_cmd_completer_handle_brkchars (cmd, frame_apply_all_cmd_completer);
+
+  add_prefix_cmd ("frame", class_stack,
+                 &frame_cmd.base_command, _("\
+Select and print a stack frame.\n\
+With no argument, print the selected stack frame.  (See also \"info frame\").\n\
+A single numerical argument specifies the frame to select."),
+                 &frame_cmd_list, "frame ", 1, &cmdlist);
+  add_com_alias ("f", "frame", class_stack, 1);
 
-  add_com ("backtrace", class_stack, backtrace_command, _("\
+  add_cmd ("address", class_stack, &frame_cmd.address,
+          _("\
+Select and print a stack frame by stack address\n\
+\n\
+Usage: frame address STACK-ADDRESS"),
+          &frame_cmd_list);
+
+  add_cmd ("view", class_stack, &frame_cmd.view,
+          _("\
+View a stack frame that might be outside the current backtrace.\n\
+\n\
+Usage: frame view STACK-ADDRESS\n\
+       frame view STACK-ADDRESS PC-ADDRESS"),
+          &frame_cmd_list);
+
+  cmd = add_cmd ("function", class_stack, &frame_cmd.function,
+          _("\
+Select and print a stack frame by function name.\n\
+\n\
+Usage: frame function NAME\n\
+\n\
+The innermost frame that visited function NAME is selected."),
+          &frame_cmd_list);
+  set_cmd_completer (cmd, frame_selection_by_function_completer);
+
+
+  add_cmd ("level", class_stack, &frame_cmd.level,
+          _("\
+Select and print a stack frame by level.\n\
+\n\
+Usage: frame level LEVEL"),
+          &frame_cmd_list);
+
+  cmd = add_prefix_cmd_suppress_notification ("select-frame", class_stack,
+                     &select_frame_cmd.base_command, _("\
+Select a stack frame without printing anything.\n\
+A single numerical argument specifies the frame to select."),
+                     &select_frame_cmd_list, "select-frame ", 1, &cmdlist,
+                     &cli_suppress_notification.user_selected_context);
+
+  add_cmd_suppress_notification ("address", class_stack,
+                        &select_frame_cmd.address, _("\
+Select a stack frame by stack address.\n\
+\n\
+Usage: select-frame address STACK-ADDRESS"),
+                        &select_frame_cmd_list,
+                        &cli_suppress_notification.user_selected_context);
+
+
+  add_cmd_suppress_notification ("view", class_stack,
+                &select_frame_cmd.view, _("\
+Select a stack frame that might be outside the current backtrace.\n\
+\n\
+Usage: select-frame view STACK-ADDRESS\n\
+       select-frame view STACK-ADDRESS PC-ADDRESS"),
+                &select_frame_cmd_list,
+                &cli_suppress_notification.user_selected_context);
+
+  cmd = add_cmd_suppress_notification ("function", class_stack,
+              &select_frame_cmd.function, _("\
+Select a stack frame by function name.\n\
+\n\
+Usage: select-frame function NAME"),
+              &select_frame_cmd_list,
+              &cli_suppress_notification.user_selected_context);
+  set_cmd_completer (cmd, frame_selection_by_function_completer);
+
+  add_cmd_suppress_notification ("level", class_stack,
+                        &select_frame_cmd.level, _("\
+Select a stack frame by level.\n\
+\n\
+Usage: select-frame level LEVEL"),
+                        &select_frame_cmd_list,
+                        &cli_suppress_notification.user_selected_context);
+
+  const auto backtrace_opts
+    = make_backtrace_options_def_group (nullptr, nullptr, nullptr);
+
+  static std::string backtrace_help
+    = gdb::option::build_help (N_("\
 Print backtrace of all stack frames, or innermost COUNT frames.\n\
-With a negative argument, print outermost -COUNT frames.\n\
-Use of the 'full' qualifier also prints the values of the local variables.\n"));
+Usage: backtrace [OPTION]... [QUALIFIER]... [COUNT | -COUNT]\n\
+\n\
+Options:\n\
+%OPTIONS%\
+For backward compatibility, the following qualifiers are supported:\n\
+\n\
+   full       - same as -full option.\n\
+   no-filters - same as -no-filters option.\n\
+   hide       - same as -hide.\n\
+\n\
+With a negative COUNT, print outermost -COUNT frames."),
+                              backtrace_opts);
+
+  cmd_list_element *c = add_com ("backtrace", class_stack,
+                                backtrace_command,
+                                backtrace_help.c_str ());
+  set_cmd_completer_handle_brkchars (c, backtrace_command_completer);
+
   add_com_alias ("bt", "backtrace", class_stack, 0);
-  if (xdb_commands)
-    {
-      add_com_alias ("t", "backtrace", class_stack, 0);
-      add_com ("T", class_stack, backtrace_full_command, _("\
-Print backtrace of all stack frames, or innermost COUNT frames \n\
-and the values of the local variables.\n\
-With a negative argument, print outermost -COUNT frames.\n\
-Usage: T <count>\n"));
-    }
 
   add_com_alias ("where", "backtrace", class_alias, 0);
   add_info ("stack", backtrace_command,
            _("Backtrace of the stack, or innermost COUNT frames."));
   add_info_alias ("s", "stack", 1);
-  add_info ("frame", frame_info,
-           _("All about selected stack frame, or frame at ADDR."));
+
+  add_prefix_cmd ("frame", class_info, &info_frame_cmd.base_command,
+                 _("All about the selected stack frame.\n\
+With no arguments, displays information about the currently selected stack\n\
+frame.  Alternatively a frame specification may be provided (See \"frame\")\n\
+the information is then printed about the specified frame."),
+                 &info_frame_cmd_list, "info frame ", 1, &infolist);
   add_info_alias ("f", "frame", 1);
-  add_info ("locals", locals_info,
-           _("Local variables of current stack frame."));
-  add_info ("args", args_info,
-           _("Argument variables of current stack frame."));
-  if (xdb_commands)
-    add_com ("l", class_info, args_plus_locals_info,
-            _("Argument and local variables of current stack frame."));
+
+  add_cmd ("address", class_stack, &info_frame_cmd.address,
+          _("\
+Print information about a stack frame selected by stack address.\n\
+\n\
+Usage: info frame address STACK-ADDRESS"),
+          &info_frame_cmd_list);
+
+  add_cmd ("view", class_stack, &info_frame_cmd.view,
+          _("\
+Print information about a stack frame outside the current backtrace.\n\
+\n\
+Usage: info frame view STACK-ADDRESS\n\
+       info frame view STACK-ADDRESS PC-ADDRESS"),
+          &info_frame_cmd_list);
+
+  cmd = add_cmd ("function", class_stack, &info_frame_cmd.function,
+          _("\
+Print information about a stack frame selected by function name.\n\
+\n\
+Usage: info frame function NAME"),
+          &info_frame_cmd_list);
+  set_cmd_completer (cmd, frame_selection_by_function_completer);
+
+  add_cmd ("level", class_stack, &info_frame_cmd.level,
+          _("\
+Print information about a stack frame selected by level.\n\
+\n\
+Usage: info frame level LEVEL"),
+          &info_frame_cmd_list);
+
+  add_info ("locals", info_locals_command,
+           info_print_args_help (_("\
+All local variables of current stack frame or those matching REGEXPs.\n\
+Usage: info locals [-q] [-t TYPEREGEXP] [NAMEREGEXP]\n\
+Prints the local variables of the current stack frame.\n"),
+                                 _("local variables")));
+  add_info ("args", info_args_command,
+           info_print_args_help (_("\
+All argument variables of current stack frame or those matching REGEXPs.\n\
+Usage: info args [-q] [-t TYPEREGEXP] [NAMEREGEXP]\n\
+Prints the argument variables of the current stack frame.\n"),
+                                 _("argument variables")));
 
   if (dbx_commands)
     add_com ("func", class_stack, func_command, _("\
-Select the stack frame that contains <func>.\n\
-Usage: func <name>\n"));
-
-  add_info ("catch", catch_info,
-           _("Exceptions that can be caught in the current stack frame."));
-
-  add_setshow_enum_cmd ("frame-arguments", class_stack,
-                       print_frame_arguments_choices, &print_frame_arguments,
-                       _("Set printing of non-scalar frame arguments"),
-                       _("Show printing of non-scalar frame arguments"),
-                       NULL, NULL, NULL, &setprintlist, &showprintlist);
+Select the stack frame that contains NAME.\n\
+Usage: func NAME"));
+
+  /* Install "set print raw frame-arguments", a deprecated spelling of
+     "set print raw-frame-arguments".  */
+  cmd = add_setshow_boolean_cmd
+    ("frame-arguments", no_class,
+     &user_frame_print_options.print_raw_frame_arguments,
+     _("\
+Set whether to print frame arguments in raw form."), _("\
+Show whether to print frame arguments in raw form."), _("\
+If set, frame arguments are printed in raw form, bypassing any\n\
+pretty-printers for that value."),
+     NULL, NULL,
+     &setprintrawlist, &showprintrawlist);
+  deprecate_cmd (cmd, "set print raw-frame-arguments");
 
   add_setshow_auto_boolean_cmd ("disassemble-next-line", class_stack,
                                &disassemble_next_line, _("\
-Set whether to disassemble next source line or insn when execution stops."), _("\
-Show whether to disassemble next source line or insn when execution stops."), _("\
+Set whether to disassemble next source line or insn when execution stops."),
+                               _("\
+Show whether to disassemble next source line or insn when execution stops."),
+                               _("\
 If ON, GDB will display disassembly of the next source line, in addition\n\
 to displaying the source line itself.  If the next source line cannot\n\
 be displayed (e.g., source is unavailable or there's no line info), GDB\n\
@@ -2201,11 +3493,7 @@ source line."),
                                &setlist, &showlist);
   disassemble_next_line = AUTO_BOOLEAN_FALSE;
 
-#if 0
-  add_cmd ("backtrace-limit", class_stack, set_backtrace_limit_command, _(\
-"Specify maximum number of frames for \"backtrace\" to print by default."),
-          &setlist);
-  add_info ("backtrace-limit", backtrace_limit_info, _("\
-The maximum number of frames for \"backtrace\" to print by default."));
-#endif
+  gdb::option::add_setshow_cmds_for_options
+    (class_stack, &user_frame_print_options,
+     frame_print_option_defs, &setprintlist, &showprintlist);
 }
This page took 0.064753 seconds and 4 git commands to generate.