* breakpoint.c (breakpoint_1): Annotate each field of the headers.
[binutils-gdb.git] / gdb / breakpoint.c
index f3961bccc7815721df6a4523f6a01bbf440d60d1..b9efd0546b07ba6a23df80aecc3b0e907e590017 100644 (file)
@@ -30,6 +30,7 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #include "ctype.h"
 #include "command.h"
 #include "inferior.h"
+#include "thread.h"
 #include "target.h"
 #include "language.h"
 #include <string.h>
@@ -88,6 +89,9 @@ get_catch_sals PARAMS ((int));
 static void
 watch_command PARAMS ((char *, int));
 
+static int
+can_use_hardware_watchpoint PARAMS ((struct breakpoint *));
+
 static void
 tbreak_command PARAMS ((char *, int));
 
@@ -133,6 +137,8 @@ get_number PARAMS ((char **));
 static void
 set_breakpoint_count PARAMS ((int));
 
+static int
+remove_breakpoint PARAMS ((struct breakpoint *));
 
 extern int addressprint;               /* Print machine addresses? */
 extern int demangle;                   /* Print de-mangled symbol names? */
@@ -151,9 +157,16 @@ static int executing_breakpoint_commands;
             b? (tmp=b->next, 1): 0;    \
             b = tmp)
 
+/* By default no support for hardware watchpoints is assumed.  */
+#ifndef TARGET_CAN_USE_HARDWARE_WATCHPOINT
+#define TARGET_CAN_USE_HARDWARE_WATCHPOINT(B) 0
+#define target_remove_watchpoint(ADDR,LEN) -1
+#define target_insert_watchpoint(ADDR,LEN) -1
+#endif
+
 /* Chain of all breakpoints defined.  */
 
-struct breakpoint *breakpoint_chain;
+static struct breakpoint *breakpoint_chain;
 
 /* Number of last breakpoint made.  */
 
@@ -183,6 +196,16 @@ int default_breakpoint_line;
 
 /* Flag indicating extra verbosity for xgdb.  */
 extern int xgdb_verbose;
+
+static void
+breakpoints_changed ()
+{
+  if (annotation_level > 1)
+    {
+      target_terminal_ours ();
+      printf_unfiltered ("\n\032\032breakpoints-invalid\n");
+    }
+}
 \f
 /* *PP is a string denoting a breakpoint.  Get the number of the breakpoint.
    Advance *PP after the string and any trailing whitespace.
@@ -206,7 +229,7 @@ get_number (pp)
         to pass to lookup_internalvar().  */
       char *varname;
       char *start = ++p;
-      value val;
+      value_ptr val;
 
       while (isalnum (*p) || *p == '_')
        p++;
@@ -322,6 +345,7 @@ End with a line saying just \"end\".\n", bnum);
        l = read_command_lines ();
        free_command_lines (&b->commands);
        b->commands = l;
+       breakpoints_changed ();
        return;
       }
   error ("No breakpoint number %d.", bnum);
@@ -347,12 +371,18 @@ read_memory_nobpt (memaddr, myaddr, len)
   struct breakpoint *b;
 
   if (memory_breakpoint_size < 0)
-    /* No breakpoints on this machine.  */
+    /* No breakpoints on this machine.  FIXME: This should be
+       dependent on the debugging target.  Probably want
+       target_insert_breakpoint to return a size, saying how many
+       bytes of the shadow contents are used, or perhaps have
+       something like target_xfer_shadow.  */
     return target_read_memory (memaddr, myaddr, len);
   
   ALL_BREAKPOINTS (b)
     {
-      if (b->type == bp_watchpoint || !b->inserted)
+      if (b->type == bp_watchpoint
+         || b->type == bp_hardware_watchpoint
+         || !b->inserted)
        continue;
       else if (b->address + memory_breakpoint_size <= memaddr)
        /* The breakpoint is entirely before the chunk of memory
@@ -430,6 +460,7 @@ insert_breakpoints ()
 
   ALL_BREAKPOINTS (b)
     if (b->type != bp_watchpoint
+       && b->type != bp_hardware_watchpoint
        && b->enable != disabled
        && ! b->inserted
        && ! b->duplicate)
@@ -445,7 +476,8 @@ insert_breakpoints ()
                b->enable = disabled;
                if (!disabled_breaks)
                  {
-                   fprintf (stderr,
+                   target_terminal_ours_for_output ();
+                   fprintf_unfiltered (gdb_stderr,
                         "Cannot insert breakpoint %d:\n", b->number);
                    printf_filtered ("Disabling shared library breakpoints:\n");
                  }
@@ -455,9 +487,10 @@ insert_breakpoints ()
            else
 #endif
              {
-               fprintf (stderr, "Cannot insert breakpoint %d:\n", b->number);
+               target_terminal_ours_for_output ();
+               fprintf_unfiltered (gdb_stderr, "Cannot insert breakpoint %d:\n", b->number);
 #ifdef ONE_PROCESS_WRITETEXT
-               fprintf (stderr,
+               fprintf_unfiltered (gdb_stderr,
                  "The same program may be running in another process.\n");
 #endif
                memory_error (val, b->address); /* which bombs us out */
@@ -466,43 +499,161 @@ insert_breakpoints ()
        else
          b->inserted = 1;
       }
+    else if (b->type == bp_hardware_watchpoint
+            && b->enable == enabled
+            && ! b->inserted
+            && ! b->duplicate)
+      {
+       FRAME saved_frame;
+       int saved_level, within_current_scope;
+       value_ptr mark = value_mark ();
+       value_ptr v;
+
+       /* Save the current frame and level so we can restore it after
+          evaluating the watchpoint expression on its own frame.  */
+       saved_frame = selected_frame;
+       saved_level = selected_frame_level;
+
+       /* Determine if the watchpoint is within scope.  */
+       if (b->exp_valid_block == NULL)
+         within_current_scope = 1;
+       else
+         {
+           FRAME fr = find_frame_addr_in_frame_chain (b->watchpoint_frame);
+           within_current_scope = (fr != NULL);
+           if (within_current_scope)
+             select_frame (fr, -1);
+         }
+       
+       if (within_current_scope)
+         {
+           /* Evaluate the expression and cut the chain of values
+              produced off from the value chain.  */
+           v = evaluate_expression (b->exp);
+           value_release_to_mark (mark);
+           
+           b->val_chain = v;
+           b->inserted = 1;
+
+           /* Look at each value on the value chain.  */
+           for ( ; v; v=v->next)
+             {
+               /* If it's a memory location, then we must watch it.  */
+               if (v->lval == lval_memory)
+                 {
+                   int addr, len;
+                   
+                   addr = VALUE_ADDRESS (v) + VALUE_OFFSET (v);
+                   len = TYPE_LENGTH (VALUE_TYPE (v));
+                   val = target_insert_watchpoint (addr, len);
+                   if (val == -1)
+                     {
+                       b->inserted = 0;
+                       break;
+                     }
+                   val = 0;
+                 }
+             }
+           /* Failure to insert a watchpoint on any memory value in the
+              value chain brings us here.  */
+           if (!b->inserted)
+             warning ("Hardware watchpoint %d: Could not insert watchpoint\n",
+                      b->number);
+         }
+       else
+         {
+           printf_filtered ("\
+Hardware watchpoint %d deleted because the program has left the block in\n\
+which its expression is valid.\n", b->number);
+           if (b->related_breakpoint)
+             delete_breakpoint (b->related_breakpoint);
+           delete_breakpoint (b);
+         }
+
+       /* Restore the frame and level.  */
+        select_frame (saved_frame, saved_level);
+      }
   if (disabled_breaks)
     printf_filtered ("\n");
   return val;
 }
 
+
 int
 remove_breakpoints ()
 {
   register struct breakpoint *b;
   int val;
 
-#ifdef BREAKPOINT_DEBUG
-  printf ("Removing breakpoints.\n");
-#endif /* BREAKPOINT_DEBUG */
-
   ALL_BREAKPOINTS (b)
-    if (b->type != bp_watchpoint && b->inserted)
-      {
-       val = target_remove_breakpoint(b->address, b->shadow_contents);
-       if (val)
-         return val;
-       b->inserted = 0;
-#ifdef BREAKPOINT_DEBUG
-       printf ("Removed breakpoint at %s",
-               local_hex_string(b->address));
-       printf (", shadow %s",
-               local_hex_string(b->shadow_contents[0]));
-       printf (", %s.\n",
-               local_hex_string(b->shadow_contents[1]));
-#endif /* BREAKPOINT_DEBUG */
-      }
+    {
+      if (b->inserted)
+       {
+         val = remove_breakpoint (b);
+         if (val != 0)
+           return val;
+       }
+    }
+  return 0;
+}
 
+
+static int
+remove_breakpoint (b)
+     struct breakpoint *b;
+{
+  int val;
+  
+  if (b->type != bp_watchpoint
+      && b->type != bp_hardware_watchpoint)
+    {
+      val = target_remove_breakpoint(b->address, b->shadow_contents);
+      if (val)
+       return val;
+      b->inserted = 0;
+    }
+  else if (b->type == bp_hardware_watchpoint
+          && b->enable == enabled
+          && ! b->duplicate)
+    {
+      value_ptr v, n;
+      
+      b->inserted = 0;
+      /* Walk down the saved value chain.  */
+      for (v = b->val_chain; v; v = v->next)
+       {
+         /* For each memory reference remove the watchpoint
+            at that address.  */
+         if (v->lval == lval_memory)
+           {
+             int addr, len;
+             
+             addr = VALUE_ADDRESS (v) + VALUE_OFFSET (v);
+             len = TYPE_LENGTH (VALUE_TYPE (v));
+             val = target_remove_watchpoint (addr, len);
+             if (val == -1)
+               b->inserted = 1;
+             val = 0;
+           }
+       }
+      /* Failure to remove any of the hardware watchpoints comes here.  */
+      if (b->inserted)
+       error ("Hardware watchpoint %d: Could not remove watchpoint\n",
+              b->number);
+      
+      /* Free the saved value chain.  We will construct a new one
+        the next time the watchpoint is inserted.  */
+      for (v = b->val_chain; v; v = n)
+       {
+         n = v->next;
+         value_free (v);
+       }
+      b->val_chain = NULL;
+    }
   return 0;
 }
 
-/* Clear the "inserted" flag in all breakpoints.
-   This is done when the inferior is loaded.  */
+/* Clear the "inserted" flag in all breakpoints.  */
 
 void
 mark_breakpoints_out ()
@@ -513,6 +664,35 @@ mark_breakpoints_out ()
     b->inserted = 0;
 }
 
+/* Clear the "inserted" flag in all breakpoints and delete any breakpoints
+   which should go away between runs of the program.  */
+
+void
+breakpoint_init_inferior ()
+{
+  register struct breakpoint *b, *temp;
+
+  ALL_BREAKPOINTS_SAFE (b, temp)
+    {
+      b->inserted = 0;
+
+      /* If the call dummy breakpoint is at the entry point it will
+        cause problems when the inferior is rerun, so we better
+        get rid of it.  */
+      if (b->type == bp_call_dummy)
+       delete_breakpoint (b);
+
+      /* Likewise for scope breakpoints.  */
+      if (b->type == bp_watchpoint_scope)
+       delete_breakpoint (b);
+
+      /* Likewise for watchpoints on local expressions.  */
+      if ((b->type == bp_watchpoint || b->type == bp_hardware_watchpoint)
+         && b->exp_valid_block != NULL)
+       delete_breakpoint (b);
+    }
+}
+
 /* breakpoint_here_p (PC) returns 1 if an enabled breakpoint exists at PC.
    When continuing from a location with a breakpoint,
    we actually single step once before calling insert_breakpoints.  */
@@ -529,6 +709,60 @@ breakpoint_here_p (pc)
 
   return 0;
 }
+
+/* Return nonzero if FRAME is a dummy frame.  We can't use PC_IN_CALL_DUMMY
+   because figuring out the saved SP would take too much time, at least using
+   get_saved_register on the 68k.  This means that for this function to
+   work right a port must use the bp_call_dummy breakpoint.  */
+
+int
+frame_in_dummy (frame)
+     FRAME frame;
+{
+  struct breakpoint *b;
+
+#ifdef CALL_DUMMY
+  ALL_BREAKPOINTS (b)
+    {
+      static unsigned LONGEST dummy[] = CALL_DUMMY;
+
+      if (b->type == bp_call_dummy
+         && b->frame == frame->frame
+
+         /* We need to check the PC as well as the frame on the sparc,
+            for signals.exp in the testsuite.  */
+         && (frame->pc
+             >= (b->address
+                 - sizeof (dummy) / sizeof (LONGEST) * REGISTER_SIZE))
+         && frame->pc <= b->address)
+       return 1;
+    }
+#endif /* CALL_DUMMY */
+  return 0;
+}
+
+/* breakpoint_match_thread (PC, PID) returns true if the breakpoint at PC
+   is valid for process/thread PID.  */
+
+int
+breakpoint_thread_match (pc, pid)
+     CORE_ADDR pc;
+     int pid;
+{
+  struct breakpoint *b;
+  int thread;
+
+  thread = pid_to_thread_id (pid);
+
+  ALL_BREAKPOINTS (b)
+    if (b->enable != disabled
+       && b->address == pc
+       && (b->thread == -1 || b->thread == thread))
+      return 1;
+
+  return 0;
+}
+
 \f
 /* bpstat stuff.  External routines' interfaces are documented
    in breakpoint.h.  */
@@ -566,7 +800,7 @@ bpstat_copy (bs)
 {
   bpstat p = NULL;
   bpstat tmp;
-  bpstat retval;
+  bpstat retval = NULL;
 
   if (bs == NULL)
     return bs;
@@ -703,7 +937,8 @@ print_it_normal (bs)
      which has since been deleted.  */
   if (bs->breakpoint_at == NULL
       || (bs->breakpoint_at->type != bp_breakpoint
-         && bs->breakpoint_at->type != bp_watchpoint))
+         && bs->breakpoint_at->type != bp_watchpoint
+         && bs->breakpoint_at->type != bp_hardware_watchpoint))
     return 0;
 
   if (bs->breakpoint_at->type == bp_breakpoint)
@@ -717,16 +952,17 @@ print_it_normal (bs)
   if (bs->old_val != NULL)
     {
       printf_filtered ("\nWatchpoint %d, ", bs->breakpoint_at->number);
-      print_expression (bs->breakpoint_at->exp, stdout);
+      print_expression (bs->breakpoint_at->exp, gdb_stdout);
       printf_filtered ("\nOld value = ");
-      value_print (bs->old_val, stdout, 0, Val_pretty_default);
+      value_print (bs->old_val, gdb_stdout, 0, Val_pretty_default);
       printf_filtered ("\nNew value = ");
-      value_print (bs->breakpoint_at->val, stdout, 0,
+      value_print (bs->breakpoint_at->val, gdb_stdout, 0,
                   Val_pretty_default);
       printf_filtered ("\n");
       value_free (bs->old_val);
       bs->old_val = NULL;
-      return 0;
+      /* More than one watchpoint may have been triggered.  */
+      return -1;
     }
   /* We can't deal with it.  Maybe another member of the bpstat chain can.  */
   return -1;
@@ -790,11 +1026,13 @@ bpstat_alloc (b, cbs)
   bs->print_it = print_it_normal;
   return bs;
 }
+\f
+
 
 /* Possible return values for watchpoint_check (this can't be an enum
    because of check_errors).  */
-/* The watchpoint has been disabled.  */
-#define WP_DISABLED 1
+/* The watchpoint has been deleted.  */
+#define WP_DELETED 1
 /* The value has changed.  */
 #define WP_VALUE_CHANGED 2
 /* The value has not changed.  */
@@ -803,26 +1041,40 @@ bpstat_alloc (b, cbs)
 /* Check watchpoint condition.  */
 static int
 watchpoint_check (p)
-     PTR p;
+     char *p;
 {
   bpstat bs = (bpstat) p;
+  struct breakpoint *b;
+  FRAME saved_frame, fr;
+  int within_current_scope, saved_level;
 
-  int within_current_scope;
-  if (bs->breakpoint_at->exp_valid_block != NULL)
-    within_current_scope =
-      contained_in (get_selected_block (), bs->breakpoint_at->exp_valid_block);
-  else
-    within_current_scope = 1;
+  /* Save the current frame and level so we can restore it after
+     evaluating the watchpoint expression on its own frame.  */
+  saved_frame = selected_frame;
+  saved_level = selected_frame_level;
 
+  if (bs->breakpoint_at->exp_valid_block == NULL)
+    within_current_scope = 1;
+  else
+    {
+      fr = find_frame_addr_in_frame_chain (bs->breakpoint_at->watchpoint_frame);
+      within_current_scope = (fr != NULL);
+      if (within_current_scope)
+       /* If we end up stopping, the current frame will get selected
+          in normal_stop.  So this call to select_frame won't affect
+          the user.  */
+       select_frame (fr, -1);
+    }
+      
   if (within_current_scope)
     {
       /* We use value_{,free_to_}mark because it could be a
          *long* time before we return to the command level and
-        call free_all_values.  */
-      /* But couldn't we just call free_all_values instead?  */
+        call free_all_values.  We can't call free_all_values because
+        we might be in the middle of evaluating a function call.  */
 
-      value mark = value_mark ();
-      value new_val = evaluate_expression (bs->breakpoint_at->exp);
+      value_ptr mark = value_mark ();
+      value_ptr new_val = evaluate_expression (bs->breakpoint_at->exp);
       if (!value_equal (bs->breakpoint_at->val, new_val))
        {
          release_value (new_val);
@@ -830,6 +1082,7 @@ watchpoint_check (p)
          bs->old_val = bs->breakpoint_at->val;
          bs->breakpoint_at->val = new_val;
          /* We will stop here */
+         select_frame (saved_frame, saved_level);
          return WP_VALUE_CHANGED;
        }
       else
@@ -837,6 +1090,7 @@ watchpoint_check (p)
          /* Nothing changed, don't do anything.  */
          value_free_to_mark (mark);
          /* We won't stop here */
+         select_frame (saved_frame, saved_level);
          return WP_VALUE_NOT_CHANGED;
        }
     }
@@ -850,11 +1104,15 @@ watchpoint_check (p)
         So we can't even detect the first assignment to it and
         watch after that (since the garbage may or may not equal
         the first value assigned).  */
-      bs->breakpoint_at->enable = disabled;
       printf_filtered ("\
-Watchpoint %d disabled because the program has left the block in\n\
+Watchpoint %d deleted because the program has left the block in\n\
 which its expression is valid.\n", bs->breakpoint_at->number);
-      return WP_DISABLED;
+      if (bs->breakpoint_at->related_breakpoint)
+       delete_breakpoint (bs->breakpoint_at->related_breakpoint);
+      delete_breakpoint (bs->breakpoint_at);
+
+      select_frame (saved_frame, saved_level);
+      return WP_DELETED;
     }
 }
 
@@ -876,14 +1134,18 @@ print_it_noop (bs)
   return -1;
 }
 
+/* Get a bpstat associated with having just stopped at address *PC
+   and frame address FRAME_ADDRESS.  Update *PC to point at the
+   breakpoint (if we hit a breakpoint).  NOT_A_BREAKPOINT is nonzero
+   if this is known to not be a real breakpoint (it could still be a
+   watchpoint, though).  */
+
 /* Determine whether we stopped at a breakpoint, etc, or whether we
    don't understand this stop.  Result is a chain of bpstat's such that:
 
        if we don't understand the stop, the result is a null pointer.
 
-       if we understand why we stopped, the result is not null, and
-       the first element of the chain contains summary "stop" and
-       "print" flags for the whole chain.
+       if we understand why we stopped, the result is not null.
 
        Each element of the chain refers to a particular breakpoint or
        watchpoint at which we have stopped.  (We may have stopped for
@@ -894,11 +1156,11 @@ print_it_noop (bs)
 
  */
 
-       
 bpstat
-bpstat_stop_status (pc, frame_address)
+bpstat_stop_status (pc, frame_address, not_a_breakpoint)
      CORE_ADDR *pc;
      FRAME_ADDR frame_address;
+     int not_a_breakpoint;
 {
   register struct breakpoint *b;
   CORE_ADDR bp_addr;
@@ -919,7 +1181,14 @@ bpstat_stop_status (pc, frame_address)
       if (b->enable == disabled)
        continue;
 
-      if (b->type != bp_watchpoint && b->address != bp_addr)
+      if (b->type != bp_watchpoint
+         && b->type != bp_hardware_watchpoint
+         && b->address != bp_addr)
+       continue;
+
+      if (b->type != bp_watchpoint
+         && b->type != bp_hardware_watchpoint
+         && not_a_breakpoint)
        continue;
 
       /* Come here if it's a watchpoint, or if the break address matches */
@@ -929,15 +1198,16 @@ bpstat_stop_status (pc, frame_address)
       bs->stop = 1;
       bs->print = 1;
 
-      if (b->type == bp_watchpoint)
+      if (b->type == bp_watchpoint || b->type == bp_hardware_watchpoint)
        {
          static char message1[] =
            "Error evaluating expression for watchpoint %d\n";
          char message[sizeof (message1) + 30 /* slop */];
          sprintf (message, message1, b->number);
-         switch (catch_errors (watchpoint_check, (char *) bs, message))
+         switch (catch_errors (watchpoint_check, (char *) bs, message,
+                               RETURN_MASK_ALL))
            {
-           case WP_DISABLED:
+           case WP_DELETED:
              /* We've already printed what needs to be printed.  */
              bs->print_it = print_it_done;
              /* Stop.  */
@@ -955,10 +1225,13 @@ bpstat_stop_status (pc, frame_address)
              /* FALLTHROUGH */
            case 0:
              /* Error from catch_errors.  */
-             b->enable = disabled;
-             printf_filtered ("Watchpoint %d disabled.\n", b->number);
+             printf_filtered ("Watchpoint %d deleted.\n", b->number);
+             if (b->related_breakpoint)
+               delete_breakpoint (b->related_breakpoint);
+             delete_breakpoint (b);
              /* We've already printed what needs to be printed.  */
              bs->print_it = print_it_done;
+
              /* Stop.  */
              break;
            }
@@ -972,7 +1245,7 @@ bpstat_stop_status (pc, frame_address)
        bs->stop = 0;
       else
        {
-         int value_is_zero;
+         int value_is_zero = 0;
 
          if (b->cond)
            {
@@ -981,7 +1254,8 @@ bpstat_stop_status (pc, frame_address)
              select_frame (get_current_frame (), 0);
              value_is_zero
                = catch_errors (breakpoint_cond_eval, (char *)(b->cond),
-                               "Error in testing breakpoint condition:\n");
+                               "Error in testing breakpoint condition:\n",
+                               RETURN_MASK_ALL);
                                /* FIXME-someday, should give breakpoint # */
              free_all_values ();
            }
@@ -1023,33 +1297,34 @@ bpstat_stop_status (pc, frame_address)
        {
          *pc = bp_addr;
 #if defined (SHIFT_INST_REGS)
-         {
-           CORE_ADDR pc = read_register (PC_REGNUM);
-           CORE_ADDR npc = read_register (NPC_REGNUM);
-           if (pc != npc)
-             {
-               write_register (NNPC_REGNUM, npc);
-               write_register (NPC_REGNUM, pc);
-             }
-         }
+         SHIFT_INST_REGS();
 #else /* No SHIFT_INST_REGS.  */
          write_pc (bp_addr);
 #endif /* No SHIFT_INST_REGS.  */
        }
     }
 #endif /* DECR_PC_AFTER_BREAK != 0.  */
+
+  /* The value of a hardware watchpoint hasn't changed, but the
+     intermediate memory locations we are watching may have.  */
+  if (bs && ! bs->stop
+      && bs->breakpoint_at->type == bp_hardware_watchpoint)
+    {
+      remove_breakpoints ();
+      insert_breakpoints ();
+    }
   return bs;
 }
 \f
 /* Tell what to do about this bpstat.  */
-enum bpstat_what
+struct bpstat_what
 bpstat_what (bs)
      bpstat bs;
 {
   /* Classify each bpstat as one of the following.  */
   enum class {
-    /* There was a watchpoint, but we're not stopping.  */
-    wp_nostop = 0,
+    /* This bpstat element has no effect on the main_action.  */
+    no_effect = 0,
 
     /* There was a watchpoint, stop but don't print.  */
     wp_silent,
@@ -1072,6 +1347,12 @@ bpstat_what (bs)
     /* We hit the longjmp_resume breakpoint.  */
     long_resume,
 
+    /* We hit the step_resume breakpoint.  */
+    step_resume,
+
+    /* We hit the through_sigtramp breakpoint.  */
+    through_sig,
+
     /* This is just used to count how many enums there are.  */
     class_last
     };
@@ -1086,26 +1367,44 @@ bpstat_what (bs)
 #define setlr BPSTAT_WHAT_SET_LONGJMP_RESUME
 #define clrlr BPSTAT_WHAT_CLEAR_LONGJMP_RESUME
 #define clrlrs BPSTAT_WHAT_CLEAR_LONGJMP_RESUME_SINGLE
+#define sr BPSTAT_WHAT_STEP_RESUME
+#define ts BPSTAT_WHAT_THROUGH_SIGTRAMP
+
 /* "Can't happen."  Might want to print an error message.
    abort() is not out of the question, but chances are GDB is just
    a bit confused, not unusable.  */
 #define err BPSTAT_WHAT_STOP_NOISY
 
   /* Given an old action and a class, come up with a new action.  */
-  static const enum bpstat_what
+  /* One interesting property of this table is that wp_silent is the same
+     as bp_silent and wp_noisy is the same as bp_noisy.  That is because
+     after stopping, the check for whether to step over a breakpoint
+     (BPSTAT_WHAT_SINGLE type stuff) is handled in proceed() without
+     reference to how we stopped.  We retain separate wp_silent and bp_silent
+     codes in case we want to change that someday.  */
+
+  /* step_resume entries: a step resume breakpoint overrides another
+     breakpoint of signal handling (see comment in wait_for_inferior
+     at first IN_SIGTRAMP where we set the step_resume breakpoint).  */
+  /* We handle the through_sigtramp_breakpoint the same way; having both
+     one of those and a step_resume_breakpoint is probably very rare (?).  */
+
+  static const enum bpstat_what_main_action
     table[(int)class_last][(int)BPSTAT_WHAT_LAST] =
       {
        /*                              old action */
-       /*       keep_c  stop_s  stop_n  single  setlr   clrlr   clrlrs */
-
-/*wp_nostop*/  {keep_c, stop_s, stop_n, single, setlr , clrlr , clrlrs},
-/*wp_silent*/  {stop_s, stop_s, stop_n, stop_s, stop_s, stop_s, stop_s},
-/*wp_noisy*/    {stop_n, stop_n, stop_n, stop_n, stop_n, stop_n, stop_n},
-/*bp_nostop*/  {single, stop_s, stop_n, single, setlr , clrlrs, clrlrs},
-/*bp_silent*/  {stop_s, stop_s, stop_n, stop_s, stop_s, stop_s, stop_s},
-/*bp_noisy*/    {stop_n, stop_n, stop_n, stop_n, stop_n, stop_n, stop_n},
-/*long_jump*/  {setlr , stop_s, stop_n, setlr , err   , err   , err   },
-/*long_resume*/        {clrlr , stop_s, stop_n, clrlrs, err   , err   , err   }
+       /*       keep_c stop_s stop_n single  setlr   clrlr   clrlrs  sr  ts
+        */
+/*no_effect*/  {keep_c,stop_s,stop_n,single, setlr , clrlr , clrlrs, sr, ts},
+/*wp_silent*/  {stop_s,stop_s,stop_n,stop_s, stop_s, stop_s, stop_s, sr, ts},
+/*wp_noisy*/    {stop_n,stop_n,stop_n,stop_n, stop_n, stop_n, stop_n, sr, ts},
+/*bp_nostop*/  {single,stop_s,stop_n,single, setlr , clrlrs, clrlrs, sr, ts},
+/*bp_silent*/  {stop_s,stop_s,stop_n,stop_s, stop_s, stop_s, stop_s, sr, ts},
+/*bp_noisy*/    {stop_n,stop_n,stop_n,stop_n, stop_n, stop_n, stop_n, sr, ts},
+/*long_jump*/  {setlr ,stop_s,stop_n,setlr , err   , err   , err   , sr, ts},
+/*long_resume*/        {clrlr ,stop_s,stop_n,clrlrs, err   , err   , err   , sr, ts},
+/*step_resume*/        {sr    ,sr    ,sr    ,sr    , sr    , sr    , sr    , sr, ts},
+/*through_sig*/ {ts    ,ts    ,ts    ,ts    , ts    , ts    , ts    , ts, ts}
              };
 #undef keep_c
 #undef stop_s
@@ -1115,11 +1414,15 @@ bpstat_what (bs)
 #undef clrlr
 #undef clrlrs
 #undef err
-  enum bpstat_what current_action = BPSTAT_WHAT_KEEP_CHECKING;
+#undef sr
+#undef ts
+  enum bpstat_what_main_action current_action = BPSTAT_WHAT_KEEP_CHECKING;
+  struct bpstat_what retval;
 
+  retval.call_dummy = 0;
   for (; bs != NULL; bs = bs->next)
     {
-      enum class bs_class;
+      enum class bs_class = no_effect;
       if (bs->breakpoint_at == NULL)
        /* I suspect this can happen if it was a momentary breakpoint
           which has since been deleted.  */
@@ -1140,6 +1443,7 @@ bpstat_what (bs)
            bs_class = bp_nostop;
          break;
        case bp_watchpoint:
+       case bp_hardware_watchpoint:
          if (bs->stop)
            {
              if (bs->print)
@@ -1148,7 +1452,9 @@ bpstat_what (bs)
                bs_class = wp_silent;
            }
          else
-           bs_class = wp_nostop;
+           /* There was a watchpoint, but we're not stopping.  This requires
+              no further action.  */
+           bs_class = no_effect;
          break;
        case bp_longjmp:
          bs_class = long_jump;
@@ -1156,10 +1462,33 @@ bpstat_what (bs)
        case bp_longjmp_resume:
          bs_class = long_resume;
          break;
+       case bp_step_resume:
+         if (bs->stop)
+           {
+             bs_class = step_resume;
+           }
+         else
+           /* It is for the wrong frame.  */
+           bs_class = bp_nostop;
+         break;
+       case bp_through_sigtramp:
+         bs_class = through_sig;
+         break;
+       case bp_watchpoint_scope:
+         bs_class = bp_nostop;
+         break;
+
+       case bp_call_dummy:
+         /* Make sure the action is stop (silent or noisy), so infrun.c
+            pops the dummy frame.  */
+         bs_class = bp_silent;
+         retval.call_dummy = 1;
+         break;
        }
       current_action = table[(int)bs_class][(int)current_action];
     }
-  return current_action;
+  retval.main_action = current_action;
+  return retval;
 }
 
 /* Nonzero if we should step constantly (e.g. watchpoints on machines
@@ -1191,17 +1520,13 @@ breakpoint_1 (bnum, allflag)
   CORE_ADDR last_addr = (CORE_ADDR)-1;
   int found_a_breakpoint = 0;
   static char *bptypes[] = {"breakpoint", "until", "finish", "watchpoint",
-                             "longjmp", "longjmp resume"};
+                             "hardware watchpoint", "longjmp",
+                             "longjmp resume", "step resume",
+                             "watchpoint scope", "call dummy" };
   static char *bpdisps[] = {"del", "dis", "keep"};
   static char bpenables[] = "ny";
   char wrap_indent[80];
 
-  if (!breakpoint_chain)
-    {
-      printf_filtered ("No breakpoints or watchpoints.\n");
-      return;
-    }
-  
   ALL_BREAKPOINTS (b)
     if (bnum == -1
        || bnum == b->number)
@@ -1209,83 +1534,172 @@ breakpoint_1 (bnum, allflag)
 /*  We only print out user settable breakpoints unless the allflag is set. */
        if (!allflag
            && b->type != bp_breakpoint
-           && b->type != bp_watchpoint)
+           && b->type != bp_watchpoint
+           && b->type != bp_hardware_watchpoint)
          continue;
 
        if (!found_a_breakpoint++)
-         printf_filtered ("Num Type           Disp Enb %sWhat\n",
-                          addressprint ? "Address    " : "");
-
-       printf_filtered ("%-3d %-14s %-4s %-3c ",
-                        b->number,
-                        bptypes[(int)b->type],
-                        bpdisps[(int)b->disposition],
-                        bpenables[(int)b->enable]);
+         {
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032breakpoints-headers\n");
+
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 0\n");
+           printf_filtered ("Num ");
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 1\n");
+           printf_filtered ("Type           ");
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 2\n");
+           printf_filtered ("Disp ");
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 3\n");
+           printf_filtered ("Enb ");
+           if (addressprint)
+             {
+               if (annotation_level > 1)
+                 printf_filtered ("\n\032\032field 4\n");
+               printf_filtered ("Address    ");
+             }
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 5\n");
+           printf_filtered ("What\n");
+
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032breakpoints-table\n");
+         }
+
+       if (annotation_level > 1)
+         printf_filtered ("\n\032\032record\n\n\032\032field 0\n");
+       printf_filtered ("%-3d ", b->number);
+       if (annotation_level > 1)
+         printf_filtered ("\n\032\032field 1\n");
+       printf_filtered ("%-14s ", bptypes[(int)b->type]);
+       if (annotation_level > 1)
+         printf_filtered ("\n\032\032field 2\n");
+       printf_filtered ("%-4s ", bpdisps[(int)b->disposition]);
+       if (annotation_level > 1)
+         printf_filtered ("\n\032\032field 3\n");
+       printf_filtered ("%-3c ", bpenables[(int)b->enable]);
+
        strcpy (wrap_indent, "                           ");
        if (addressprint)
          strcat (wrap_indent, "           ");
        switch (b->type)
          {
          case bp_watchpoint:
-           print_expression (b->exp, stdout);
+         case bp_hardware_watchpoint:
+           /* Field 4, the address, is omitted (which makes the columns
+              not line up too nicely with the headers, but the effect
+              is relatively readable).  */
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 5\n");
+           print_expression (b->exp, gdb_stdout);
            break;
+
          case bp_breakpoint:
          case bp_until:
          case bp_finish:
          case bp_longjmp:
          case bp_longjmp_resume:
+         case bp_step_resume:
+         case bp_through_sigtramp:
+         case bp_watchpoint_scope:
+         case bp_call_dummy:
            if (addressprint)
-             printf_filtered ("%s ", local_hex_string_custom(b->address, "08"));
+             {
+               if (annotation_level > 1)
+                 printf_filtered ("\n\032\032field 4\n");
+               /* FIXME-32x64: need a print_address_numeric with
+                   field width */
+               printf_filtered
+                 ("%s ",
+                  local_hex_string_custom
+                  ((unsigned long) b->address, "08l"));
+             }
+
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 5\n");
 
            last_addr = b->address;
-           if (b->symtab)
+           if (b->source_file)
              {
                sym = find_pc_function (b->address);
                if (sym)
                  {
-                   fputs_filtered ("in ", stdout);
-                   fputs_filtered (SYMBOL_SOURCE_NAME (sym), stdout);
+                   fputs_filtered ("in ", gdb_stdout);
+                   fputs_filtered (SYMBOL_SOURCE_NAME (sym), gdb_stdout);
                    wrap_here (wrap_indent);
-                   fputs_filtered (" at ", stdout);
+                   fputs_filtered (" at ", gdb_stdout);
                  }
-               fputs_filtered (b->symtab->filename, stdout);
+               fputs_filtered (b->source_file, gdb_stdout);
                printf_filtered (":%d", b->line_number);
              }
            else
-             print_address_symbolic (b->address, stdout, demangle, " ");
+             print_address_symbolic (b->address, gdb_stdout, demangle, " ");
+           break;
          }
 
        printf_filtered ("\n");
 
        if (b->frame)
-         printf_filtered ("\tstop only in stack frame at %s\n",
-                          local_hex_string(b->frame));
+         {
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 6\n");
+
+           printf_filtered ("\tstop only in stack frame at ");
+           print_address_numeric (b->frame, gdb_stdout);
+           printf_filtered ("\n");
+         }
+
        if (b->cond)
          {
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 7\n");
+
            printf_filtered ("\tstop only if ");
-           print_expression (b->cond, stdout);
+           print_expression (b->cond, gdb_stdout);
            printf_filtered ("\n");
          }
+
        if (b->ignore_count)
-         printf_filtered ("\tignore next %d hits\n", b->ignore_count);
+         {
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 8\n");
+
+           printf_filtered ("\tignore next %d hits\n", b->ignore_count);
+         }
+
        if ((l = b->commands))
-         while (l)
-           {
-             fputs_filtered ("\t", stdout);
-             fputs_filtered (l->line, stdout);
-             fputs_filtered ("\n", stdout);
-             l = l->next;
-           }
+         {
+           if (annotation_level > 1)
+             printf_filtered ("\n\032\032field 9\n");
+
+           while (l)
+             {
+               fputs_filtered ("\t", gdb_stdout);
+               fputs_filtered (l->line, gdb_stdout);
+               fputs_filtered ("\n", gdb_stdout);
+               l = l->next;
+             }
+         }
       }
 
-  if (!found_a_breakpoint
-      && bnum != -1)
-    printf_filtered ("No breakpoint or watchpoint number %d.\n", bnum);
+  if (!found_a_breakpoint)
+    {
+      if (bnum == -1)
+        printf_filtered ("No breakpoints or watchpoints.\n");
+      else
+        printf_filtered ("No breakpoint or watchpoint number %d.\n", bnum);
+    }
   else
     /* Compare against (CORE_ADDR)-1 in case some compiler decides
        that a comparison of an unsigned with -1 is always false.  */
     if (last_addr != (CORE_ADDR)-1)
       set_next_address (last_addr);
+
+  if (annotation_level > 1)
+    printf_filtered ("\n\032\032breakpoints-table-end\n");
 }
 
 /* ARGSUSED */
@@ -1334,17 +1748,20 @@ describe_other_breakpoints (pc)
       others++;
   if (others > 0)
     {
-      printf ("Note: breakpoint%s ", (others > 1) ? "s" : "");
+      printf_filtered ("Note: breakpoint%s ", (others > 1) ? "s" : "");
       ALL_BREAKPOINTS (b)
        if (b->address == pc)
          {
            others--;
-           printf ("%d%s%s ",
-                   b->number,
-                   (b->enable == disabled) ? " (disabled)" : "",
-                   (others > 1) ? "," : ((others == 1) ? " and" : ""));
+           printf_filtered
+             ("%d%s%s ",
+              b->number,
+              (b->enable == disabled) ? " (disabled)" : "",
+              (others > 1) ? "," : ((others == 1) ? " and" : ""));
          }
-      printf ("also set at pc %s.\n", local_hex_string(pc));
+      printf_filtered ("also set at pc ");
+      print_address_numeric (pc, gdb_stdout);
+      printf_filtered (".\n");
     }
 }
 \f
@@ -1405,7 +1822,12 @@ set_raw_breakpoint (sal)
   b = (struct breakpoint *) xmalloc (sizeof (struct breakpoint));
   memset (b, 0, sizeof (*b));
   b->address = sal.pc;
-  b->symtab = sal.symtab;
+  if (sal.symtab == NULL)
+    b->source_file = NULL;
+  else
+    b->source_file = savestring (sal.symtab->filename,
+                                strlen (sal.symtab->filename));
+  b->thread = -1;
   b->line_number = sal.line;
   b->enable = enabled;
   b->next = 0;
@@ -1429,6 +1851,7 @@ set_raw_breakpoint (sal)
     }
 
   check_duplicates (sal.pc);
+  breakpoints_changed ();
 
   return b;
 }
@@ -1570,19 +1993,27 @@ mention (b)
     {
     case bp_watchpoint:
       printf_filtered ("Watchpoint %d: ", b->number);
-      print_expression (b->exp, stdout);
+      print_expression (b->exp, gdb_stdout);
+      break;
+    case bp_hardware_watchpoint:
+      printf_filtered ("Hardware watchpoint %d: ", b->number);
+      print_expression (b->exp, gdb_stdout);
       break;
     case bp_breakpoint:
-      printf_filtered ("Breakpoint %d at %s", b->number,
-                      local_hex_string(b->address));
-      if (b->symtab)
+      printf_filtered ("Breakpoint %d at ", b->number);
+      print_address_numeric (b->address, gdb_stdout);
+      if (b->source_file)
        printf_filtered (": file %s, line %d.",
-                        b->symtab->filename, b->line_number);
+                        b->source_file, b->line_number);
       break;
     case bp_until:
     case bp_finish:
     case bp_longjmp:
     case bp_longjmp_resume:
+    case bp_step_resume:
+    case bp_through_sigtramp:
+    case bp_call_dummy:
+    case bp_watchpoint_scope:
       break;
     }
   printf_filtered ("\n");
@@ -1641,13 +2072,16 @@ break_command_1 (arg, tempflag, from_tty)
 
   /* Pointers in arg to the start, and one past the end, of the condition.  */
   char *cond_start = NULL;
-  char *cond_end;
+  char *cond_end = NULL;
   /* Pointers in arg to the start, and one past the end,
      of the address part.  */
   char *addr_start = NULL;
-  char *addr_end;
-  
+  char *addr_end = NULL;
+  struct cleanup *old_chain;
+  struct cleanup *canonical_strings_chain = NULL;
+  char **canonical = (char **)NULL;
   int i;
+  int thread;
 
   sals.sals = NULL;
   sals.nelts = 0;
@@ -1685,9 +2119,9 @@ break_command_1 (arg, tempflag, from_tty)
          && (!current_source_symtab
              || (arg && (*arg == '+' || *arg == '-'))))
        sals = decode_line_1 (&arg, 1, default_breakpoint_symtab,
-                             default_breakpoint_line);
+                             default_breakpoint_line, &canonical);
       else
-       sals = decode_line_1 (&arg, 1, (struct symtab *)NULL, 0);
+       sals = decode_line_1 (&arg, 1, (struct symtab *)NULL, 0, &canonical);
 
       addr_end = arg;
     }
@@ -1695,27 +2129,72 @@ break_command_1 (arg, tempflag, from_tty)
   if (! sals.nelts) 
     return;
 
+  /* Make sure that all storage allocated in decode_line_1 gets freed in case
+     the following `for' loop errors out.  */
+  old_chain = make_cleanup (free, sals.sals);
+  if (canonical != (char **)NULL)
+    {
+      make_cleanup (free, canonical);
+      canonical_strings_chain = make_cleanup (null_cleanup, 0);
+      for (i = 0; i < sals.nelts; i++)
+       {
+         if (canonical[i] != NULL)
+           make_cleanup (free, canonical[i]);
+       }
+    }
+
+  thread = -1;                 /* No specific thread yet */
+
   /* Resolve all line numbers to PC's, and verify that conditions
      can be parsed, before setting any breakpoints.  */
   for (i = 0; i < sals.nelts; i++)
     {
+      char *tok, *end_tok;
+      int toklen;
+
       resolve_sal_pc (&sals.sals[i]);
       
-      while (arg && *arg)
+      tok = arg;
+
+      while (tok && *tok)
        {
-         if (arg[0] == 'i' && arg[1] == 'f'
-             && (arg[2] == ' ' || arg[2] == '\t'))
+         while (*tok == ' ' || *tok == '\t')
+           tok++;
+
+         end_tok = tok;
+
+         while (*end_tok != ' ' && *end_tok != '\t' && *end_tok != '\000')
+           end_tok++;
+
+         toklen = end_tok - tok;
+
+         if (toklen >= 1 && strncmp (tok, "if", toklen) == 0)
+           {
+             tok = cond_start = end_tok + 1;
+             cond = parse_exp_1 (&tok, block_for_pc (sals.sals[i].pc), 0);
+             cond_end = tok;
+           }
+         else if (toklen >= 1 && strncmp (tok, "thread", toklen) == 0)
            {
-             arg += 2;
-             cond_start = arg;
-             cond = parse_exp_1 (&arg, block_for_pc (sals.sals[i].pc), 0);
-             cond_end = arg;
+             char *tmptok;
+
+             tok = end_tok + 1;
+             tmptok = tok;
+             thread = strtol (tok, &tok, 0);
+             if (tok == tmptok)
+               error ("Junk after thread keyword.");
+             if (!valid_thread_id (thread))
+               error ("Unknown thread %d\n", thread);
            }
          else
            error ("Junk at end of arguments.");
        }
     }
 
+  /* Remove the canonical strings from the cleanup, they are needed below.  */
+  if (canonical != (char **)NULL)
+    discard_cleanups (canonical_strings_chain);
+
   /* Now set all the breakpoints.  */
   for (i = 0; i < sals.nelts; i++)
     {
@@ -1729,12 +2208,13 @@ break_command_1 (arg, tempflag, from_tty)
       b->number = breakpoint_count;
       b->type = bp_breakpoint;
       b->cond = cond;
+      b->thread = thread;
 
-      /* FIXME: We should add the filename if this is a static function
-        and probably if it is a line number (the line numbers could
-        have changed when we re-read symbols; possibly better to disable
-        the breakpoint in that case).  */
-      if (addr_start)
+      /* If a canonical line spec is needed use that instead of the
+        command string.  */
+      if (canonical != (char **)NULL && canonical[i] != NULL)
+       b->addr_string = canonical[i];
+      else if (addr_start)
        b->addr_string = savestring (addr_start, addr_end - addr_start);
       if (cond_start)
        b->cond_string = savestring (cond_start, cond_end - cond_start);
@@ -1747,10 +2227,10 @@ break_command_1 (arg, tempflag, from_tty)
 
   if (sals.nelts > 1)
     {
-      printf ("Multiple breakpoints were set.\n");
-      printf ("Use the \"delete\" command to delete unwanted breakpoints.\n");
+      printf_filtered ("Multiple breakpoints were set.\n");
+      printf_filtered ("Use the \"delete\" command to delete unwanted breakpoints.\n");
     }
-  free ((PTR)sals.sals);
+  do_cleanups (old_chain);
 }
 
 /* Helper function for break_command_1 and disassemble_command.  */
@@ -1798,6 +2278,7 @@ watch_command (arg, from_tty)
   struct expression *exp;
   struct block *exp_valid_block;
   struct value *val;
+  FRAME frame, prev_frame;
 
   sal.pc = 0;
   sal.symtab = NULL;
@@ -1816,7 +2297,6 @@ watch_command (arg, from_tty)
   b = set_raw_breakpoint (sal);
   set_breakpoint_count (breakpoint_count + 1);
   b->number = breakpoint_count;
-  b->type = bp_watchpoint;
   b->disposition = donttouch;
   b->exp = exp;
   b->exp_valid_block = exp_valid_block;
@@ -1824,8 +2304,93 @@ watch_command (arg, from_tty)
   b->cond = 0;
   b->cond_string = NULL;
   b->exp_string = savestring (arg, strlen (arg));
+
+  frame = block_innermost_frame (exp_valid_block);
+  if (frame)
+    {
+      prev_frame = get_prev_frame (frame);
+      b->watchpoint_frame = FRAME_FP (frame);
+    }
+  else
+    b->watchpoint_frame = (CORE_ADDR)0;
+
+  if (can_use_hardware_watchpoint (b))
+    b->type = bp_hardware_watchpoint;
+  else
+    b->type = bp_watchpoint;
+
+  /* If the expression is "local", then set up a "watchpoint scope"
+     breakpoint at the point where we've left the scope of the watchpoint
+     expression.  */
+  if (innermost_block)
+    {
+      struct breakpoint *scope_breakpoint;
+      struct symtab_and_line scope_sal;
+
+      if (prev_frame)
+       {
+         scope_sal.pc = get_frame_pc (prev_frame);
+         scope_sal.symtab = NULL;
+         scope_sal.line = 0;
+         
+         scope_breakpoint = set_raw_breakpoint (scope_sal);
+         set_breakpoint_count (breakpoint_count + 1);
+         scope_breakpoint->number = breakpoint_count;
+
+         scope_breakpoint->type = bp_watchpoint_scope;
+         scope_breakpoint->enable = enabled;
+
+         /* Automatically delete the breakpoint when it hits.  */
+         scope_breakpoint->disposition = delete;
+
+         /* Only break in the proper frame (help with recursion).  */
+         scope_breakpoint->frame = prev_frame->frame;
+
+         /* Set the address at which we will stop.  */
+         scope_breakpoint->address = get_frame_pc (prev_frame);
+
+         /* The scope breakpoint is related to the watchpoint.  We
+            will need to act on them together.  */
+         b->related_breakpoint = scope_breakpoint;
+       }
+    }
+
   mention (b);
 }
+
+/* Return nonzero if the watchpoint described by B can be handled
+   completely in hardware.  If the watchpoint can not be handled
+   in hardware return zero.  */
+
+static int
+can_use_hardware_watchpoint (b)
+     struct breakpoint *b;
+{
+  value_ptr mark = value_mark ();
+  value_ptr v = evaluate_expression (b->exp);
+  int found_memory = 0;
+       
+  /* Make sure all the intermediate values are in memory.  Also make sure
+     we found at least one memory expression.  Guards against watch 0x12345,
+     which is meaningless, but could cause errors if one tries to insert a 
+     hardware watchpoint for the constant expression.  */
+  for ( ; v != mark; v = v->next)
+    {
+      if (!(v->lval == lval_memory)
+         || v->lval == not_lval
+         || (v->lval != not_lval
+             && v->modifiable == 0))
+       return 0;
+      else
+       if (v->lval == lval_memory)
+         found_memory = 1;
+    }
+
+  /* The expression itself looks suitable for using a hardware
+     watchpoint, but give the target machine a chance to reject it.  */
+  return found_memory && TARGET_CAN_USE_HARDWARE_WATCHPOINT (b);
+}
+
 \f
 /*
  * Helper routine for the until_command routine in infcmd.c.  Here
@@ -1850,9 +2415,9 @@ until_break_command (arg, from_tty)
   
   if (default_breakpoint_valid)
     sals = decode_line_1 (&arg, 1, default_breakpoint_symtab,
-                         default_breakpoint_line);
+                         default_breakpoint_line, (char ***)NULL);
   else
-    sals = decode_line_1 (&arg, 1, (struct symtab *)NULL, 0);
+    sals = decode_line_1 (&arg, 1, (struct symtab *)NULL, 0, (char ***)NULL);
   
   if (sals.nelts != 1)
     error ("Couldn't get information on specified line.");
@@ -1882,7 +2447,7 @@ until_break_command (arg, from_tty)
       make_cleanup(delete_breakpoint, breakpoint);
     }
   
-  proceed (-1, -1, 0);
+  proceed (-1, TARGET_SIGNAL_DEFAULT, 0);
   do_cleanups(old_chain);
 }
 \f
@@ -1969,7 +2534,7 @@ map_catch_names (args, function)
          goto win;
        }
 #endif
-      printf ("No catch clause for exception %s.\n", p);
+      printf_unfiltered ("No catch clause for exception %s.\n", p);
 #if 0
     win:
 #endif
@@ -2128,7 +2693,7 @@ catch_command_1 (arg, tempflag, from_tty)
   else
     {
       /* Grab selected catch clauses.  */
-      error ("catch NAME not implemeneted");
+      error ("catch NAME not implemented");
 #if 0
       /* This isn't used; I don't know what it was for.  */
       sals = map_catch_names (arg, catch_breakpoint);
@@ -2170,16 +2735,13 @@ catch_command_1 (arg, tempflag, from_tty)
       b->enable = enabled;
       b->disposition = tempflag ? delete : donttouch;
 
-      printf ("Breakpoint %d at %s", b->number, local_hex_string(b->address));
-      if (b->symtab)
-       printf (": file %s, line %d.", b->symtab->filename, b->line_number);
-      printf ("\n");
+      mention (b);
     }
 
   if (sals.nelts > 1)
     {
-      printf ("Multiple breakpoints were set.\n");
-      printf ("Use the \"delete\" command to delete unwanted breakpoints.\n");
+      printf_unfiltered ("Multiple breakpoints were set.\n");
+      printf_unfiltered ("Use the \"delete\" command to delete unwanted breakpoints.\n");
     }
   free ((PTR)sals.sals);
 }
@@ -2254,8 +2816,12 @@ clear_command (arg, from_tty)
       sal = sals.sals[i];
       found = (struct breakpoint *) 0;
       while (breakpoint_chain
-            && (sal.pc ? breakpoint_chain->address == sal.pc
-                : (breakpoint_chain->symtab == sal.symtab
+            && (sal.pc
+                ? breakpoint_chain->address == sal.pc
+                : (breakpoint_chain->source_file != NULL
+                   && sal.symtab != NULL
+                   && STREQ (breakpoint_chain->source_file,
+                             sal.symtab->filename)
                    && breakpoint_chain->line_number == sal.line)))
        {
          b1 = breakpoint_chain;
@@ -2267,8 +2833,12 @@ clear_command (arg, from_tty)
       ALL_BREAKPOINTS (b)
        while (b->next
               && b->next->type != bp_watchpoint
-              && (sal.pc ? b->next->address == sal.pc
-                  : (b->next->symtab == sal.symtab
+              && b->next->type != bp_hardware_watchpoint
+              && (sal.pc
+                  ? b->next->address == sal.pc
+                  : (b->next->source_file != NULL
+                     && sal.symtab != NULL
+                     && STREQ (b->next->source_file, sal.symtab->filename)
                      && b->next->line_number == sal.line)))
          {
            b1 = b->next;
@@ -2286,15 +2856,16 @@ clear_command (arg, from_tty)
        }
 
       if (found->next) from_tty = 1; /* Always report if deleted more than one */
-      if (from_tty) printf ("Deleted breakpoint%s ", found->next ? "s" : "");
+      if (from_tty) printf_unfiltered ("Deleted breakpoint%s ", found->next ? "s" : "");
+      breakpoints_changed ();
       while (found)
        {
-         if (from_tty) printf ("%d ", found->number);
+         if (from_tty) printf_unfiltered ("%d ", found->number);
          b1 = found->next;
          delete_breakpoint (found);
          found = b1;
        }
-      if (from_tty) putchar ('\n');
+      if (from_tty) putchar_unfiltered ('\n');
     }
   free ((PTR)sals.sals);
 }
@@ -2307,7 +2878,8 @@ breakpoint_auto_delete (bs)
      bpstat bs;
 {
   for (; bs; bs = bs->next)
-    if (bs->breakpoint_at && bs->breakpoint_at->disposition == delete)
+    if (bs->breakpoint_at && bs->breakpoint_at->disposition == delete
+       && bs->stop)
       delete_breakpoint (bs->breakpoint_at);
 }
 
@@ -2321,8 +2893,8 @@ delete_breakpoint (bpt)
   register bpstat bs;
 
   if (bpt->inserted)
-      target_remove_breakpoint(bpt->address, bpt->shadow_contents);
-
+    remove_breakpoint (bpt);
+      
   if (breakpoint_chain == bpt)
     breakpoint_chain = bpt->next;
 
@@ -2334,22 +2906,46 @@ delete_breakpoint (bpt)
       }
 
   check_duplicates (bpt->address);
+  /* If this breakpoint was inserted, and there is another breakpoint
+     at the same address, we need to insert the other breakpoint.  */
+  if (bpt->inserted
+      && bpt->type != bp_hardware_watchpoint)
+    {
+      ALL_BREAKPOINTS (b)
+       if (b->address == bpt->address
+           && !b->duplicate
+           && b->enable != disabled)
+         {
+           int val;
+           val = target_insert_breakpoint (b->address, b->shadow_contents);
+           if (val != 0)
+             {
+               target_terminal_ours_for_output ();
+               fprintf_unfiltered (gdb_stderr, "Cannot insert breakpoint %d:\n", b->number);
+               memory_error (val, b->address); /* which bombs us out */
+             }
+           else
+             b->inserted = 1;
+         }
+    }
 
   free_command_lines (&bpt->commands);
   if (bpt->cond)
-    free ((PTR)bpt->cond);
+    free (bpt->cond);
   if (bpt->cond_string != NULL)
-    free ((PTR)bpt->cond_string);
+    free (bpt->cond_string);
   if (bpt->addr_string != NULL)
-    free ((PTR)bpt->addr_string);
+    free (bpt->addr_string);
   if (bpt->exp_string != NULL)
-    free ((PTR)bpt->exp_string);
+    free (bpt->exp_string);
+  if (bpt->source_file != NULL)
+    free (bpt->source_file);
 
-  if (xgdb_verbose && bpt->type == bp_breakpoint)
-    printf ("breakpoint #%d deleted\n", bpt->number);
+  breakpoints_changed ();
 
   /* Be sure no bpstat's are pointing at it after it's been freed.  */
-  /* FIXME, how can we find all bpstat's?  We just check stop_bpstat for now. */
+  /* FIXME, how can we find all bpstat's?
+     We just check stop_bpstat for now.  */
   for (bs = stop_bpstat; bs; bs = bs->next)
     if (bs->breakpoint_at == bpt)
       bs->breakpoint_at = NULL;
@@ -2406,29 +3002,53 @@ breakpoint_re_set_one (bint)
       b->enable = disabled;
 
       s = b->addr_string;
-      sals = decode_line_1 (&s, 1, (struct symtab *)NULL, 0);
+      sals = decode_line_1 (&s, 1, (struct symtab *)NULL, 0, (char ***)NULL);
       for (i = 0; i < sals.nelts; i++)
        {
          resolve_sal_pc (&sals.sals[i]);
-         if (b->symtab != sals.sals[i].symtab
-             || b->line_number != sals.sals[i].line
-             || b->address != sals.sals[i].pc)
+
+         /* Reparse conditions, they might contain references to the
+            old symtab.  */
+         if (b->cond_string != NULL)
            {
-             b->symtab = sals.sals[i].symtab;
+             s = b->cond_string;
+             if (b->cond)
+               free ((PTR)b->cond);
+             b->cond = parse_exp_1 (&s, block_for_pc (sals.sals[i].pc), 0);
+           }
+
+         /* We need to re-set the breakpoint if the address changes...*/
+         if (b->address != sals.sals[i].pc
+             /* ...or new and old breakpoints both have source files, and
+                the source file name or the line number changes...  */
+             || (b->source_file != NULL
+                 && sals.sals[i].symtab != NULL
+                 && (!STREQ (b->source_file, sals.sals[i].symtab->filename)
+                     || b->line_number != sals.sals[i].line)
+                 )
+             /* ...or we switch between having a source file and not having
+                one.  */
+             || ((b->source_file == NULL) != (sals.sals[i].symtab == NULL))
+             )
+           {
+             if (b->source_file != NULL)
+               free (b->source_file);
+             if (sals.sals[i].symtab == NULL)
+               b->source_file = NULL;
+             else
+               b->source_file =
+                 savestring (sals.sals[i].symtab->filename,
+                             strlen (sals.sals[i].symtab->filename));
              b->line_number = sals.sals[i].line;
              b->address = sals.sals[i].pc;
-
-             if (b->cond_string != NULL)
-               {
-                 s = b->cond_string;
-                 if (b->cond)
-                   free ((PTR)b->cond);
-                 b->cond = parse_exp_1 (&s, block_for_pc (sals.sals[i].pc), 0);
-               }
          
              check_duplicates (b->address);
 
              mention (b);
+
+             /* Might be better to do this just once per breakpoint_re_set,
+                rather than once for every breakpoint.  */
+             breakpoints_changed ();
            }
          b->enable = save_enable;      /* Restore it, this worked. */
        }
@@ -2436,6 +3056,7 @@ breakpoint_re_set_one (bint)
       break;
 
     case bp_watchpoint:
+    case bp_hardware_watchpoint:
       innermost_block = NULL;
       /* The issue arises of what context to evaluate this in.  The same
         one as when it was set, but what does that mean when symbols have
@@ -2468,6 +3089,8 @@ breakpoint_re_set_one (bint)
     case bp_finish:
     case bp_longjmp:
     case bp_longjmp_resume:
+    case bp_watchpoint_scope:
+    case bp_call_dummy:
       delete_breakpoint (b);
       break;
     }
@@ -2483,17 +3106,11 @@ breakpoint_re_set ()
   static char message1[] = "Error in re-setting breakpoint %d:\n";
   char message[sizeof (message1) + 30 /* slop */];
   
-  /* If we have no current source symtab, and we have any breakpoints,
-     go through the work of making a source context.  */
-  if (current_source_symtab == NULL && breakpoint_chain != 0)
-    {
-      select_source_symtab (NULL);
-    }
-
   ALL_BREAKPOINTS_SAFE (b, temp)
     {
       sprintf (message, message1, b->number);  /* Format possible error msg */
-      catch_errors (breakpoint_re_set_one, (char *) b, message);
+      catch_errors (breakpoint_re_set_one, (char *) b, message,
+                   RETURN_MASK_ALL);
     }
 
   create_longjmp_breakpoint("longjmp");
@@ -2537,6 +3154,7 @@ set_ignore_count (bptnum, count, from_tty)
        else
          printf_filtered ("Will ignore next %d crossings of breakpoint %d.",
                  count, bptnum);
+       breakpoints_changed ();
        return;
       }
 
@@ -2575,6 +3193,7 @@ ignore_command (args, from_tty)
                    longest_to_int (value_as_long (parse_and_eval (p))),
                    from_tty);
   printf_filtered ("\n");
+  breakpoints_changed ();
 }
 \f
 /* Call FUNCTION on each of the breakpoints
@@ -2602,10 +3221,13 @@ map_breakpoint_numbers (args, function)
       ALL_BREAKPOINTS (b)
        if (b->number == num)
          {
+           struct breakpoint *related_breakpoint = b->related_breakpoint;
            function (b);
+           if (related_breakpoint)
+             function (related_breakpoint);
            goto win;
          }
-      printf ("No breakpoint number %d.\n", num);
+      printf_unfiltered ("No breakpoint number %d.\n", num);
     win:
       p = p1;
     }
@@ -2615,22 +3237,31 @@ static void
 enable_breakpoint (bpt)
      struct breakpoint *bpt;
 {
+  FRAME save_selected_frame = NULL;
+  int save_selected_frame_level = -1;
+  
   bpt->enable = enabled;
 
-  if (xgdb_verbose && bpt->type == bp_breakpoint)
-    printf ("breakpoint #%d enabled\n", bpt->number);
+  breakpoints_changed ();
 
   check_duplicates (bpt->address);
-  if (bpt->type == bp_watchpoint)
+  if (bpt->type == bp_watchpoint || bpt->type == bp_hardware_watchpoint)
     {
-      if (bpt->exp_valid_block != NULL
-       && !contained_in (get_selected_block (), bpt->exp_valid_block))
+      if (bpt->exp_valid_block != NULL)
        {
-         printf_filtered ("\
+         FRAME fr = find_frame_addr_in_frame_chain (bpt->watchpoint_frame);
+         if (fr == NULL)
+           {
+             printf_filtered ("\
 Cannot enable watchpoint %d because the block in which its expression\n\
 is valid is not currently in scope.\n", bpt->number);
-         bpt->enable = disabled;
-         return;
+             bpt->enable = disabled;
+             return;
+           }
+
+         save_selected_frame = selected_frame;
+         save_selected_frame_level = selected_frame_level;
+         select_frame (fr, -1);
        }
 
       value_free (bpt->val);
@@ -2639,6 +3270,9 @@ is valid is not currently in scope.\n", bpt->number);
       release_value (bpt->val);
       if (VALUE_LAZY (bpt->val))
        value_fetch_lazy (bpt->val);
+
+      if (save_selected_frame_level >= 0)
+       select_frame (save_selected_frame, save_selected_frame_level);
     }
 }
 
@@ -2655,6 +3289,7 @@ enable_command (args, from_tty)
        {
        case bp_breakpoint:
        case bp_watchpoint:
+       case bp_hardware_watchpoint:
          enable_breakpoint (bpt);
        default:
          continue;
@@ -2667,10 +3302,15 @@ static void
 disable_breakpoint (bpt)
      struct breakpoint *bpt;
 {
+  /* Never disable a watchpoint scope breakpoint; we want to
+     hit them when we leave scope so we can delete both the
+     watchpoint and its scope breakpoint at that time.  */
+  if (bpt->type == bp_watchpoint_scope)
+    return;
+
   bpt->enable = disabled;
 
-  if (xgdb_verbose && bpt->type == bp_breakpoint)
-    printf_filtered ("breakpoint #%d disabled\n", bpt->number);
+  breakpoints_changed ();
 
   check_duplicates (bpt->address);
 }
@@ -2688,6 +3328,7 @@ disable_command (args, from_tty)
        {
        case bp_breakpoint:
        case bp_watchpoint:
+       case bp_hardware_watchpoint:
          disable_breakpoint (bpt);
        default:
          continue;
@@ -2704,6 +3345,7 @@ enable_once_breakpoint (bpt)
   bpt->disposition = disable;
 
   check_duplicates (bpt->address);
+  breakpoints_changed ();
 }
 
 /* ARGSUSED */
@@ -2723,6 +3365,7 @@ enable_delete_breakpoint (bpt)
   bpt->disposition = delete;
 
   check_duplicates (bpt->address);
+  breakpoints_changed ();
 }
 
 /* ARGSUSED */
@@ -2747,9 +3390,11 @@ decode_line_spec_1 (string, funfirstline)
     error ("Empty line specification.");
   if (default_breakpoint_valid)
     sals = decode_line_1 (&string, funfirstline,
-                         default_breakpoint_symtab, default_breakpoint_line);
+                         default_breakpoint_symtab, default_breakpoint_line,
+                         (char ***)NULL);
   else
-    sals = decode_line_1 (&string, funfirstline, (struct symtab *)NULL, 0);
+    sals = decode_line_1 (&string, funfirstline,
+                         (struct symtab *)NULL, 0, (char ***)NULL);
   if (*string)
     error ("Junk at end of line specification: %s", string);
   return sals;
@@ -2782,9 +3427,9 @@ breakpoint N is reached.  ");
 
   add_com ("tbreak", class_breakpoint, tbreak_command,
           "Set a temporary breakpoint.  Args like \"break\" command.\n\
-Like \"break\" except the breakpoint is only enabled temporarily,\n\
-so it will be disabled when hit.  Equivalent to \"break\" followed\n\
-by using \"enable once\" on the breakpoint number.");
+Like \"break\" except the breakpoint is only temporary,\n\
+so it will be deleted when hit.  Equivalent to \"break\" followed\n\
+by using \"enable delete\" on the breakpoint number.");
 
   add_prefix_cmd ("enable", class_breakpoint, enable_command,
                  "Enable some breakpoints.\n\
@@ -2803,8 +3448,7 @@ May be abbreviated to simply \"enable\".\n",
 
   add_cmd ("once", no_class, enable_once_command,
           "Enable breakpoints for one hit.  Give breakpoint numbers.\n\
-If a breakpoint is hit while enabled in this fashion, it becomes disabled.\n\
-See the \"tbreak\" command which sets a breakpoint and enables it once.",
+If a breakpoint is hit while enabled in this fashion, it becomes disabled.",
           &enablebreaklist);
 
   add_cmd ("delete", no_class, enable_delete_command,
@@ -2819,8 +3463,7 @@ If a breakpoint is hit while enabled in this fashion, it is deleted.",
 
   add_cmd ("once", no_class, enable_once_command,
           "Enable breakpoints for one hit.  Give breakpoint numbers.\n\
-If a breakpoint is hit while enabled in this fashion, it becomes disabled.\n\
-See the \"tbreak\" command which sets a breakpoint and enables it once.",
+If a breakpoint is hit while enabled in this fashion, it becomes disabled.",
           &enablelist);
 
   add_prefix_cmd ("disable", class_breakpoint, disable_command,