* rs6000-tdep.c (BL_MASK, BL_INSTRUCTION, BL_DISPLACEMENT_MASK):
[deliverable/binutils-gdb.git] / gdb / breakpoint.c
index f8e3cef88b4132428a803be4f80bc24b7e616e26..2a10d619c9e1da9f6a8b37f6f58cfaf5deb5facd 100644 (file)
@@ -1,8 +1,8 @@
 /* Everything about breakpoints, for GDB.
 
    Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
-   1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
-   Free Software Foundation, Inc.
+   1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007,
+   2008 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -21,6 +21,7 @@
 
 #include "defs.h"
 #include <ctype.h>
+#include "hashtab.h"
 #include "symtab.h"
 #include "frame.h"
 #include "breakpoint.h"
 #include "memattr.h"
 #include "ada-lang.h"
 #include "top.h"
+#include "wrapper.h"
 
-#include "gdb-events.h"
 #include "mi/mi-common.h"
 
 /* Prototypes for local functions. */
 
-static void until_break_command_continuation (struct continuation_arg *arg);
-
 static void catch_command_1 (char *, int, int);
 
 static void enable_delete_command (char *, int);
@@ -90,7 +89,7 @@ static void watch_command (char *, int);
 
 static int can_use_hardware_watchpoint (struct value *);
 
-static int break_command_1 (char *, int, int);
+static void break_command_1 (char *, int, int);
 
 static void mention (struct breakpoint *);
 
@@ -136,21 +135,10 @@ static enum print_stop_action print_it_typical (bpstat);
 
 static enum print_stop_action print_bp_stop_message (bpstat bs);
 
-typedef struct
-  {
-    enum exception_event_kind kind;
-    int enable_p;
-  }
-args_for_catchpoint_enable;
-
 static int watchpoint_check (void *);
 
-static int cover_target_enable_exception_callback (void *);
-
 static void maintenance_info_breakpoints (char *, int);
 
-static void create_longjmp_breakpoint (char *);
-
 static void create_overlay_event_breakpoint (char *);
 
 static int hw_breakpoint_used_count (void);
@@ -185,10 +173,6 @@ static char *ep_parse_optional_if_clause (char **arg);
 
 static char *ep_parse_optional_filename (char **arg);
 
-static void create_exception_catchpoint (int tempflag, char *cond_string,
-                                        enum exception_event_kind ex_event,
-                                        struct symtab_and_line *sal);
-
 static void catch_exception_command_1 (enum exception_event_kind ex_event, 
                                       char *arg, int tempflag, int from_tty);
 
@@ -200,10 +184,27 @@ static int single_step_breakpoint_inserted_here_p (CORE_ADDR pc);
 
 static void free_bp_location (struct bp_location *loc);
 
-static void mark_breakpoints_out (void);
+static struct bp_location *
+allocate_bp_location (struct breakpoint *bpt, enum bptype bp_type);
 
-/* Prototypes for exported functions. */
+static void update_global_location_list (int);
+
+static void update_global_location_list_nothrow (int);
 
+static int is_hardware_watchpoint (struct breakpoint *bpt);
+
+static void insert_breakpoint_locations (void);
+
+static const char *
+bpdisp_text (enum bpdisp disp)
+{
+  /* NOTE: the following values are a part of MI protocol and represent
+     values of 'disp' field returned when inferior stops at a breakpoint.  */
+  static char *bpdisps[] = {"del", "dstp", "dis", "keep"};
+  return bpdisps[(int) disp];
+}
+
+/* Prototypes for exported functions. */
 /* If FALSE, gdb will not use hardware support for watchpoints, even
    if such is available. */
 static int can_use_hw_watchpoints;
@@ -248,6 +249,18 @@ Automatic usage of hardware breakpoints is %s.\n"),
                    value);
 }
 
+/* If 1, gdb will keep breakpoints inserted even as inferior is stopped, 
+   and immediately insert any new breakpoints.  If 0, gdb will insert 
+   breakpoints into inferior only when resuming it, and will remove 
+   breakpoints upon stop.  */
+static int always_inserted_mode = 0;
+static void 
+show_always_inserted_mode (struct ui_file *file, int from_tty,
+                          struct cmd_list_element *c, const char *value)
+{
+  fprintf_filtered (file, _("Always inserted breakpoint mode is %s.\n"), value);
+}
+
 
 void _initialize_breakpoint (void);
 
@@ -289,13 +302,15 @@ struct breakpoint *breakpoint_chain;
 
 struct bp_location *bp_location_chain;
 
+/* The locations that no longer correspond to any breakpoint,
+   unlinked from bp_location_chain, but for which a hit
+   may still be reported by a target.  */
+VEC(bp_location_p) *moribund_locations = NULL;
+
 /* Number of last breakpoint made.  */
 
 int breakpoint_count;
 
-/* Pointer to current exception event record */
-static struct exception_event_record *current_exception_event;
-
 /* This function returns a pointer to the string representation of the
    pathname of the dynamically-linked library that has just been
    loaded.
@@ -567,44 +582,45 @@ condition_command (char *arg, int from_tty)
 
   ALL_BREAKPOINTS (b)
     if (b->number == bnum)
-    {
-      struct bp_location *loc = b->loc;
-      for (; loc; loc = loc->next)
-       {
-         if (loc->cond)
-           {
-             xfree (loc->cond);
-             loc->cond = 0;
-           }
-       }
-      if (b->cond_string != NULL)
-       xfree (b->cond_string);
+      {
+       struct bp_location *loc = b->loc;
+       for (; loc; loc = loc->next)
+         {
+           if (loc->cond)
+             {
+               xfree (loc->cond);
+               loc->cond = 0;
+             }
+         }
+       if (b->cond_string != NULL)
+         xfree (b->cond_string);
 
-      if (*p == 0)
-       {
-         b->cond_string = NULL;
-         if (from_tty)
-           printf_filtered (_("Breakpoint %d now unconditional.\n"), bnum);
-       }
-      else
-       {
-         arg = p;
-         /* I don't know if it matters whether this is the string the user
-            typed in or the decompiled expression.  */
-         b->cond_string = savestring (arg, strlen (arg));
-         b->condition_not_parsed = 0;
-         for (loc = b->loc; loc; loc = loc->next)
-           {
-             arg = p;
-             loc->cond = parse_exp_1 (&arg, block_for_pc (loc->address), 0);
-             if (*arg)
-               error (_("Junk at end of expression"));
-           }
-       }
-      breakpoints_changed ();
-      breakpoint_modify_event (b->number);
-      return;
-    }
+       if (*p == 0)
+         {
+           b->cond_string = NULL;
+           if (from_tty)
+             printf_filtered (_("Breakpoint %d now unconditional.\n"), bnum);
+         }
+       else
+         {
+           arg = p;
+           /* I don't know if it matters whether this is the string the user
+              typed in or the decompiled expression.  */
+           b->cond_string = savestring (arg, strlen (arg));
+           b->condition_not_parsed = 0;
+           for (loc = b->loc; loc; loc = loc->next)
+             {
+               arg = p;
+               loc->cond =
+                 parse_exp_1 (&arg, block_for_pc (loc->address), 0);
+               if (*arg)
+                 error (_("Junk at end of expression"));
+             }
+         }
+       breakpoints_changed ();
+       observer_notify_breakpoint_modified (b->number);
+       return;
+      }
 
   error (_("No breakpoint number %d."), bnum);
 }
@@ -641,7 +657,7 @@ commands_command (char *arg, int from_tty)
        free_command_lines (&b->commands);
        b->commands = l;
        breakpoints_changed ();
-       breakpoint_modify_event (b->number);
+       observer_notify_breakpoint_modified (b->number);
        return;
     }
   error (_("No breakpoint number %d."), bnum);
@@ -687,31 +703,22 @@ commands_from_control_command (char *arg, struct command_line *cmd)
           list after it finishes execution.  */
        b->commands = copy_command_lines (cmd->body_list[0]);
        breakpoints_changed ();
-       breakpoint_modify_event (b->number);
+       observer_notify_breakpoint_modified (b->number);
        return simple_control;
-    }
+      }
   error (_("No breakpoint number %d."), bnum);
 }
 \f
-/* Like target_read_memory() but if breakpoints are inserted, return
-   the shadow contents instead of the breakpoints themselves.
-
-   Read "memory data" from whatever target or inferior we have. 
-   Returns zero if successful, errno value if not.  EIO is used
-   for address out of bounds.  If breakpoints are inserted, returns
-   shadow contents, not the breakpoints themselves.  From breakpoint.c.  */
+/* Update BUF, which is LEN bytes read from the target address MEMADDR,
+   by replacing any memory breakpoints with their shadowed contents.  */
 
-int
-read_memory_nobpt (CORE_ADDR memaddr, gdb_byte *myaddr, unsigned len)
+void
+breakpoint_restore_shadows (gdb_byte *buf, ULONGEST memaddr, LONGEST len)
 {
-  int status;
-  const struct bp_location *b;
+  struct bp_location *b;
   CORE_ADDR bp_addr = 0;
   int bp_size = 0;
-
-  if (gdbarch_breakpoint_from_pc (current_gdbarch, &bp_addr, &bp_size) == NULL)
-    /* No breakpoints on this machine. */
-    return target_read_memory (memaddr, myaddr, len);
+  int bptoffset = 0;
 
   ALL_BP_LOCATIONS (b)
   {
@@ -730,59 +737,35 @@ read_memory_nobpt (CORE_ADDR memaddr, gdb_byte *myaddr, unsigned len)
     if (bp_size == 0)
       /* bp isn't valid, or doesn't shadow memory.  */
       continue;
+
     if (bp_addr + bp_size <= memaddr)
       /* The breakpoint is entirely before the chunk of memory we
          are reading.  */
       continue;
+
     if (bp_addr >= memaddr + len)
       /* The breakpoint is entirely after the chunk of memory we are
          reading. */
       continue;
-    /* Copy the breakpoint from the shadow contents, and recurse for
-       the things before and after.  */
-    {
-      /* Offset within shadow_contents.  */
-      int bptoffset = 0;
-
-      if (bp_addr < memaddr)
-       {
-         /* Only copy the second part of the breakpoint.  */
-         bp_size -= memaddr - bp_addr;
-         bptoffset = memaddr - bp_addr;
-         bp_addr = memaddr;
-       }
 
-      if (bp_addr + bp_size > memaddr + len)
-       {
-         /* Only copy the first part of the breakpoint.  */
-         bp_size -= (bp_addr + bp_size) - (memaddr + len);
-       }
-
-      memcpy (myaddr + bp_addr - memaddr,
-             b->target_info.shadow_contents + bptoffset, bp_size);
+    /* Offset within shadow_contents.  */
+    if (bp_addr < memaddr)
+      {
+       /* Only copy the second part of the breakpoint.  */
+       bp_size -= memaddr - bp_addr;
+       bptoffset = memaddr - bp_addr;
+       bp_addr = memaddr;
+      }
 
-      if (bp_addr > memaddr)
-       {
-         /* Copy the section of memory before the breakpoint.  */
-         status = read_memory_nobpt (memaddr, myaddr, bp_addr - memaddr);
-         if (status != 0)
-           return status;
-       }
+    if (bp_addr + bp_size > memaddr + len)
+      {
+       /* Only copy the first part of the breakpoint.  */
+       bp_size -= (bp_addr + bp_size) - (memaddr + len);
+      }
 
-      if (bp_addr + bp_size < memaddr + len)
-       {
-         /* Copy the section of memory after the breakpoint.  */
-         status = read_memory_nobpt (bp_addr + bp_size,
-                                     myaddr + bp_addr + bp_size - memaddr,
-                                     memaddr + len - (bp_addr + bp_size));
-         if (status != 0)
-           return status;
-       }
-      return 0;
-    }
+    memcpy (buf + bp_addr - memaddr,
+           b->target_info.shadow_contents + bptoffset, bp_size);
   }
-  /* Nothing overlaps.  Just call read_memory_noerr.  */
-  return target_read_memory (memaddr, myaddr, len);
 }
 \f
 
@@ -810,22 +793,243 @@ insert_catchpoint (struct ui_out *uo, void *args)
     }
 }
 
-/* Helper routine: free the value chain for a breakpoint (watchpoint).  */
+static int
+is_hardware_watchpoint (struct breakpoint *bpt)
+{
+  return (bpt->type == bp_hardware_watchpoint
+         || bpt->type == bp_read_watchpoint
+         || bpt->type == bp_access_watchpoint);
+}
+
+/* Find the current value of a watchpoint on EXP.  Return the value in
+   *VALP and *RESULTP and the chain of intermediate and final values
+   in *VAL_CHAIN.  RESULTP and VAL_CHAIN may be NULL if the caller does
+   not need them.
+
+   If an error occurs while evaluating the expression, *RESULTP will
+   be set to NULL.  *RESULTP may be a lazy value, if the result could
+   not be read from memory.  It is used to determine whether a value
+   is user-specified (we should watch the whole value) or intermediate
+   (we should watch only the bit used to locate the final value).
+
+   If the final value, or any intermediate value, could not be read
+   from memory, *VALP will be set to NULL.  *VAL_CHAIN will still be
+   set to any referenced values.  *VALP will never be a lazy value.
+   This is the value which we store in struct breakpoint.
+
+   If VAL_CHAIN is non-NULL, *VAL_CHAIN will be released from the
+   value chain.  The caller must free the values individually.  If
+   VAL_CHAIN is NULL, all generated values will be left on the value
+   chain.  */
 
 static void
-free_valchain (struct bp_location *b)
+fetch_watchpoint_value (struct expression *exp, struct value **valp,
+                       struct value **resultp, struct value **val_chain)
 {
-  struct value *v;
-  struct value *n;
+  struct value *mark, *new_mark, *result;
+
+  *valp = NULL;
+  if (resultp)
+    *resultp = NULL;
+  if (val_chain)
+    *val_chain = NULL;
 
-  /* Free the saved value chain.  We will construct a new one
-     the next time the watchpoint is inserted.  */
-  for (v = b->owner->val_chain; v; v = n)
+  /* Evaluate the expression.  */
+  mark = value_mark ();
+  result = NULL;
+  gdb_evaluate_expression (exp, &result);
+  new_mark = value_mark ();
+  if (mark == new_mark)
+    return;
+  if (resultp)
+    *resultp = result;
+
+  /* Make sure it's not lazy, so that after the target stops again we
+     have a non-lazy previous value to compare with.  */
+  if (result != NULL
+      && (!value_lazy (result) || gdb_value_fetch_lazy (result)))
+    *valp = result;
+
+  if (val_chain)
     {
-      n = value_next (v);
-      value_free (v);
+      /* Return the chain of intermediate values.  We use this to
+        decide which addresses to watch.  */
+      *val_chain = new_mark;
+      value_release_to_mark (mark);
     }
-  b->owner->val_chain = NULL;
+}
+
+/* Assuming that B is a hardware watchpoint:
+   - Reparse watchpoint expression, is REPARSE is non-zero
+   - Evaluate expression and store the result in B->val
+   - Update the list of values that must be watched in B->loc.
+
+   If the watchpoint is disabled, do nothing.  If this is
+   local watchpoint that is out of scope, delete it.  */
+static void
+update_watchpoint (struct breakpoint *b, int reparse)
+{
+  int within_current_scope;
+  struct frame_id saved_frame_id;
+  struct bp_location *loc;
+  bpstat bs;
+
+  /* We don't free locations.  They are stored in
+     bp_location_chain and update_global_locations will
+     eventually delete them and remove breakpoints if
+     needed.  */
+  b->loc = NULL;
+
+  if (b->disposition == disp_del_at_next_stop)
+    return;
+  /* Save the current frame's ID so we can restore it after
+     evaluating the watchpoint expression on its own frame.  */
+  /* FIXME drow/2003-09-09: It would be nice if evaluate_expression
+     took a frame parameter, so that we didn't have to change the
+     selected frame.  */
+  saved_frame_id = get_frame_id (get_selected_frame (NULL));
+
+  /* Determine if the watchpoint is within scope.  */
+  if (b->exp_valid_block == NULL)
+    within_current_scope = 1;
+  else
+    {
+      struct frame_info *fi;
+      fi = frame_find_by_id (b->watchpoint_frame);
+      within_current_scope = (fi != NULL);
+      if (within_current_scope)
+       select_frame (fi);
+    }
+
+  if (within_current_scope && reparse)
+    {
+      char *s;
+      if (b->exp)
+       {
+         xfree (b->exp);
+         b->exp = NULL;
+       }
+      s = b->exp_string;
+      b->exp = parse_exp_1 (&s, b->exp_valid_block, 0);
+      /* If the meaning of expression itself changed, the old value is
+        no longer relevant.  We don't want to report a watchpoint hit
+        to the user when the old value and the new value may actually
+        be completely different objects.  */
+      value_free (b->val);
+      b->val = NULL;
+      b->val_valid = 0;
+    }
+
+  /* If we failed to parse the expression, for example because
+     it refers to a global variable in a not-yet-loaded shared library,
+     don't try to insert watchpoint.  We don't automatically delete
+     such watchpoint, though, since failure to parse expression
+     is different from out-of-scope watchpoint.  */
+  if (within_current_scope && b->exp)
+    {
+      struct value *val_chain, *v, *result, *next;
+
+      fetch_watchpoint_value (b->exp, &v, &result, &val_chain);
+
+      /* Avoid setting b->val if it's already set.  The meaning of
+        b->val is 'the last value' user saw, and we should update
+        it only if we reported that last value to user.  As it
+        happens, the code that reports it updates b->val directly.  */
+      if (!b->val_valid)
+       {
+         b->val = v;
+         b->val_valid = 1;
+       }
+
+      /* Look at each value on the value chain.  */
+      for (v = val_chain; v; v = next)
+       {
+         /* If it's a memory location, and GDB actually needed
+            its contents to evaluate the expression, then we
+            must watch it.  If the first value returned is
+            still lazy, that means an error occurred reading it;
+            watch it anyway in case it becomes readable.  */
+         if (VALUE_LVAL (v) == lval_memory
+             && (v == val_chain || ! value_lazy (v)))
+           {
+             struct type *vtype = check_typedef (value_type (v));
+
+             /* We only watch structs and arrays if user asked
+                for it explicitly, never if they just happen to
+                appear in the middle of some value chain.  */
+             if (v == result
+                 || (TYPE_CODE (vtype) != TYPE_CODE_STRUCT
+                     && TYPE_CODE (vtype) != TYPE_CODE_ARRAY))
+               {
+                 CORE_ADDR addr;
+                 int len, type;
+                 struct bp_location *loc, **tmp;
+
+                 addr = VALUE_ADDRESS (v) + value_offset (v);
+                 len = TYPE_LENGTH (value_type (v));
+                 type = hw_write;
+                 if (b->type == bp_read_watchpoint)
+                   type = hw_read;
+                 else if (b->type == bp_access_watchpoint)
+                   type = hw_access;
+                 
+                 loc = allocate_bp_location (b, bp_hardware_watchpoint);
+                 for (tmp = &(b->loc); *tmp != NULL; tmp = &((*tmp)->next))
+                   ;
+                 *tmp = loc;
+                 loc->address = addr;
+                 loc->length = len;
+                 loc->watchpoint_type = type;
+               }
+           }
+
+         next = value_next (v);
+         if (v != b->val)
+           value_free (v);
+       }
+
+      /* We just regenerated the list of breakpoint locations.
+         The new location does not have its condition field set to anything
+         and therefore, we must always reparse the cond_string, independently
+         of the value of the reparse flag.  */
+      if (b->cond_string != NULL)
+       {
+         char *s = b->cond_string;
+         b->loc->cond = parse_exp_1 (&s, b->exp_valid_block, 0);
+       }
+    }
+  else if (!within_current_scope)
+    {
+      printf_filtered (_("\
+Hardware watchpoint %d deleted because the program has left the block \n\
+in which its expression is valid.\n"),
+                      b->number);
+      if (b->related_breakpoint)
+       b->related_breakpoint->disposition = disp_del_at_next_stop;
+      b->disposition = disp_del_at_next_stop;
+    }
+
+  /* Restore the selected frame.  */
+  select_frame (frame_find_by_id (saved_frame_id));
+}
+
+
+/* Returns 1 iff breakpoint location should be
+   inserted in the inferior.  */
+static int
+should_be_inserted (struct bp_location *bpt)
+{
+  if (!breakpoint_enabled (bpt->owner))
+    return 0;
+
+  if (bpt->owner->disposition == disp_del_at_next_stop)
+    return 0;
+
+  if (!bpt->enabled || bpt->shlib_disabled || bpt->duplicate)
+    return 0;
+
+  return 1;
 }
 
 /* Insert a low-level "breakpoint" of some type.  BPT is the breakpoint.
@@ -842,10 +1046,7 @@ insert_bp_location (struct bp_location *bpt,
 {
   int val = 0;
 
-  if (!breakpoint_enabled (bpt->owner))
-    return 0;
-
-  if (!bpt->enabled || bpt->shlib_disabled || bpt->inserted || bpt->duplicate)
+  if (!should_be_inserted (bpt) || bpt->inserted)
     return 0;
 
   /* Initialize the target-specific information.  */
@@ -1000,7 +1201,7 @@ Note: automatically using hardware breakpoints for read-only addresses.\n"));
                                      bpt->owner->number);
                  fprintf_filtered (tmp_error_stream, 
                                    "Error accessing memory address ");
-                 deprecated_print_address_numeric (bpt->address, 1, tmp_error_stream);
+                 fputs_filtered (paddress (bpt->address), tmp_error_stream);
                  fprintf_filtered (tmp_error_stream, ": %s.\n",
                                    safe_strerror (val));
                }
@@ -1018,179 +1219,10 @@ Note: automatically using hardware breakpoints for read-only addresses.\n"));
              watchpoints.  It's not clear that it's necessary... */
           && bpt->owner->disposition != disp_del_at_next_stop)
     {
-      /* FIXME drow/2003-09-08: This code sets multiple hardware watchpoints
-        based on the expression.  Ideally this should happen at a higher level,
-        and there should be one bp_location for each computed address we
-        must watch.  As soon as a many-to-one mapping is available I'll
-        convert this.  */
-
-      int within_current_scope;
-      struct value *mark = value_mark ();
-      struct value *v;
-      struct frame_id saved_frame_id;
-
-      /* Save the current frame's ID so we can restore it after
-        evaluating the watchpoint expression on its own frame.  */
-      /* FIXME drow/2003-09-09: It would be nice if evaluate_expression
-        took a frame parameter, so that we didn't have to change the
-        selected frame.  */
-      saved_frame_id = get_frame_id (get_selected_frame (NULL));
-
-      /* Determine if the watchpoint is within scope.  */
-      if (bpt->owner->exp_valid_block == NULL)
-       within_current_scope = 1;
-      else
-       {
-         struct frame_info *fi;
-         fi = frame_find_by_id (bpt->owner->watchpoint_frame);
-         within_current_scope = (fi != NULL);
-         if (within_current_scope)
-           select_frame (fi);
-       }
-
-      if (within_current_scope)
-       {
-         free_valchain (bpt);
-
-         /* Evaluate the expression and cut the chain of values
-            produced off from the value chain.
-
-            Make sure the value returned isn't lazy; we use
-            laziness to determine what memory GDB actually needed
-            in order to compute the value of the expression.  */
-         v = evaluate_expression (bpt->owner->exp);
-         value_contents (v);
-         value_release_to_mark (mark);
-
-         bpt->owner->val_chain = v;
-         bpt->inserted = 1;
-
-         /* Look at each value on the value chain.  */
-         for (; v; v = value_next (v))
-           {
-             /* If it's a memory location, and GDB actually needed
-                its contents to evaluate the expression, then we
-                must watch it.  */
-             if (VALUE_LVAL (v) == lval_memory
-                 && ! value_lazy (v))
-               {
-                 struct type *vtype = check_typedef (value_type (v));
-
-                 /* We only watch structs and arrays if user asked
-                    for it explicitly, never if they just happen to
-                    appear in the middle of some value chain.  */
-                 if (v == bpt->owner->val_chain
-                     || (TYPE_CODE (vtype) != TYPE_CODE_STRUCT
-                         && TYPE_CODE (vtype) != TYPE_CODE_ARRAY))
-                   {
-                     CORE_ADDR addr;
-                     int len, type;
-
-                     addr = VALUE_ADDRESS (v) + value_offset (v);
-                     len = TYPE_LENGTH (value_type (v));
-                     type = hw_write;
-                     if (bpt->owner->type == bp_read_watchpoint)
-                       type = hw_read;
-                     else if (bpt->owner->type == bp_access_watchpoint)
-                       type = hw_access;
-
-                     val = target_insert_watchpoint (addr, len, type);
-                     if (val == -1)
-                       {
-                         /* Don't exit the loop, try to insert
-                            every value on the value chain.  That's
-                            because we will be removing all the
-                            watches below, and removing a
-                            watchpoint we didn't insert could have
-                            adverse effects.  */
-                         bpt->inserted = 0;
-                       }
-                     val = 0;
-                   }
-               }
-           }
-         /* Failure to insert a watchpoint on any memory value in the
-            value chain brings us here.  */
-         if (!bpt->inserted)
-           {
-             remove_breakpoint (bpt, mark_uninserted);
-             *hw_breakpoint_error = 1;
-             fprintf_unfiltered (tmp_error_stream,
-                                 "Could not insert hardware watchpoint %d.\n", 
-                                 bpt->owner->number);
-             val = -1;
-           }               
-       }
-      else
-       {
-         printf_filtered (_("\
-Hardware watchpoint %d deleted because the program has left the block \n\
-in which its expression is valid.\n"),
-                          bpt->owner->number);
-         if (bpt->owner->related_breakpoint)
-           bpt->owner->related_breakpoint->disposition = disp_del_at_next_stop;
-         bpt->owner->disposition = disp_del_at_next_stop;
-       }
-
-      /* Restore the selected frame.  */
-      select_frame (frame_find_by_id (saved_frame_id));
-
-      return val;
-    }
-
-  else if (ep_is_exception_catchpoint (bpt->owner))
-    {
-      /* FIXME drow/2003-09-09: This code sets both a catchpoint and a
-        breakpoint.  Once again, it would be better if this was represented
-        as two bp_locations.  */
-
-      /* If we get here, we must have a callback mechanism for exception
-        events -- with g++ style embedded label support, we insert
-        ordinary breakpoints and not catchpoints. */
-      val = target_insert_breakpoint (&bpt->target_info);
-      if (val)
-       {
-         /* Couldn't set breakpoint for some reason */
-         fprintf_unfiltered (tmp_error_stream, 
-                             "Cannot insert catchpoint %d; disabling it.\n",
-                             bpt->owner->number);
-         fprintf_filtered (tmp_error_stream, 
-                           "Error accessing memory address ");
-         deprecated_print_address_numeric (bpt->address, 1, tmp_error_stream);
-         fprintf_filtered (tmp_error_stream, ": %s.\n",
-                           safe_strerror (val));
-         bpt->owner->enable_state = bp_disabled;
-       }
-      else
-       {
-         /* Bp set, now make sure callbacks are enabled */
-         /* Format possible error msg */
-         char *message = xstrprintf ("Error inserting catchpoint %d:\n",
-                                     bpt->owner->number);
-         struct cleanup *cleanups = make_cleanup (xfree, message);
-         int val;
-         args_for_catchpoint_enable args;
-         args.kind = bpt->owner->type == bp_catch_catch ? 
-           EX_EVENT_CATCH : EX_EVENT_THROW;
-         args.enable_p = 1;
-         val = catch_errors (cover_target_enable_exception_callback,
-                             &args, message, RETURN_MASK_ALL);
-         do_cleanups (cleanups);
-         if (val != 0 && val != -1)
-           bpt->inserted = 1;
-
-         /* Check if something went wrong; val == 0 can be ignored */
-         if (val == -1)
-           {
-             /* something went wrong */
-             fprintf_unfiltered (tmp_error_stream, 
-                                 "Cannot insert catchpoint %d; disabling it.\n",
-                                 bpt->owner->number);
-             bpt->owner->enable_state = bp_disabled;
-           }
-       }
-
-      return val;
+      val = target_insert_watchpoint (bpt->address, 
+                                     bpt->length,
+                                     bpt->watchpoint_type);
+      bpt->inserted = (val != -1);
     }
 
   else if (bpt->owner->type == bp_catch_fork
@@ -1215,16 +1247,39 @@ in which its expression is valid.\n"),
   return 0;
 }
 
+/* Make sure all breakpoints are inserted in inferior.
+   Throws exception on any error.
+   A breakpoint that is already inserted won't be inserted
+   again, so calling this function twice is safe.  */
+void
+insert_breakpoints (void)
+{
+  struct breakpoint *bpt;
+
+  ALL_BREAKPOINTS (bpt)
+    if (is_hardware_watchpoint (bpt))
+      update_watchpoint (bpt, 0 /* don't reparse. */);
+
+  update_global_location_list (1);
+
+  if (!always_inserted_mode && target_has_execution)
+    /* update_global_location_list does not insert breakpoints
+       when always_inserted_mode is not enabled.  Explicitly
+       insert them now.  */
+    insert_breakpoint_locations ();
+}
+
 /* insert_breakpoints is used when starting or continuing the program.
    remove_breakpoints is used when the program stops.
    Both return zero if successful,
    or an `errno' value if could not write the inferior.  */
 
-int
-insert_breakpoints (void)
+static void
+insert_breakpoint_locations (void)
 {
+  struct breakpoint *bpt;
   struct bp_location *b, *temp;
-  int return_val = 0;  /* return success code. */
+  int error = 0;
   int val = 0;
   int disabled_breaks = 0;
   int hw_breakpoint_error = 0;
@@ -1232,14 +1287,14 @@ insert_breakpoints (void)
 
   struct ui_file *tmp_error_stream = mem_fileopen ();
   make_cleanup_ui_file_delete (tmp_error_stream);
-
+  
   /* Explicitly mark the warning -- this will only be printed if
      there was an error.  */
   fprintf_unfiltered (tmp_error_stream, "Warning:\n");
-
+       
   ALL_BP_LOCATIONS_SAFE (b, temp)
     {
-      if (!breakpoint_enabled (b->owner))
+      if (!should_be_inserted (b) || b->inserted)
        continue;
 
       /* There is no point inserting thread-specific breakpoints if the
@@ -1248,27 +1303,50 @@ insert_breakpoints (void)
          && !valid_thread_id (b->owner->thread))
        continue;
 
-      /* FIXME drow/2003-10-07: This code should be pushed elsewhere when
-        hardware watchpoints are split into multiple loc breakpoints.  */
-      if ((b->loc_type == bp_loc_hardware_watchpoint
-          || b->owner->type == bp_watchpoint) && !b->owner->val)
-       {
-         struct value *val;
-         val = evaluate_expression (b->owner->exp);
-         release_value (val);
-         if (value_lazy (val))
-           value_fetch_lazy (val);
-         b->owner->val = val;
-       }
-
       val = insert_bp_location (b, tmp_error_stream,
                                    &disabled_breaks, &process_warning,
                                    &hw_breakpoint_error);
       if (val)
-       return_val = val;
+       error = val;
+    }
+
+  /* If we failed to insert all locations of a watchpoint,
+     remove them, as half-inserted watchpoint is of limited use.  */
+  ALL_BREAKPOINTS (bpt)  
+    {
+      int some_failed = 0;
+      struct bp_location *loc;
+
+      if (!is_hardware_watchpoint (bpt))
+       continue;
+
+      if (!breakpoint_enabled (bpt))
+       continue;
+
+      if (bpt->disposition == disp_del_at_next_stop)
+       continue;
+      
+      for (loc = bpt->loc; loc; loc = loc->next)
+       if (!loc->inserted)
+         {
+           some_failed = 1;
+           break;
+         }
+      if (some_failed)
+       {
+         for (loc = bpt->loc; loc; loc = loc->next)
+           if (loc->inserted)
+             remove_breakpoint (loc, mark_uninserted);
+
+         hw_breakpoint_error = 1;
+         fprintf_unfiltered (tmp_error_stream,
+                             "Could not insert hardware watchpoint %d.\n", 
+                             bpt->number);
+         error = -1;
+       }
     }
 
-  if (return_val)
+  if (error)
     {
       /* If a hardware breakpoint or watchpoint was inserted, add a
          message about possibly exhausted resources.  */
@@ -1286,7 +1364,6 @@ You may have requested too many hardware breakpoints/watchpoints.\n");
       target_terminal_ours_for_output ();
       error_stream (tmp_error_stream);
     }
-  return return_val;
 }
 
 int
@@ -1360,11 +1437,18 @@ update_breakpoints_after_exec (void)
 {
   struct breakpoint *b;
   struct breakpoint *temp;
-
-  /* Doing this first prevents the badness of having delete_breakpoint()
-     write a breakpoint's current "shadow contents" to lift the bp.  That
-     shadow is NOT valid after an exec()! */
-  mark_breakpoints_out ();
+  struct bp_location *bploc;
+
+  /* We're about to delete breakpoints from GDB's lists.  If the
+     INSERTED flag is true, GDB will try to lift the breakpoints by
+     writing the breakpoints' "shadow contents" back into memory.  The
+     "shadow contents" are NOT valid after an exec, so GDB should not
+     do that.  Instead, the target is responsible from marking
+     breakpoints out as soon as it detects an exec.  We don't do that
+     here instead, because there may be other attempts to delete
+     breakpoints after detecting an exec and before reaching here.  */
+  ALL_BP_LOCATIONS (bploc)
+    gdb_assert (!bploc->inserted);
 
   ALL_BREAKPOINTS_SAFE (b, temp)
   {
@@ -1390,8 +1474,9 @@ update_breakpoints_after_exec (void)
        continue;
       }
 
-    /* Ditto the exception-handling catchpoints. */
-    if ((b->type == bp_catch_catch) || (b->type == bp_catch_throw))
+    /* Longjmp and longjmp-resume breakpoints are also meaningless
+       after an exec.  */
+    if (b->type == bp_longjmp || b->type == bp_longjmp_resume)
       {
        delete_breakpoint (b);
        continue;
@@ -1493,9 +1578,9 @@ remove_breakpoint (struct bp_location *b, insertion_state_t is)
     /* Permanent breakpoints cannot be inserted or removed.  */
     return 0;
 
-  if (b->owner->type == bp_none)
-    warning (_("attempted to remove apparently deleted breakpoint #%d?"), 
-            b->owner->number);
+  /* The type of none suggests that owner is actually deleted.
+     This should not ever happen.  */
+  gdb_assert (b->owner->type != bp_none);
 
   if (b->loc_type == bp_loc_software_breakpoint
       || b->loc_type == bp_loc_hardware_breakpoint)
@@ -1551,56 +1636,25 @@ remove_breakpoint (struct bp_location *b, insertion_state_t is)
              else
                val = 0;
            }
-         else
-           {
-             /* No -- not inserted, so no need to remove.  No error.  */
-             val = 0;
-           }
-       }
-      if (val)
-       return val;
-      b->inserted = (is == mark_inserted);
-    }
-  else if (b->loc_type == bp_loc_hardware_watchpoint
-          && breakpoint_enabled (b->owner)
-          && !b->duplicate)
-    {
-      struct value *v;
-      struct value *n;
-
-      b->inserted = (is == mark_inserted);
-      /* Walk down the saved value chain.  */
-      for (v = b->owner->val_chain; v; v = value_next (v))
-       {
-         /* For each memory reference remove the watchpoint
-            at that address.  */
-         if (VALUE_LVAL (v) == lval_memory
-             && ! value_lazy (v))
-           {
-             struct type *vtype = check_typedef (value_type (v));
-
-             if (v == b->owner->val_chain
-                 || (TYPE_CODE (vtype) != TYPE_CODE_STRUCT
-                     && TYPE_CODE (vtype) != TYPE_CODE_ARRAY))
-               {
-                 CORE_ADDR addr;
-                 int len, type;
-
-                 addr = VALUE_ADDRESS (v) + value_offset (v);
-                 len = TYPE_LENGTH (value_type (v));
-                 type   = hw_write;
-                 if (b->owner->type == bp_read_watchpoint)
-                   type = hw_read;
-                 else if (b->owner->type == bp_access_watchpoint)
-                   type = hw_access;
-
-                 val = target_remove_watchpoint (addr, len, type);
-                 if (val == -1)
-                   b->inserted = 1;
-                 val = 0;
-               }
+         else
+           {
+             /* No -- not inserted, so no need to remove.  No error.  */
+             val = 0;
            }
        }
+      if (val)
+       return val;
+      b->inserted = (is == mark_inserted);
+    }
+  else if (b->loc_type == bp_loc_hardware_watchpoint)
+    {
+      struct value *v;
+      struct value *n;
+
+      b->inserted = (is == mark_inserted);
+      val = target_remove_watchpoint (b->address, b->length, 
+                                     b->watchpoint_type);
+
       /* Failure to remove any of the hardware watchpoints comes here.  */
       if ((is == mark_uninserted) && (b->inserted))
        warning (_("Could not remove hardware watchpoint %d."),
@@ -1632,23 +1686,13 @@ remove_breakpoint (struct bp_location *b, insertion_state_t is)
        return val;
       b->inserted = (is == mark_inserted);
     }
-  else if ((b->owner->type == bp_catch_catch ||
-           b->owner->type == bp_catch_throw)
-          && breakpoint_enabled (b->owner)
-          && !b->duplicate)
-    {
-      val = target_remove_breakpoint (&b->target_info);
-      if (val)
-       return val;
-      b->inserted = (is == mark_inserted);
-    }
 
   return 0;
 }
 
 /* Clear the "inserted" flag in all breakpoints.  */
 
-static void
+void
 mark_breakpoints_out (void)
 {
   struct bp_location *bpt;
@@ -1708,6 +1752,7 @@ breakpoint_init_inferior (enum inf_context context)
            if (b->val)
              value_free (b->val);
            b->val = NULL;
+           b->val_valid = 0;
          }
        break;
       default:
@@ -1757,12 +1802,13 @@ breakpoint_here_p (CORE_ADDR pc)
 }
 
 
-/* breakpoint_inserted_here_p (PC) is just like breakpoint_here_p(),
-   but it only returns true if there is actually a breakpoint inserted
-   at PC.  */
+/* Returns non-zero if there's a breakpoint inserted at PC, which is
+   inserted using regular breakpoint_chain/bp_location_chain mechanism.
+   This does not check for single-step breakpoints, which are
+   inserted and removed using direct target manipulation.  */
 
 int
-breakpoint_inserted_here_p (CORE_ADDR pc)
+regular_breakpoint_inserted_here_p (CORE_ADDR pc)
 {
   const struct bp_location *bpt;
 
@@ -1783,8 +1829,18 @@ breakpoint_inserted_here_p (CORE_ADDR pc)
            return 1;
        }
     }
+  return 0;
+}
+
+/* Returns non-zero iff there's either regular breakpoint
+   or a single step breakpoint inserted at PC.  */
+
+int
+breakpoint_inserted_here_p (CORE_ADDR pc)
+{
+  if (regular_breakpoint_inserted_here_p (pc))
+    return 1;
 
-  /* Also check for software single-step breakpoints.  */
   if (single_step_breakpoint_inserted_here_p (pc))
     return 1;
 
@@ -1870,9 +1926,7 @@ ep_is_catchpoint (struct breakpoint *ep)
     || (ep->type == bp_catch_unload)
     || (ep->type == bp_catch_fork)
     || (ep->type == bp_catch_vfork)
-    || (ep->type == bp_catch_exec)
-    || (ep->type == bp_catch_catch)
-    || (ep->type == bp_catch_throw);
+    || (ep->type == bp_catch_exec);
 
   /* ??rehrauer: Add more kinds here, as are implemented... */
 }
@@ -1885,14 +1939,6 @@ ep_is_shlib_catchpoint (struct breakpoint *ep)
     || (ep->type == bp_catch_unload);
 }
 
-int
-ep_is_exception_catchpoint (struct breakpoint *ep)
-{
-  return
-    (ep->type == bp_catch_catch)
-    || (ep->type == bp_catch_throw);
-}
-
 void 
 bpstat_free (bpstat bs)
 {
@@ -1943,7 +1989,10 @@ bpstat_copy (bpstat bs)
       if (bs->commands != NULL)
        tmp->commands = copy_command_lines (bs->commands);
       if (bs->old_val != NULL)
-       tmp->old_val = value_copy (bs->old_val);
+       {
+         tmp->old_val = value_copy (bs->old_val);
+         release_value (tmp->old_val);
+       }
 
       if (p == NULL)
        /* This is the first thing in the chain.  */
@@ -2120,15 +2169,45 @@ top:
       do_cleanups (this_cmd_tree_chain);
 
       if (breakpoint_proceeded)
-       /* The inferior is proceeded by the command; bomb out now.
-          The bpstat chain has been blown away by wait_for_inferior.
-          But since execution has stopped again, there is a new bpstat
-          to look at, so start over.  */
-       goto top;
+       {
+         if (target_can_async_p ())
+         /* If we are in async mode, then the target might
+            be still running, not stopped at any breakpoint,
+            so nothing for us to do here -- just return to
+            the event loop.  */
+           break;
+         else
+           /* In sync mode, when execute_control_command returns
+              we're already standing on the next breakpoint.
+              Breakpoint commands for that stop were not run,
+              since execute_command does not run breakpoint
+              commands -- only command_line_handler does, but
+              that one is not involved in execution of breakpoint
+              commands.  So, we can now execute breakpoint commands.
+              There's an implicit assumption that we're called with
+              stop_bpstat, so our parameter is the new bpstat to
+              handle.  
+              It should be noted that making execute_command do
+              bpstat actions is not an option -- in this case we'll
+              have recursive invocation of bpstat for each breakpoint
+              with a command, and can easily blow up GDB stack.  */
+           goto top;
+       }
     }
   do_cleanups (old_chain);
 }
 
+/* Print out the (old or new) value associated with a watchpoint.  */
+
+static void
+watchpoint_value_print (struct value *val, struct ui_file *stream)
+{
+  if (val == NULL)
+    fprintf_unfiltered (stream, _("<unreadable>"));
+  else
+    value_print (val, stream, 0, Val_pretty_default);
+}
+
 /* This is the normal print function for a bpstat.  In the future,
    much of this logic could (should?) be moved to bpstat_stop_status,
    by having it set different print_it values.
@@ -2157,6 +2236,7 @@ print_it_typical (bpstat bs)
   struct breakpoint *b;
   const struct bp_location *bl;
   struct ui_stream *stb;
+  int bp_temp = 0;  
   stb = ui_out_stream_new (uiout);
   old_chain = make_cleanup_ui_out_stream_delete (stb);
   /* bs->breakpoint_at can be NULL if it was a momentary breakpoint
@@ -2170,15 +2250,22 @@ print_it_typical (bpstat bs)
     {
     case bp_breakpoint:
     case bp_hardware_breakpoint:
+      bp_temp = bs->breakpoint_at->owner->disposition == disp_del;
       if (bl->address != bl->requested_address)
        breakpoint_adjustment_warning (bl->requested_address,
                                       bl->address,
                                       b->number, 1);
       annotate_breakpoint (b->number);
-      ui_out_text (uiout, "\nBreakpoint ");
+      if (bp_temp) 
+       ui_out_text (uiout, "\nTemporary breakpoint ");
+      else
+       ui_out_text (uiout, "\nBreakpoint ");
       if (ui_out_is_mi_like_p (uiout))
-       ui_out_field_string (uiout, "reason", 
-                            async_reason_lookup (EXEC_ASYNC_BREAKPOINT_HIT));
+       {
+         ui_out_field_string (uiout, "reason", 
+                         async_reason_lookup (EXEC_ASYNC_BREAKPOINT_HIT));
+         ui_out_field_string (uiout, "disp", bpdisp_text (b->disposition));
+       }
       ui_out_field_int (uiout, "bkptno", b->number);
       ui_out_text (uiout, ", ");
       return PRINT_SRC_AND_LOC;
@@ -2225,7 +2312,7 @@ print_it_typical (bpstat bs)
       annotate_catchpoint (b->number);
       printf_filtered (_("\nCatchpoint %d (forked process %d), "),
                       b->number, 
-                      b->forked_inferior_pid);
+                      ptid_get_pid (b->forked_inferior_pid));
       return PRINT_SRC_AND_LOC;
       break;
 
@@ -2233,7 +2320,7 @@ print_it_typical (bpstat bs)
       annotate_catchpoint (b->number);
       printf_filtered (_("\nCatchpoint %d (vforked process %d), "),
                       b->number, 
-                      b->forked_inferior_pid);
+                      ptid_get_pid (b->forked_inferior_pid));
       return PRINT_SRC_AND_LOC;
       break;
 
@@ -2245,90 +2332,23 @@ print_it_typical (bpstat bs)
       return PRINT_SRC_AND_LOC;
       break;
 
-    case bp_catch_catch:
-      if (current_exception_event && 
-         (CURRENT_EXCEPTION_KIND == EX_EVENT_CATCH))
-       {
-         annotate_catchpoint (b->number);
-         printf_filtered (_("\nCatchpoint %d (exception caught), "), 
-                          b->number);
-         if (CURRENT_EXCEPTION_THROW_PC && CURRENT_EXCEPTION_THROW_LINE)
-           printf_filtered (_("throw location %s:%d, "),
-                            CURRENT_EXCEPTION_THROW_FILE,
-                            CURRENT_EXCEPTION_THROW_LINE);
-         else
-           printf_filtered (_("throw location unknown, "));
-
-         if (CURRENT_EXCEPTION_CATCH_PC && CURRENT_EXCEPTION_CATCH_LINE)
-           printf_filtered (_("catch location %s:%d\n"),
-                            CURRENT_EXCEPTION_CATCH_FILE,
-                            CURRENT_EXCEPTION_CATCH_LINE);
-         else
-           printf_filtered (_("catch location unknown\n"));
-
-         /* don't bother to print location frame info */
-         return PRINT_SRC_ONLY;
-       }
-      else
-       {
-         /* really throw, some other bpstat will handle it */
-         return PRINT_UNKNOWN; 
-       }
-      break;
-
-    case bp_catch_throw:
-      if (current_exception_event && 
-         (CURRENT_EXCEPTION_KIND == EX_EVENT_THROW))
-       {
-         annotate_catchpoint (b->number);
-         printf_filtered (_("\nCatchpoint %d (exception thrown), "),
-                          b->number);
-         if (CURRENT_EXCEPTION_THROW_PC && CURRENT_EXCEPTION_THROW_LINE)
-           printf_filtered (_("throw location %s:%d, "),
-                            CURRENT_EXCEPTION_THROW_FILE,
-                            CURRENT_EXCEPTION_THROW_LINE);
-         else
-           printf_filtered (_("throw location unknown, "));
-
-         if (CURRENT_EXCEPTION_CATCH_PC && CURRENT_EXCEPTION_CATCH_LINE)
-           printf_filtered (_("catch location %s:%d\n"),
-                            CURRENT_EXCEPTION_CATCH_FILE,
-                            CURRENT_EXCEPTION_CATCH_LINE);
-         else
-           printf_filtered (_("catch location unknown\n"));
-
-         /* don't bother to print location frame info */
-         return PRINT_SRC_ONLY; 
-       }
-      else
-       {
-         /* really catch, some other bpstat will handle it */
-         return PRINT_UNKNOWN; 
-       }
-      break;
-
     case bp_watchpoint:
     case bp_hardware_watchpoint:
-      if (bs->old_val != NULL)
-       {
-         annotate_watchpoint (b->number);
-         if (ui_out_is_mi_like_p (uiout))
-           ui_out_field_string
-             (uiout, "reason",
-              async_reason_lookup (EXEC_ASYNC_WATCHPOINT_TRIGGER));
-         mention (b);
-         ui_out_chain = make_cleanup_ui_out_tuple_begin_end (uiout, "value");
-         ui_out_text (uiout, "\nOld value = ");
-         value_print (bs->old_val, stb->stream, 0, Val_pretty_default);
-         ui_out_field_stream (uiout, "old", stb);
-         ui_out_text (uiout, "\nNew value = ");
-         value_print (b->val, stb->stream, 0, Val_pretty_default);
-         ui_out_field_stream (uiout, "new", stb);
-         do_cleanups (ui_out_chain);
-         ui_out_text (uiout, "\n");
-         value_free (bs->old_val);
-         bs->old_val = NULL;
-       }
+      annotate_watchpoint (b->number);
+      if (ui_out_is_mi_like_p (uiout))
+       ui_out_field_string
+         (uiout, "reason",
+          async_reason_lookup (EXEC_ASYNC_WATCHPOINT_TRIGGER));
+      mention (b);
+      ui_out_chain = make_cleanup_ui_out_tuple_begin_end (uiout, "value");
+      ui_out_text (uiout, "\nOld value = ");
+      watchpoint_value_print (bs->old_val, stb->stream);
+      ui_out_field_stream (uiout, "old", stb);
+      ui_out_text (uiout, "\nNew value = ");
+      watchpoint_value_print (b->val, stb->stream);
+      ui_out_field_stream (uiout, "new", stb);
+      do_cleanups (ui_out_chain);
+      ui_out_text (uiout, "\n");
       /* More than one watchpoint may have been triggered.  */
       return PRINT_UNKNOWN;
       break;
@@ -2341,7 +2361,7 @@ print_it_typical (bpstat bs)
       mention (b);
       ui_out_chain = make_cleanup_ui_out_tuple_begin_end (uiout, "value");
       ui_out_text (uiout, "\nValue = ");
-      value_print (b->val, stb->stream, 0, Val_pretty_default);
+      watchpoint_value_print (b->val, stb->stream);
       ui_out_field_stream (uiout, "value", stb);
       do_cleanups (ui_out_chain);
       ui_out_text (uiout, "\n");
@@ -2349,7 +2369,7 @@ print_it_typical (bpstat bs)
       break;
 
     case bp_access_watchpoint:
-      if (bs->old_val != NULL)     
+      if (bs->old_val != NULL)
        {
          annotate_watchpoint (b->number);
          if (ui_out_is_mi_like_p (uiout))
@@ -2359,10 +2379,8 @@ print_it_typical (bpstat bs)
          mention (b);
          ui_out_chain = make_cleanup_ui_out_tuple_begin_end (uiout, "value");
          ui_out_text (uiout, "\nOld value = ");
-         value_print (bs->old_val, stb->stream, 0, Val_pretty_default);
+         watchpoint_value_print (bs->old_val, stb->stream);
          ui_out_field_stream (uiout, "old", stb);
-         value_free (bs->old_val);
-         bs->old_val = NULL;
          ui_out_text (uiout, "\nNew value = ");
        }
       else 
@@ -2375,7 +2393,7 @@ print_it_typical (bpstat bs)
          ui_out_chain = make_cleanup_ui_out_tuple_begin_end (uiout, "value");
          ui_out_text (uiout, "\nValue = ");
        }
-      value_print (b->val, stb->stream, 0,Val_pretty_default);
+      watchpoint_value_print (b->val, stb->stream);
       ui_out_field_stream (uiout, "new", stb);
       do_cleanups (ui_out_chain);
       ui_out_text (uiout, "\n");
@@ -2575,33 +2593,20 @@ watchpoints_triggered (struct target_waitstatus *ws)
        || b->type == bp_read_watchpoint
        || b->type == bp_access_watchpoint)
       {
+       struct bp_location *loc;
        struct value *v;
 
        b->watchpoint_triggered = watch_triggered_no;
-       for (v = b->val_chain; v; v = value_next (v))
-         {
-           if (VALUE_LVAL (v) == lval_memory && ! value_lazy (v))
-             {
-               struct type *vtype = check_typedef (value_type (v));
-
-               if (v == b->val_chain
-                   || (TYPE_CODE (vtype) != TYPE_CODE_STRUCT
-                       && TYPE_CODE (vtype) != TYPE_CODE_ARRAY))
-                 {
-                   CORE_ADDR vaddr;
-
-                   vaddr = VALUE_ADDRESS (v) + value_offset (v);
-                   /* Exact match not required.  Within range is
-                      sufficient.  */
-                   if (addr >= vaddr
-                       && addr < vaddr + TYPE_LENGTH (value_type (v)))
-                     {
-                       b->watchpoint_triggered = watch_triggered_yes;
-                       break;
-                     }
-                 }
-             }
-         }
+       for (loc = b->loc; loc; loc = loc->next)
+         /* Exact match not required.  Within range is
+            sufficient.  */
+         if (target_watchpoint_addr_within_range (&current_target,
+                                                  addr, loc->address,
+                                                  loc->length))
+           {
+             b->watchpoint_triggered = watch_triggered_yes;
+             break;
+           }
       }
 
   return 1;
@@ -2645,7 +2650,8 @@ watchpoint_check (void *p)
       /* If we've gotten confused in the unwinder, we might have
         returned a frame that can't describe this variable.  */
       if (within_current_scope
-         && block_function (b->exp_valid_block) != get_frame_function (fr))
+         && (block_linkage_function (b->exp_valid_block)
+             != get_frame_function (fr)))
        within_current_scope = 0;
 
       /* in_function_epilogue_p() returns a non-zero value if we're still
@@ -2676,13 +2682,20 @@ watchpoint_check (void *p)
          we might be in the middle of evaluating a function call.  */
 
       struct value *mark = value_mark ();
-      struct value *new_val = evaluate_expression (b->exp);
-      if (!value_equal (b->val, new_val))
+      struct value *new_val;
+
+      fetch_watchpoint_value (b->exp, &new_val, NULL, NULL);
+      if ((b->val != NULL) != (new_val != NULL)
+         || (b->val != NULL && !value_equal (b->val, new_val)))
        {
-         release_value (new_val);
-         value_free_to_mark (mark);
+         if (new_val != NULL)
+           {
+             release_value (new_val);
+             value_free_to_mark (mark);
+           }
          bs->old_val = b->val;
          b->val = new_val;
+         b->val_valid = 1;
          /* We will stop here */
          return WP_VALUE_CHANGED;
        }
@@ -2724,6 +2737,252 @@ which its expression is valid.\n");
     }
 }
 
+/* Return true if it looks like target has stopped due to hitting
+   breakpoint location BL.  This function does not check if we
+   should stop, only if BL explains the stop.   */
+static int
+bpstat_check_location (const struct bp_location *bl, CORE_ADDR bp_addr)
+{
+  struct breakpoint *b = bl->owner;
+
+  if (b->type != bp_watchpoint
+      && b->type != bp_hardware_watchpoint
+      && b->type != bp_read_watchpoint
+      && b->type != bp_access_watchpoint
+      && b->type != bp_hardware_breakpoint
+      && b->type != bp_catch_fork
+      && b->type != bp_catch_vfork
+      && b->type != bp_catch_exec)     /* a non-watchpoint bp */
+    {
+      if (bl->address != bp_addr)      /* address doesn't match */
+       return 0;
+      if (overlay_debugging            /* unmapped overlay section */
+         && section_is_overlay (bl->section) 
+         && !section_is_mapped (bl->section))
+       return 0;
+    }
+  
+  /* Continuable hardware watchpoints are treated as non-existent if the
+     reason we stopped wasn't a hardware watchpoint (we didn't stop on
+     some data address).  Otherwise gdb won't stop on a break instruction
+     in the code (not from a breakpoint) when a hardware watchpoint has
+     been defined.  Also skip watchpoints which we know did not trigger
+     (did not match the data address).  */
+  
+  if ((b->type == bp_hardware_watchpoint
+       || b->type == bp_read_watchpoint
+       || b->type == bp_access_watchpoint)
+      && b->watchpoint_triggered == watch_triggered_no)
+    return 0;
+  
+  if (b->type == bp_hardware_breakpoint)
+    {
+      if (bl->address != bp_addr)
+       return 0;
+      if (overlay_debugging            /* unmapped overlay section */
+         && section_is_overlay (bl->section) 
+         && !section_is_mapped (bl->section))
+       return 0;
+    }
+  
+  /* Is this a catchpoint of a load or unload?  If so, did we
+     get a load or unload of the specified library?  If not,
+     ignore it. */
+  if ((b->type == bp_catch_load)
+#if defined(SOLIB_HAVE_LOAD_EVENT)
+      && (!SOLIB_HAVE_LOAD_EVENT (PIDGET (inferior_ptid))
+         || ((b->dll_pathname != NULL)
+             && (strcmp (b->dll_pathname, 
+                         SOLIB_LOADED_LIBRARY_PATHNAME (
+                           PIDGET (inferior_ptid)))
+                 != 0)))
+#endif
+      )
+    return 0;
+  
+  if ((b->type == bp_catch_unload)
+#if defined(SOLIB_HAVE_UNLOAD_EVENT)
+      && (!SOLIB_HAVE_UNLOAD_EVENT (PIDGET (inferior_ptid))
+         || ((b->dll_pathname != NULL)
+             && (strcmp (b->dll_pathname, 
+                         SOLIB_UNLOADED_LIBRARY_PATHNAME (
+                           PIDGET (inferior_ptid)))
+                 != 0)))
+#endif
+      )
+    return 0;
+
+  if ((b->type == bp_catch_fork)
+      && !inferior_has_forked (inferior_ptid,
+                              &b->forked_inferior_pid))
+    return 0;
+  
+  if ((b->type == bp_catch_vfork)
+      && !inferior_has_vforked (inferior_ptid,
+                               &b->forked_inferior_pid))
+    return 0;
+  
+  if ((b->type == bp_catch_exec)
+      && !inferior_has_execd (inferior_ptid, &b->exec_pathname))
+    return 0;
+
+  return 1;
+}
+
+/* If BS refers to a watchpoint, determine if the watched values
+   has actually changed, and we should stop.  If not, set BS->stop
+   to 0.  */
+static void
+bpstat_check_watchpoint (bpstat bs)
+{
+  const struct bp_location *bl = bs->breakpoint_at;
+  struct breakpoint *b = bl->owner;
+
+  if (b->type == bp_watchpoint
+      || b->type == bp_read_watchpoint
+      || b->type == bp_access_watchpoint
+      || b->type == bp_hardware_watchpoint)
+    {
+      CORE_ADDR addr;
+      struct value *v;
+      int must_check_value = 0;
+      
+      if (b->type == bp_watchpoint)
+       /* For a software watchpoint, we must always check the
+          watched value.  */
+       must_check_value = 1;
+      else if (b->watchpoint_triggered == watch_triggered_yes)
+       /* We have a hardware watchpoint (read, write, or access)
+          and the target earlier reported an address watched by
+          this watchpoint.  */
+       must_check_value = 1;
+      else if (b->watchpoint_triggered == watch_triggered_unknown
+              && b->type == bp_hardware_watchpoint)
+       /* We were stopped by a hardware watchpoint, but the target could
+          not report the data address.  We must check the watchpoint's
+          value.  Access and read watchpoints are out of luck; without
+          a data address, we can't figure it out.  */
+       must_check_value = 1;
+      
+      if (must_check_value)
+       {
+         char *message = xstrprintf ("Error evaluating expression for watchpoint %d\n",
+                                     b->number);
+         struct cleanup *cleanups = make_cleanup (xfree, message);
+         int e = catch_errors (watchpoint_check, bs, message,
+                               RETURN_MASK_ALL);
+         do_cleanups (cleanups);
+         switch (e)
+           {
+           case WP_DELETED:
+             /* We've already printed what needs to be printed.  */
+             bs->print_it = print_it_done;
+             /* Stop.  */
+             break;
+           case WP_VALUE_CHANGED:
+             if (b->type == bp_read_watchpoint)
+               {
+                 /* Don't stop: read watchpoints shouldn't fire if
+                    the value has changed.  This is for targets
+                    which cannot set read-only watchpoints.  */
+                 bs->print_it = print_it_noop;
+                 bs->stop = 0;
+               }
+             break;
+           case WP_VALUE_NOT_CHANGED:
+             if (b->type == bp_hardware_watchpoint
+                 || b->type == bp_watchpoint)
+               {
+                 /* Don't stop: write watchpoints shouldn't fire if
+                    the value hasn't changed.  */
+                 bs->print_it = print_it_noop;
+                 bs->stop = 0;
+               }
+             /* Stop.  */
+             break;
+           default:
+             /* Can't happen.  */
+           case 0:
+             /* Error from catch_errors.  */
+             printf_filtered (_("Watchpoint %d deleted.\n"), b->number);
+             if (b->related_breakpoint)
+               b->related_breakpoint->disposition = disp_del_at_next_stop;
+             b->disposition = disp_del_at_next_stop;
+             /* We've already printed what needs to be printed.  */
+             bs->print_it = print_it_done;
+             break;
+           }
+       }
+      else     /* must_check_value == 0 */
+       {
+         /* This is a case where some watchpoint(s) triggered, but
+            not at the address of this watchpoint, or else no
+            watchpoint triggered after all.  So don't print
+            anything for this watchpoint.  */
+         bs->print_it = print_it_noop;
+         bs->stop = 0;
+       }
+    }
+}
+
+
+/* Check conditions (condition proper, frame, thread and ignore count)
+   of breakpoint referred to by BS.  If we should not stop for this
+   breakpoint, set BS->stop to 0.  */
+static void
+bpstat_check_breakpoint_conditions (bpstat bs, ptid_t ptid)
+{
+  int thread_id = pid_to_thread_id (ptid);
+  const struct bp_location *bl = bs->breakpoint_at;
+  struct breakpoint *b = bl->owner;
+
+  if (frame_id_p (b->frame_id)
+      && !frame_id_eq (b->frame_id, get_frame_id (get_current_frame ())))
+    bs->stop = 0;
+  else if (bs->stop)
+    {
+      int value_is_zero = 0;
+      
+      /* If this is a scope breakpoint, mark the associated
+        watchpoint as triggered so that we will handle the
+        out-of-scope event.  We'll get to the watchpoint next
+        iteration.  */
+      if (b->type == bp_watchpoint_scope)
+       b->related_breakpoint->watchpoint_triggered = watch_triggered_yes;
+      
+      if (bl->cond && bl->owner->disposition != disp_del_at_next_stop)
+       {
+         /* Need to select the frame, with all that implies
+            so that the conditions will have the right context.  */
+         select_frame (get_current_frame ());
+         value_is_zero
+           = catch_errors (breakpoint_cond_eval, (bl->cond),
+                           "Error in testing breakpoint condition:\n",
+                           RETURN_MASK_ALL);
+         /* FIXME-someday, should give breakpoint # */
+         free_all_values ();
+       }
+      if (bl->cond && value_is_zero)
+       {
+         bs->stop = 0;
+       }
+      else if (b->thread != -1 && b->thread != thread_id)
+       {
+         bs->stop = 0;
+       }
+      else if (b->ignore_count > 0)
+       {
+         b->ignore_count--;
+         annotate_ignore_count_change ();
+         bs->stop = 0;
+         /* Increase the hit count even though we don't
+            stop.  */
+         ++(b->hit_count);
+       }       
+    }
+}
+
+
 /* Get a bpstat associated with having just stopped at address
    BP_ADDR in thread PTID.
 
@@ -2746,13 +3005,12 @@ bpstat_stop_status (CORE_ADDR bp_addr, ptid_t ptid)
 {
   struct breakpoint *b = NULL;
   const struct bp_location *bl;
-  /* True if we've hit a breakpoint (as opposed to a watchpoint).  */
-  int real_breakpoint = 0;
+  struct bp_location *loc;
   /* Root of the chain of bpstat's */
   struct bpstats root_bs[1];
   /* Pointer to the last thing in the chain currently.  */
   bpstat bs = root_bs;
-  int thread_id = pid_to_thread_id (ptid);
+  int ix;
 
   ALL_BP_LOCATIONS (bl)
   {
@@ -2761,270 +3019,78 @@ bpstat_stop_status (CORE_ADDR bp_addr, ptid_t ptid)
     if (!breakpoint_enabled (b) && b->enable_state != bp_permanent)
       continue;
 
-    if (b->type != bp_watchpoint
-       && b->type != bp_hardware_watchpoint
-       && b->type != bp_read_watchpoint
-       && b->type != bp_access_watchpoint
-       && b->type != bp_hardware_breakpoint
-       && b->type != bp_catch_fork
-       && b->type != bp_catch_vfork
-       && b->type != bp_catch_exec
-       && b->type != bp_catch_catch
-       && b->type != bp_catch_throw)   /* a non-watchpoint bp */
-      {
-       if (bl->address != bp_addr)     /* address doesn't match */
-         continue;
-       if (overlay_debugging           /* unmapped overlay section */
-           && section_is_overlay (bl->section) 
-           && !section_is_mapped (bl->section))
-         continue;
-      }
-
-    /* Continuable hardware watchpoints are treated as non-existent if the
-       reason we stopped wasn't a hardware watchpoint (we didn't stop on
-       some data address).  Otherwise gdb won't stop on a break instruction
-       in the code (not from a breakpoint) when a hardware watchpoint has
-       been defined.  Also skip watchpoints which we know did not trigger
-       (did not match the data address).  */
-
-    if ((b->type == bp_hardware_watchpoint
-        || b->type == bp_read_watchpoint
-        || b->type == bp_access_watchpoint)
-       && b->watchpoint_triggered == watch_triggered_no)
-      continue;
-
-    if (b->type == bp_hardware_breakpoint)
-      {
-       if (bl->address != bp_addr)
-         continue;
-       if (overlay_debugging           /* unmapped overlay section */
-           && section_is_overlay (bl->section) 
-           && !section_is_mapped (bl->section))
-         continue;
-      }
-
-    /* Is this a catchpoint of a load or unload?  If so, did we
-       get a load or unload of the specified library?  If not,
-       ignore it. */
-    if ((b->type == bp_catch_load)
-#if defined(SOLIB_HAVE_LOAD_EVENT)
-       && (!SOLIB_HAVE_LOAD_EVENT (PIDGET (inferior_ptid))
-           || ((b->dll_pathname != NULL)
-               && (strcmp (b->dll_pathname, 
-                           SOLIB_LOADED_LIBRARY_PATHNAME (
-                             PIDGET (inferior_ptid)))
-                   != 0)))
-#endif
-      )
-      continue;
-
-    if ((b->type == bp_catch_unload)
-#if defined(SOLIB_HAVE_UNLOAD_EVENT)
-       && (!SOLIB_HAVE_UNLOAD_EVENT (PIDGET (inferior_ptid))
-           || ((b->dll_pathname != NULL)
-               && (strcmp (b->dll_pathname, 
-                           SOLIB_UNLOADED_LIBRARY_PATHNAME (
-                             PIDGET (inferior_ptid)))
-                   != 0)))
-#endif
-      )
-      continue;
-
-    if ((b->type == bp_catch_fork)
-       && !inferior_has_forked (PIDGET (inferior_ptid),
-                                &b->forked_inferior_pid))
-      continue;
-
-    if ((b->type == bp_catch_vfork)
-       && !inferior_has_vforked (PIDGET (inferior_ptid),
-                                 &b->forked_inferior_pid))
+    /* For hardware watchpoints, we look only at the first location.
+       The watchpoint_check function will work on entire expression,
+       not the individual locations.  For read watchopints, the
+       watchpoints_triggered function have checked all locations
+       alrea
+     */
+    if (b->type == bp_hardware_watchpoint && bl != b->loc)
       continue;
 
-    if ((b->type == bp_catch_exec)
-       && !inferior_has_execd (PIDGET (inferior_ptid), &b->exec_pathname))
-      continue;
-
-    if (ep_is_exception_catchpoint (b) &&
-       !(current_exception_event = target_get_current_exception_event ()))
+    if (!bpstat_check_location (bl, bp_addr))
       continue;
 
     /* Come here if it's a watchpoint, or if the break address matches */
 
     bs = bpstat_alloc (bl, bs);        /* Alloc a bpstat to explain stop */
 
-    /* Watchpoints may change this, if not found to have triggered. */
+    /* Assume we stop.  Should we find watchpoint that is not actually
+       triggered, or if condition of breakpoint is false, we'll reset
+       'stop' to 0.  */
     bs->stop = 1;
     bs->print = 1;
 
-    if (b->type == bp_watchpoint
-       || b->type == bp_read_watchpoint
-       || b->type == bp_access_watchpoint
-       || b->type == bp_hardware_watchpoint)
-      {
-       CORE_ADDR addr;
-       struct value *v;
-       int must_check_value = 0;
-
-       if (b->type == bp_watchpoint)
-         /* For a software watchpoint, we must always check the
-            watched value.  */
-         must_check_value = 1;
-       else if (b->watchpoint_triggered == watch_triggered_yes)
-         /* We have a hardware watchpoint (read, write, or access)
-            and the target earlier reported an address watched by
-            this watchpoint.  */
-         must_check_value = 1;
-       else if (b->watchpoint_triggered == watch_triggered_unknown
-                && b->type == bp_hardware_watchpoint)
-         /* We were stopped by a hardware watchpoint, but the target could
-            not report the data address.  We must check the watchpoint's
-            value.  Access and read watchpoints are out of luck; without
-            a data address, we can't figure it out.  */
-         must_check_value = 1;
-
-       if (must_check_value)
-         {
-           char *message = xstrprintf ("Error evaluating expression for watchpoint %d\n",
-                                       b->number);
-           struct cleanup *cleanups = make_cleanup (xfree, message);
-           int e = catch_errors (watchpoint_check, bs, message,
-                                 RETURN_MASK_ALL);
-           do_cleanups (cleanups);
-           switch (e)
-             {
-             case WP_DELETED:
-               /* We've already printed what needs to be printed.  */
-               bs->print_it = print_it_done;
-               /* Stop.  */
-               break;
-             case WP_VALUE_CHANGED:
-               if (b->type == bp_read_watchpoint)
-                 {
-                   /* Don't stop: read watchpoints shouldn't fire if
-                      the value has changed.  This is for targets
-                      which cannot set read-only watchpoints.  */
-                   bs->print_it = print_it_noop;
-                   bs->stop = 0;
-                   continue;
-                 }
-               ++(b->hit_count);
-               break;
-             case WP_VALUE_NOT_CHANGED:
-               if (b->type == bp_hardware_watchpoint
-                   || b->type == bp_watchpoint)
-                 {
-                   /* Don't stop: write watchpoints shouldn't fire if
-                      the value hasn't changed.  */
-                   bs->print_it = print_it_noop;
-                   bs->stop = 0;
-                   continue;
-                 }
-               /* Stop.  */
-               ++(b->hit_count);
-               break;
-             default:
-               /* Can't happen.  */
-             case 0:
-               /* Error from catch_errors.  */
-               printf_filtered (_("Watchpoint %d deleted.\n"), b->number);
-               if (b->related_breakpoint)
-                 b->related_breakpoint->disposition = disp_del_at_next_stop;
-               b->disposition = disp_del_at_next_stop;
-               /* We've already printed what needs to be printed.  */
-               bs->print_it = print_it_done;
-               break;
-             }
-         }
-       else    /* must_check_value == 0 */
-         {
-           /* This is a case where some watchpoint(s) triggered, but
-              not at the address of this watchpoint, or else no
-              watchpoint triggered after all.  So don't print
-              anything for this watchpoint.  */
-           bs->print_it = print_it_noop;
-           bs->stop = 0;
-            continue;
-         }
-      }
-    else
-      {
-       /* By definition, an encountered breakpoint is a triggered
-          breakpoint. */
-       ++(b->hit_count);
-
-       real_breakpoint = 1;
-      }
+    bpstat_check_watchpoint (bs);
+    if (!bs->stop)
+      continue;
 
-    if (frame_id_p (b->frame_id)
-       && !frame_id_eq (b->frame_id, get_frame_id (get_current_frame ())))
+    if (b->type == bp_thread_event || b->type == bp_overlay_event)
+      /* We do not stop for these.  */
       bs->stop = 0;
     else
+      bpstat_check_breakpoint_conditions (bs, ptid);
+  
+    if (bs->stop)
       {
-       int value_is_zero = 0;
-
-       /* If this is a scope breakpoint, mark the associated
-          watchpoint as triggered so that we will handle the
-          out-of-scope event.  We'll get to the watchpoint next
-          iteration.  */
-       if (b->type == bp_watchpoint_scope)
-         b->related_breakpoint->watchpoint_triggered = watch_triggered_yes;
+       ++(b->hit_count);
 
-       if (bl->cond)
-         {
-           /* Need to select the frame, with all that implies
-              so that the conditions will have the right context.  */
-           select_frame (get_current_frame ());
-           value_is_zero
-             = catch_errors (breakpoint_cond_eval, (bl->cond),
-                             "Error in testing breakpoint condition:\n",
-                             RETURN_MASK_ALL);
-           /* FIXME-someday, should give breakpoint # */
-           free_all_values ();
-         }
-       if (bl->cond && value_is_zero)
-         {
-           bs->stop = 0;
-           /* Don't consider this a hit.  */
-           --(b->hit_count);
-         }
-       else if (b->thread != -1 && b->thread != thread_id)
-         {
-           bs->stop = 0;
-           /* Don't consider this a hit.  */
-           --(b->hit_count);
-         }
-       else if (b->ignore_count > 0)
+       /* We will stop here */
+       if (b->disposition == disp_disable)
          {
-           b->ignore_count--;
-           annotate_ignore_count_change ();
-           bs->stop = 0;
-         }
-       else if (b->type == bp_thread_event || b->type == bp_overlay_event)
-         /* We do not stop for these.  */
-         bs->stop = 0;
-       else
+           b->enable_state = bp_disabled;
+           update_global_location_list (0);
+         }
+       if (b->silent)
+         bs->print = 0;
+       bs->commands = b->commands;
+       if (bs->commands &&
+           (strcmp ("silent", bs->commands->line) == 0
+            || (xdb_commands && strcmp ("Q", bs->commands->line) == 0)))
          {
-           /* We will stop here */
-           if (b->disposition == disp_disable)
-             b->enable_state = bp_disabled;
-           if (b->silent)
-             bs->print = 0;
-           bs->commands = b->commands;
-           if (bs->commands &&
-               (strcmp ("silent", bs->commands->line) == 0
-                || (xdb_commands && strcmp ("Q", bs->commands->line) == 0)))
-             {
-               bs->commands = bs->commands->next;
-               bs->print = 0;
-             }
-           bs->commands = copy_command_lines (bs->commands);
+           bs->commands = bs->commands->next;
+           bs->print = 0;
          }
+       bs->commands = copy_command_lines (bs->commands);
       }
+
     /* Print nothing for this entry if we dont stop or if we dont print.  */
     if (bs->stop == 0 || bs->print == 0)
       bs->print_it = print_it_noop;
   }
 
+  for (ix = 0; VEC_iterate (bp_location_p, moribund_locations, ix, loc); ++ix)
+    {
+      if (loc->address == bp_addr)
+       {
+         bs = bpstat_alloc (loc, bs);
+         /* For hits of moribund locations, we should just proceed.  */
+         bs->stop = 0;
+         bs->print = 0;
+         bs->print_it = print_it_noop;
+       }
+    }
+
   bs->next = NULL;             /* Terminate the chain */
   bs = root_bs->next;          /* Re-grab the head of the chain */
 
@@ -3039,10 +3105,15 @@ bpstat_stop_status (CORE_ADDR bp_addr, ptid_t ptid)
   if (bs == NULL)
     for (bs = root_bs->next; bs != NULL; bs = bs->next)
       if (!bs->stop
+         && bs->breakpoint_at->owner
          && (bs->breakpoint_at->owner->type == bp_hardware_watchpoint
              || bs->breakpoint_at->owner->type == bp_read_watchpoint
              || bs->breakpoint_at->owner->type == bp_access_watchpoint))
        {
+         /* remove/insert can invalidate bs->breakpoint_at, if this
+            location is no longer used by the watchpoint.  Prevent
+            further code from trying to use it.  */
+         bs->breakpoint_at = NULL;
          remove_breakpoints ();
          insert_breakpoints ();
          break;
@@ -3104,7 +3175,6 @@ bpstat_what (bpstat bs)
 #define sgl BPSTAT_WHAT_SINGLE
 #define slr BPSTAT_WHAT_SET_LONGJMP_RESUME
 #define clr BPSTAT_WHAT_CLEAR_LONGJMP_RESUME
-#define clrs BPSTAT_WHAT_CLEAR_LONGJMP_RESUME_SINGLE
 #define sr BPSTAT_WHAT_STEP_RESUME
 #define shl BPSTAT_WHAT_CHECK_SHLIBS
 #define shlr BPSTAT_WHAT_CHECK_SHLIBS_RESUME_FROM_HOOK
@@ -3129,10 +3199,9 @@ bpstat_what (bpstat bs)
      ordering is:
 
      kc   < clr sgl shl shlr slr sn sr ss
-     sgl  < clrs shl shlr slr sn sr ss
+     sgl  < shl shlr slr sn sr ss
      slr  < err shl shlr sn sr ss
-     clr  < clrs err shl shlr sn sr ss
-     clrs < err shl shlr sn sr ss
+     clr  < err shl shlr sn sr ss
      ss   < shl shlr sn sr
      sn   < shl shlr sr
      shl  < shlr sr
@@ -3143,9 +3212,7 @@ bpstat_what (bpstat bs)
      here.  If you just put the rows and columns in the right order,
      it'd look awfully regular.  We could simply walk the bpstat list
      and choose the highest priority action we find, with a little
-     logic to handle the 'err' cases, and the CLEAR_LONGJMP_RESUME/
-     CLEAR_LONGJMP_RESUME_SINGLE distinction (which breakpoint.h says
-     is messy anyway).  */
+     logic to handle the 'err' cases.  */
 
   /* step_resume entries: a step resume breakpoint overrides another
      breakpoint of signal handling (see comment in wait_for_inferior
@@ -3155,30 +3222,30 @@ bpstat_what (bpstat bs)
     table[(int) class_last][(int) BPSTAT_WHAT_LAST] =
   {
   /*                              old action */
-  /*       kc    ss    sn    sgl    slr   clr    clrs   sr   shl   shlr
+  /*       kc    ss    sn    sgl    slr   clr   sr   shl   shlr
    */
 /*no_effect */
-    {kc, ss, sn, sgl, slr, clr, clrs, sr, shl, shlr},
+    {kc, ss, sn, sgl, slr, clr, sr, shl, shlr},
 /*wp_silent */
-    {ss, ss, sn, ss, ss, ss, ss, sr, shl, shlr},
+    {ss, ss, sn, ss, ss, ss, sr, shl, shlr},
 /*wp_noisy */
-    {sn, sn, sn, sn, sn, sn, sn, sr, shl, shlr},
+    {sn, sn, sn, sn, sn, sn, sr, shl, shlr},
 /*bp_nostop */
-    {sgl, ss, sn, sgl, slr, clrs, clrs, sr, shl, shlr},
+    {sgl, ss, sn, sgl, slr, slr, sr, shl, shlr},
 /*bp_silent */
-    {ss, ss, sn, ss, ss, ss, ss, sr, shl, shlr},
+    {ss, ss, sn, ss, ss, ss, sr, shl, shlr},
 /*bp_noisy */
-    {sn, sn, sn, sn, sn, sn, sn, sr, shl, shlr},
+    {sn, sn, sn, sn, sn, sn, sr, shl, shlr},
 /*long_jump */
-    {slr, ss, sn, slr, slr, err, err, sr, shl, shlr},
+    {slr, ss, sn, slr, slr, err, sr, shl, shlr},
 /*long_resume */
-    {clr, ss, sn, clrs, err, err, err, sr, shl, shlr},
+    {clr, ss, sn, err, err, err, sr, shl, shlr},
 /*step_resume */
-    {sr, sr, sr, sr, sr, sr, sr, sr, sr, sr},
+    {sr, sr, sr, sr, sr, sr, sr, sr, sr},
 /*shlib */
-    {shl, shl, shl, shl, shl, shl, shl, sr, shl, shlr},
+    {shl, shl, shl, shl, shl, shl, sr, shl, shlr},
 /*catch_shlib */
-    {shlr, shlr, shlr, shlr, shlr, shlr, shlr, sr, shlr, shlr}
+    {shlr, shlr, shlr, shlr, shlr, shlr, sr, shlr, shlr}
   };
 
 #undef kc
@@ -3187,7 +3254,6 @@ bpstat_what (bpstat bs)
 #undef sgl
 #undef slr
 #undef clr
-#undef clrs
 #undef err
 #undef sr
 #undef ts
@@ -3204,6 +3270,9 @@ bpstat_what (bpstat bs)
        /* I suspect this can happen if it was a momentary breakpoint
           which has since been deleted.  */
        continue;
+      if (bs->breakpoint_at->owner == NULL)
+       bs_class = bp_nostop;
+      else
       switch (bs->breakpoint_at->owner->type)
        {
        case bp_none:
@@ -3289,18 +3358,6 @@ bpstat_what (bpstat bs)
               This requires no further action.  */
            bs_class = no_effect;
          break;
-       case bp_catch_catch:
-         if (!bs->stop || CURRENT_EXCEPTION_KIND != EX_EVENT_CATCH)
-           bs_class = bp_nostop;
-         else if (bs->stop)
-           bs_class = bs->print ? bp_noisy : bp_silent;
-         break;
-       case bp_catch_throw:
-         if (!bs->stop || CURRENT_EXCEPTION_KIND != EX_EVENT_THROW)
-           bs_class = bp_nostop;
-         else if (bs->stop)
-           bs_class = bs->print ? bp_noisy : bp_silent;
-         break;
        case bp_call_dummy:
          /* Make sure the action is stop (silent or noisy),
             so infrun.c pops the dummy frame.  */
@@ -3328,18 +3385,6 @@ bpstat_should_step (void)
   return 0;
 }
 
-/* Nonzero if there are enabled hardware watchpoints. */
-int
-bpstat_have_active_hw_watchpoints (void)
-{
-  const struct bp_location *bpt;
-  ALL_BP_LOCATIONS (bpt)
-    if (breakpoint_enabled (bpt->owner)
-       && bpt->inserted
-       && bpt->loc_type == bp_loc_hardware_watchpoint)
-      return 1;
-  return 0;
-}
 \f
 
 /* Given a bpstat that records zero or more triggered eventpoints, this
@@ -3363,9 +3408,7 @@ bpstat_get_triggered_catchpoints (bpstat ep_list, bpstat *cp_list)
       if (ep == NULL)
        break;
       if ((ep->type != bp_catch_load) &&
-         (ep->type != bp_catch_unload) &&
-         (ep->type != bp_catch_catch) &&
-         (ep->type != bp_catch_throw))         
+         (ep->type != bp_catch_unload))
        /* pai: (temp) ADD fork/vfork here!!  */
        continue;
 
@@ -3484,13 +3527,9 @@ print_one_breakpoint_location (struct breakpoint *b,
     {bp_catch_unload, "catch unload"},
     {bp_catch_fork, "catch fork"},
     {bp_catch_vfork, "catch vfork"},
-    {bp_catch_exec, "catch exec"},
-    {bp_catch_catch, "catch catch"},
-    {bp_catch_throw, "catch throw"}
+    {bp_catch_exec, "catch exec"}
   };
   
-  static char *bpdisps[] =
-  {"del", "dstp", "dis", "keep"};
   static char bpenables[] = "nynny";
   char wrap_indent[80];
   struct ui_stream *stb = ui_out_stream_new (uiout);
@@ -3547,29 +3586,17 @@ print_one_breakpoint_location (struct breakpoint *b,
   if (part_of_multiple)
     ui_out_field_skip (uiout, "disp");
   else
-    ui_out_field_string (uiout, "disp", bpdisps[(int) b->disposition]);
+    ui_out_field_string (uiout, "disp", bpdisp_text (b->disposition));
 
 
   /* 4 */
   annotate_field (3);
   if (part_of_multiple)
-    ui_out_field_string (uiout, "enabled", 
-                        loc->shlib_disabled 
-                        ? (loc->enabled ? "y(p)" : "n(p)")
-                        : (loc->enabled ? "y" : "n"));
+    ui_out_field_string (uiout, "enabled", loc->enabled ? "y" : "n");
   else
-    {
-      int pending = (b->loc == NULL || b->loc->shlib_disabled);
-      /* For header of multiple, there's no point showing pending
-        state -- it will be apparent from the locations.  */
-      if (header_of_multiple)
-       pending = 0;
-      ui_out_field_fmt (uiout, "enabled", "%c%s", 
-                       bpenables[(int) b->enable_state],
-                       pending ? "(p)" : "");
-      if (!pending)
-       ui_out_spaces (uiout, 3);
-    }
+      ui_out_field_fmt (uiout, "enabled", "%c", 
+                       bpenables[(int) b->enable_state]);
+  ui_out_spaces (uiout, 2);
 
   
   /* 5 and 6 */
@@ -3642,10 +3669,11 @@ print_one_breakpoint_location (struct breakpoint *b,
        if (addressprint)
          ui_out_field_skip (uiout, "addr");
        annotate_field (5);
-       if (b->forked_inferior_pid != 0)
+       if (!ptid_equal (b->forked_inferior_pid, null_ptid))
          {
            ui_out_text (uiout, "process ");
-           ui_out_field_int (uiout, "what", b->forked_inferior_pid);
+           ui_out_field_int (uiout, "what",
+                             ptid_get_pid (b->forked_inferior_pid));
            ui_out_spaces (uiout, 1);
          }
        break;
@@ -3665,28 +3693,6 @@ print_one_breakpoint_location (struct breakpoint *b,
          }
        break;
 
-      case bp_catch_catch:
-       /* 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 (addressprint)
-         ui_out_field_skip (uiout, "addr");
-       annotate_field (5);
-       ui_out_field_string (uiout, "what", "exception catch");
-       ui_out_spaces (uiout, 1);
-       break;
-
-      case bp_catch_throw:
-       /* 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 (addressprint)
-         ui_out_field_skip (uiout, "addr");
-       annotate_field (5);
-       ui_out_field_string (uiout, "what", "exception throw");
-       ui_out_spaces (uiout, 1);
-       break;
-
       case bp_breakpoint:
       case bp_hardware_breakpoint:
       case bp_until:
@@ -3702,10 +3708,10 @@ print_one_breakpoint_location (struct breakpoint *b,
        if (addressprint)
          {
            annotate_field (4);
-           if (b->loc == NULL)
-             ui_out_field_string (uiout, "addr", "<PENDING>");
-           else if (header_of_multiple)
+           if (header_of_multiple)
              ui_out_field_string (uiout, "addr", "<MULTIPLE>");
+           else if (b->loc == NULL || loc->shlib_disabled)
+             ui_out_field_string (uiout, "addr", "<PENDING>");
            else
              ui_out_field_core_addr (uiout, "addr", loc->address);
          }
@@ -3794,6 +3800,15 @@ print_one_breakpoint_location (struct breakpoint *b,
       print_command_lines (uiout, l, 4);
       do_cleanups (script_chain);
     }
+
+  if (ui_out_is_mi_like_p (uiout) && !part_of_multiple)
+    {
+      if (b->addr_string)
+       ui_out_field_string (uiout, "original-location", b->addr_string);
+      else if (b->exp_string)
+       ui_out_field_string (uiout, "original-location", b->exp_string);
+    }
+       
   do_cleanups (bkpt_chain);
   do_cleanups (old_chain);
 }
@@ -3813,10 +3828,14 @@ print_one_breakpoint (struct breakpoint *b,
         disabled, we print it as if it had
         several locations, since otherwise it's hard to
         represent "breakpoint enabled, location disabled"
-        situation.  */  
+        situation.  
+        Note that while hardware watchpoints have
+        several locations internally, that's no a property
+        exposed to user.  */
       if (b->loc 
+         && !is_hardware_watchpoint (b)
          && (b->loc->next || !b->loc->enabled)
-         && !ui_out_is_mi_like_p (uiout))
+         && !ui_out_is_mi_like_p (uiout)) 
        {
          struct bp_location *loc;
          int n = 1;
@@ -3875,8 +3894,6 @@ user_settable_breakpoint (const struct breakpoint *b)
          || b->type == bp_catch_fork
          || b->type == bp_catch_vfork
          || b->type == bp_catch_exec
-         || b->type == bp_catch_catch
-         || b->type == bp_catch_throw
          || b->type == bp_hardware_breakpoint
          || b->type == bp_watchpoint
          || b->type == bp_read_watchpoint
@@ -3928,7 +3945,7 @@ breakpoint_1 (int bnum, int allflag)
   ui_out_table_header (uiout, 4, ui_left, "disp", "Disp");             /* 3 */
   if (nr_printable_breakpoints > 0)
     annotate_field (3);
-  ui_out_table_header (uiout, 4, ui_left, "enabled", "Enb");   /* 4 */
+  ui_out_table_header (uiout, 3, ui_left, "enabled", "Enb");   /* 4 */
   if (addressprint)
        {
          if (nr_printable_breakpoints > 0)
@@ -4049,7 +4066,7 @@ describe_other_breakpoints (CORE_ADDR pc, asection *section, int thread)
                             : ((others == 1) ? " and" : ""));
          }
       printf_filtered (_("also set at pc "));
-      deprecated_print_address_numeric (pc, 1, gdb_stdout);
+      fputs_filtered (paddress (pc), gdb_stdout);
       printf_filtered (".\n");
     }
 }
@@ -4082,7 +4099,6 @@ set_default_breakpoint (int valid, CORE_ADDR addr, struct symtab *symtab,
       bp_read_watchpoint
       bp_access_watchpoint
       bp_catch_exec
-      bp_longjmp_resume
       bp_catch_fork
       bp_catch_vork */
 
@@ -4096,7 +4112,6 @@ breakpoint_address_is_meaningful (struct breakpoint *bpt)
          && type != bp_read_watchpoint
          && type != bp_access_watchpoint
          && type != bp_catch_exec
-         && type != bp_longjmp_resume
          && type != bp_catch_fork
          && type != bp_catch_vfork);
 }
@@ -4284,26 +4299,12 @@ allocate_bp_location (struct breakpoint *bpt, enum bptype bp_type)
     case bp_catch_fork:
     case bp_catch_vfork:
     case bp_catch_exec:
-    case bp_catch_catch:
-    case bp_catch_throw:
       loc->loc_type = bp_loc_other;
       break;
     default:
       internal_error (__FILE__, __LINE__, _("unknown breakpoint type"));
     }
 
-  /* Add this breakpoint to the end of the chain.  */
-
-  loc_p = bp_location_chain;
-  if (loc_p == 0)
-    bp_location_chain = loc;
-  else
-    {
-      while (loc_p->global_next)
-       loc_p = loc_p->global_next;
-      loc_p->global_next = loc;
-    }
-
   return loc;
 }
 
@@ -4311,6 +4312,10 @@ static void free_bp_location (struct bp_location *loc)
 {
   if (loc->cond)
     xfree (loc->cond);
+
+  if (loc->function_name)
+    xfree (loc->function_name);
+  
   xfree (loc);
 }
 
@@ -4337,7 +4342,7 @@ set_raw_breakpoint_without_location (enum bptype bptype)
   b->frame_id = null_frame_id;
   b->dll_pathname = NULL;
   b->triggered_dll_pathname = NULL;
-  b->forked_inferior_pid = 0;
+  b->forked_inferior_pid = null_ptid;
   b->exec_pathname = NULL;
   b->ops = NULL;
   b->condition_not_parsed = 0;
@@ -4396,7 +4401,7 @@ set_raw_breakpoint (struct symtab_and_line sal, enum bptype bptype)
   /* Adjust the breakpoint's address prior to allocating a location.
      Once we call allocate_bp_location(), that mostly uninitialized
      location will be placed on the location chain.  Adjustment of the
-     breakpoint may cause read_memory_nobpt() to be called and we do
+     breakpoint may cause target_read_memory() to be called and we do
      not want its scan of the location chain to find a breakpoint and
      location that's only been partially initialized.  */
   adjusted_address = adjust_breakpoint_address (sal.pc, bptype);
@@ -4415,7 +4420,6 @@ set_raw_breakpoint (struct symtab_and_line sal, enum bptype bptype)
 
   set_breakpoint_location_function (b->loc);
 
-  check_duplicates (b);
   breakpoints_changed ();
 
   return b;
@@ -4462,23 +4466,12 @@ create_internal_breakpoint (CORE_ADDR address, enum bptype type)
 static void
 create_longjmp_breakpoint (char *func_name)
 {
-  struct breakpoint *b;
   struct minimal_symbol *m;
 
-  if (func_name == NULL)
-    b = create_internal_breakpoint (0, bp_longjmp_resume);
-  else
-    {
-      if ((m = lookup_minimal_symbol_text (func_name, NULL)) == NULL)
-       return;
-      b = create_internal_breakpoint (SYMBOL_VALUE_ADDRESS (m), bp_longjmp);
-    }
-
-  b->enable_state = bp_disabled;
-  b->silent = 1;
-  if (func_name)
-    b->addr_string = xstrdup (func_name);
+  if ((m = lookup_minimal_symbol_text (func_name, NULL)) == NULL)
+    return;
+  set_momentary_breakpoint_at_pc (SYMBOL_VALUE_ADDRESS (m), bp_longjmp);
+  update_global_location_list (1);
 }
 
 /* Call this routine when stepping and nexting to enable a breakpoint
@@ -4486,30 +4479,29 @@ create_longjmp_breakpoint (char *func_name)
    set_longjmp_resume_breakpoint() to figure out where we are going. */
 
 void
-enable_longjmp_breakpoint (void)
+set_longjmp_breakpoint (void)
 {
-  struct breakpoint *b;
-
-  ALL_BREAKPOINTS (b)
-    if (b->type == bp_longjmp)
+  if (gdbarch_get_longjmp_target_p (current_gdbarch))
     {
-      b->enable_state = bp_enabled;
-      check_duplicates (b);
+      create_longjmp_breakpoint ("longjmp");
+      create_longjmp_breakpoint ("_longjmp");
+      create_longjmp_breakpoint ("siglongjmp");
+      create_longjmp_breakpoint ("_siglongjmp");
     }
 }
 
+/* Delete all longjmp breakpoints from THREAD.  */
 void
-disable_longjmp_breakpoint (void)
+delete_longjmp_breakpoint (int thread)
 {
-  struct breakpoint *b;
+  struct breakpoint *b, *temp;
 
-  ALL_BREAKPOINTS (b)
-    if (b->type == bp_longjmp
-       || b->type == bp_longjmp_resume)
-    {
-      b->enable_state = bp_disabled;
-      check_duplicates (b);
-    }
+  ALL_BREAKPOINTS_SAFE (b, temp)
+    if (b->type == bp_longjmp)
+      {
+       if (b->thread == thread)
+         delete_breakpoint (b);
+      }
 }
 
 static void
@@ -4535,6 +4527,7 @@ create_overlay_event_breakpoint (char *func_name)
       b->enable_state = bp_disabled;
       overlay_events_enabled = 0;
     }
+  update_global_location_list (1);
 }
 
 void
@@ -4546,7 +4539,7 @@ enable_overlay_breakpoints (void)
     if (b->type == bp_overlay_event)
     {
       b->enable_state = bp_enabled;
-      check_duplicates (b);
+      update_global_location_list (1);
       overlay_events_enabled = 1;
     }
 }
@@ -4560,7 +4553,7 @@ disable_overlay_breakpoints (void)
     if (b->type == bp_overlay_event)
     {
       b->enable_state = bp_disabled;
-      check_duplicates (b);
+      update_global_location_list (0);
       overlay_events_enabled = 0;
     }
 }
@@ -4576,6 +4569,8 @@ create_thread_event_breakpoint (CORE_ADDR address)
   /* addr_string has to be used or breakpoint_re_set will delete me.  */
   b->addr_string = xstrprintf ("*0x%s", paddr (b->loc->address));
 
+  update_global_location_list_nothrow (1);
+
   return b;
 }
 
@@ -4620,6 +4615,7 @@ create_solib_event_breakpoint (CORE_ADDR address)
   struct breakpoint *b;
 
   b = create_internal_breakpoint (address, bp_shlib_event);
+  update_global_location_list_nothrow (1);
   return b;
 }
 
@@ -4716,7 +4712,9 @@ create_fork_vfork_event_catchpoint (int tempflag, char *cond_string,
   b->addr_string = NULL;
   b->enable_state = bp_enabled;
   b->disposition = tempflag ? disp_del : disp_donttouch;
-  b->forked_inferior_pid = 0;
+  b->forked_inferior_pid = null_ptid;
+  update_global_location_list (1);
+
 
   mention (b);
 }
@@ -4754,6 +4752,7 @@ create_exec_event_catchpoint (int tempflag, char *cond_string)
   b->addr_string = NULL;
   b->enable_state = bp_enabled;
   b->disposition = tempflag ? disp_del : disp_donttouch;
+  update_global_location_list (1);
 
   mention (b);
 }
@@ -4766,7 +4765,7 @@ hw_breakpoint_used_count (void)
 
   ALL_BREAKPOINTS (b)
   {
-    if (b->type == bp_hardware_breakpoint && b->enable_state == bp_enabled)
+    if (b->type == bp_hardware_breakpoint && breakpoint_enabled (b))
       i++;
   }
 
@@ -4795,30 +4794,6 @@ hw_watchpoint_used_count (enum bptype type, int *other_type_used)
   return i;
 }
 
-/* Call this after hitting the longjmp() breakpoint.  Use this to set
-   a new breakpoint at the target of the jmp_buf.
-
-   FIXME - This ought to be done by setting a temporary breakpoint
-   that gets deleted automatically... */
-
-void
-set_longjmp_resume_breakpoint (CORE_ADDR pc, struct frame_id frame_id)
-{
-  struct breakpoint *b;
-
-  ALL_BREAKPOINTS (b)
-    if (b->type == bp_longjmp_resume)
-    {
-      b->loc->requested_address = pc;
-      b->loc->address = adjust_breakpoint_address (b->loc->requested_address,
-                                                   b->type);
-      b->enable_state = bp_enabled;
-      b->frame_id = frame_id;
-      check_duplicates (b);
-      return;
-    }
-}
-
 void
 disable_watchpoints_before_interactive_call_start (void)
 {
@@ -4829,12 +4804,11 @@ disable_watchpoints_before_interactive_call_start (void)
     if (((b->type == bp_watchpoint)
         || (b->type == bp_hardware_watchpoint)
         || (b->type == bp_read_watchpoint)
-        || (b->type == bp_access_watchpoint)
-        || ep_is_exception_catchpoint (b))
+        || (b->type == bp_access_watchpoint))
        && breakpoint_enabled (b))
       {
        b->enable_state = bp_call_disabled;
-       check_duplicates (b);
+       update_global_location_list (0);
       }
   }
 }
@@ -4849,12 +4823,11 @@ enable_watchpoints_after_interactive_call_stop (void)
     if (((b->type == bp_watchpoint)
         || (b->type == bp_hardware_watchpoint)
         || (b->type == bp_read_watchpoint)
-        || (b->type == bp_access_watchpoint)
-        || ep_is_exception_catchpoint (b))
+        || (b->type == bp_access_watchpoint))
        && (b->enable_state == bp_call_disabled))
       {
        b->enable_state = bp_enabled;
-       check_duplicates (b);
+       update_global_location_list (1);
       }
   }
 }
@@ -4880,8 +4853,23 @@ set_momentary_breakpoint (struct symtab_and_line sal, struct frame_id frame_id,
   if (in_thread_list (inferior_ptid))
     b->thread = pid_to_thread_id (inferior_ptid);
 
+  update_global_location_list_nothrow (1);
+
   return b;
 }
+
+struct breakpoint *
+set_momentary_breakpoint_at_pc (CORE_ADDR pc, enum bptype type)
+{
+  struct symtab_and_line sal;
+
+  sal = find_pc_line (pc, 0);
+  sal.pc = pc;
+  sal.section = find_pc_overlay (pc);
+  sal.explicit_pc = 1;
+
+  return set_momentary_breakpoint (sal, null_frame_id, type);
+}
 \f
 
 /* Tell the user we have just set a breakpoint B.  */
@@ -4899,11 +4887,8 @@ mention (struct breakpoint *b)
   /* FIXME: This is misplaced; mention() is called by things (like
      hitting a watchpoint) other than breakpoint creation.  It should
      be possible to clean this up and at the same time replace the
-     random calls to breakpoint_changed with this hook, as has already
-     been done for deprecated_delete_breakpoint_hook and so on.  */
-  if (deprecated_create_breakpoint_hook)
-    deprecated_create_breakpoint_hook (b);
-  breakpoint_create_event (b->number);
+     random calls to breakpoint_changed with this hook.  */
+  observer_notify_breakpoint_created (b->number);
 
   if (b->ops != NULL && b->ops->print_mention != NULL)
     b->ops->print_mention (b);
@@ -4955,7 +4940,11 @@ mention (struct breakpoint *b)
            say_where = 0;
            break;
          }
-       printf_filtered (_("Breakpoint %d"), b->number);
+       if (b->disposition == disp_del)
+         printf_filtered (_("Temporary breakpoint"));
+       else
+         printf_filtered (_("Breakpoint"));
+       printf_filtered (_(" %d"), b->number);
        say_where = 1;
        break;
       case bp_hardware_breakpoint:
@@ -4985,12 +4974,6 @@ mention (struct breakpoint *b)
        printf_filtered (_("Catchpoint %d (exec)"),
                         b->number);
        break;
-      case bp_catch_catch:
-      case bp_catch_throw:
-       printf_filtered (_("Catchpoint %d (%s)"),
-                        b->number,
-                        (b->type == bp_catch_catch) ? "catch" : "throw");
-       break;
 
       case bp_until:
       case bp_finish:
@@ -5018,7 +5001,7 @@ mention (struct breakpoint *b)
          if (addressprint || b->source_file == NULL)
            {
              printf_filtered (" at ");
-             deprecated_print_address_numeric (b->loc->address, 1, gdb_stdout);
+             fputs_filtered (paddress (b->loc->address), gdb_stdout);
            }
          if (b->source_file)
            printf_filtered (": file %s, line %d.",
@@ -5069,7 +5052,8 @@ static void
 create_breakpoint (struct symtabs_and_lines sals, char *addr_string,
                   char *cond_string,
                   enum bptype type, enum bpdisp disposition,
-                  int thread, int ignore_count, int from_tty)
+                  int thread, int ignore_count, 
+                  struct breakpoint_ops *ops, int from_tty)
 {
   struct breakpoint *b = NULL;
   int i;
@@ -5129,6 +5113,7 @@ create_breakpoint (struct symtabs_and_lines sals, char *addr_string,
        me.  */
     b->addr_string = xstrprintf ("*0x%s", paddr (b->loc->address));
 
+  b->ops = ops;
   mention (b);
 }
 
@@ -5273,7 +5258,8 @@ static void
 create_breakpoints (struct symtabs_and_lines sals, char **addr_string,
                    char *cond_string,
                    enum bptype type, enum bpdisp disposition,
-                   int thread, int ignore_count, int from_tty)
+                   int thread, int ignore_count, 
+                   struct breakpoint_ops *ops, int from_tty)
 {
   int i;
   for (i = 0; i < sals.nelts; ++i)
@@ -5283,8 +5269,10 @@ create_breakpoints (struct symtabs_and_lines sals, char **addr_string,
 
       create_breakpoint (expanded, addr_string[i],
                         cond_string, type, disposition,
-                        thread, ignore_count, from_tty);
+                        thread, ignore_count, ops, from_tty);
     }
+
+  update_global_location_list (1);
 }
 
 /* Parse ARG which is assumed to be a SAL specification possibly
@@ -5433,18 +5421,28 @@ find_condition_and_thread (char *tok, CORE_ADDR pc,
     }
 }
 
-/* Set a breakpoint according to ARG (function, linenum or *address)
-   flag: first bit  : 0 non-temporary, 1 temporary.
-   second bit : 0 normal breakpoint, 1 hardware breakpoint.  */
+/* Set a breakpoint.  This function is shared between
+   CLI and MI functions for setting a breakpoint.
+   This function has two major modes of operations,
+   selected by the PARSE_CONDITION_AND_THREAD parameter.
+   If non-zero, the function will parse arg, extracting
+   breakpoint location, address and thread. Otherwise,
+   ARG is just the location of breakpoint, with condition
+   and thread specified by the COND_STRING and THREAD
+   parameters.  */
 
-static int
-break_command_1 (char *arg, int flag, int from_tty)
+static void
+break_command_really (char *arg, char *cond_string, int thread,
+                     int parse_condition_and_thread,
+                     int tempflag, int hardwareflag, 
+                     int ignore_count,
+                     enum auto_boolean pending_break_support,
+                     struct breakpoint_ops *ops,
+                     int from_tty)
 {
   struct gdb_exception e;
-  int tempflag, hardwareflag;
   struct symtabs_and_lines sals;
   struct symtab_and_line pending_sal;
-  char *cond_string = NULL;
   char *copy_arg;
   char *err_msg;
   char *addr_start = arg;
@@ -5454,13 +5452,8 @@ break_command_1 (char *arg, int flag, int from_tty)
   struct captured_parse_breakpoint_args parse_args;
   int i;
   int pending = 0;
-  int thread = -1;
-  int ignore_count = 0;
   int not_found = 0;
 
-  hardwareflag = flag & BP_HARDWAREFLAG;
-  tempflag = flag & BP_TEMPFLAG;
-
   sals.sals = NULL;
   sals.nelts = 0;
   addr_string = NULL;
@@ -5477,26 +5470,25 @@ break_command_1 (char *arg, int flag, int from_tty)
   switch (e.reason)
     {
     case RETURN_QUIT:
-      exception_print (gdb_stderr, e);
-      return e.reason;
+      throw_exception (e);
     case RETURN_ERROR:
       switch (e.error)
        {
        case NOT_FOUND_ERROR:
 
-         exception_print (gdb_stderr, e);
-
          /* If pending breakpoint support is turned off, throw
             error.  */
 
          if (pending_break_support == AUTO_BOOLEAN_FALSE)
-           deprecated_throw_reason (RETURN_ERROR);
+           throw_exception (e);
+
+         exception_print (gdb_stderr, e);
 
           /* If pending breakpoint support is auto query and the user
             selects no, then simply return the error code.  */
          if (pending_break_support == AUTO_BOOLEAN_AUTO && 
              !nquery ("Make breakpoint pending on future shared library load? "))
-           return e.reason;
+           return;
 
          /* At this point, either the user was queried about setting
             a pending breakpoint and selected yes, or pending
@@ -5510,12 +5502,11 @@ break_command_1 (char *arg, int flag, int from_tty)
          pending = 1;
          break;
        default:
-         exception_print (gdb_stderr, e);
-         return e.reason;
+         throw_exception (e);
        }
     default:
       if (!sals.nelts)
-       return GDB_RC_FAIL;
+       return;
     }
 
   /* Create a chain of things that always need to be cleaned up. */
@@ -5555,18 +5546,32 @@ break_command_1 (char *arg, int flag, int from_tty)
      breakpoint. */
   if (!pending)
     {
-      /* Here we only parse 'arg' to separate condition
-        from thread number, so parsing in context of first
-        sal is OK.  When setting the breakpoint we'll 
-        re-parse it in context of each sal.  */
-      find_condition_and_thread (arg, sals.sals[0].pc, &cond_string, &thread);
-      if (cond_string)
-       make_cleanup (xfree, cond_string);
+      if (parse_condition_and_thread)
+        {
+            /* Here we only parse 'arg' to separate condition
+               from thread number, so parsing in context of first
+               sal is OK.  When setting the breakpoint we'll 
+               re-parse it in context of each sal.  */
+            cond_string = NULL;
+            thread = -1;
+            find_condition_and_thread (arg, sals.sals[0].pc, &cond_string, &thread);
+            if (cond_string)
+                make_cleanup (xfree, cond_string);
+        }
+      else
+        {
+            /* Create a private copy of condition string.  */
+            if (cond_string)
+            {
+                cond_string = xstrdup (cond_string);
+                make_cleanup (xfree, cond_string);
+            }
+        }
       create_breakpoints (sals, addr_string, cond_string,
                          hardwareflag ? bp_hardware_breakpoint 
                          : bp_breakpoint,
                          tempflag ? disp_del : disp_donttouch,
-                         thread, ignore_count, from_tty);
+                         thread, ignore_count, ops, from_tty);
     }
   else
     {
@@ -5580,12 +5585,15 @@ break_command_1 (char *arg, int flag, int from_tty)
                                               : bp_breakpoint);
       set_breakpoint_count (breakpoint_count + 1);
       b->number = breakpoint_count;
-      b->thread = thread;
+      b->thread = -1;
       b->addr_string = addr_string[0];
-      b->cond_string = cond_string;
+      b->cond_string = NULL;
       b->ignore_count = ignore_count;
       b->disposition = tempflag ? disp_del : disp_donttouch;
       b->condition_not_parsed = 1;
+      b->ops = ops;
+
+      update_global_location_list (1);
       mention (b);
     }
   
@@ -5597,126 +5605,66 @@ break_command_1 (char *arg, int flag, int from_tty)
   discard_cleanups (breakpoint_chain);
   /* But cleanup everything else. */
   do_cleanups (old_chain);
-
-  return GDB_RC_OK;
 }
 
-/* Set a breakpoint of TYPE/DISPOSITION according to ARG (function,
-   linenum or *address) with COND and IGNORE_COUNT. */
-
-struct captured_breakpoint_args
-  {
-    char *address;
-    char *condition;
-    int hardwareflag;
-    int tempflag;
-    int thread;
-    int ignore_count;
-  };
-
-static int
-do_captured_breakpoint (struct ui_out *uiout, void *data)
+/* Set a breakpoint. 
+   ARG is a string describing breakpoint address,
+   condition, and thread.
+   FLAG specifies if a breakpoint is hardware on,
+   and if breakpoint is temporary, using BP_HARDWARE_FLAG
+   and BP_TEMPFLAG.  */
+   
+static void
+break_command_1 (char *arg, int flag, int from_tty)
 {
-  struct captured_breakpoint_args *args = data;
-  struct symtabs_and_lines sals;
-  struct expression **cond;
-  struct cleanup *old_chain;
-  struct cleanup *breakpoint_chain = NULL;
-  int i;
-  char **addr_string;
-  char *cond_string = 0;
-
-  char *address_end;
-
-  /* Parse the source and lines spec.  Delay check that the expression
-     didn't contain trailing garbage until after cleanups are in
-     place. */
-  sals.sals = NULL;
-  sals.nelts = 0;
-  address_end = args->address;
-  addr_string = NULL;
-  parse_breakpoint_sals (&address_end, &sals, &addr_string, 0);
+  int hardwareflag = flag & BP_HARDWAREFLAG;
+  int tempflag = flag & BP_TEMPFLAG;
 
-  if (!sals.nelts)
-    return GDB_RC_NONE;
-
-  /* Create a chain of things at always need to be cleaned up. */
-  old_chain = make_cleanup (null_cleanup, 0);
-
-  /* Always have a addr_string array, even if it is empty. */
-  make_cleanup (xfree, addr_string);
-
-  /* Make sure that all storage allocated to SALS gets freed.  */
-  make_cleanup (xfree, sals.sals);
-
-  /* Allocate space for all the cond expressions. */
-  cond = xcalloc (sals.nelts, sizeof (struct expression *));
-  make_cleanup (xfree, cond);
-
-  /* ----------------------------- SNIP -----------------------------
-     Anything added to the cleanup chain beyond this point is assumed
-     to be part of a breakpoint.  If the breakpoint create goes
-     through then that memory is not cleaned up. */
-  breakpoint_chain = make_cleanup (null_cleanup, 0);
+  break_command_really (arg, 
+                       NULL, 0, 1 /* parse arg */,
+                       tempflag, hardwareflag,
+                       0 /* Ignore count */,
+                       pending_break_support, 
+                       NULL /* breakpoint_ops */,
+                       from_tty);
+}
 
-  /* Mark the contents of the addr_string for cleanup.  These go on
-     the breakpoint_chain and only occure if the breakpoint create
-     fails. */
-  for (i = 0; i < sals.nelts; i++)
-    {
-      if (addr_string[i] != NULL)
-       make_cleanup (xfree, addr_string[i]);
-    }
 
-  /* Wait until now before checking for garbage at the end of the
-     address. That way cleanups can take care of freeing any
-     memory. */
-  if (*address_end != '\0')
-    error (_("Garbage %s following breakpoint address"), address_end);
+void
+set_breakpoint (char *address, char *condition,
+               int hardwareflag, int tempflag,
+               int thread, int ignore_count,
+               int pending)
+{
+  break_command_really (address, condition, thread,
+                       0 /* condition and thread are valid.  */,
+                       tempflag, hardwareflag,
+                       ignore_count,
+                       pending 
+                       ? AUTO_BOOLEAN_TRUE : AUTO_BOOLEAN_FALSE,
+                       NULL, 0);
+}
 
-  /* Resolve all line numbers to PC's.  */
-  breakpoint_sals_to_pc (&sals, args->address);
+/* Adjust SAL to the first instruction past the function prologue.
+   The end of the prologue is determined using the line table from
+   the debugging information.
 
-  if (args->condition != NULL)
-    {
-      cond_string = xstrdup (args->condition);
-      make_cleanup (xfree, cond_string);
-    }
+   If SAL is already past the prologue, then do nothing.  */
 
-  create_breakpoints (sals, addr_string, args->condition,
-                     args->hardwareflag ? bp_hardware_breakpoint : bp_breakpoint,
-                     args->tempflag ? disp_del : disp_donttouch,
-                     args->thread, args->ignore_count, 0/*from-tty*/);
+static void
+skip_prologue_sal (struct symtab_and_line *sal)
+{
+  struct symbol *sym = find_pc_function (sal->pc);
+  struct symtab_and_line start_sal;
 
-  /* That's it. Discard the cleanups for data inserted into the
-     breakpoint. */
-  discard_cleanups (breakpoint_chain);
-  /* But cleanup everything else. */
-  do_cleanups (old_chain);
-  return GDB_RC_OK;
-}
+  if (sym == NULL)
+    return;
 
-enum gdb_rc
-gdb_breakpoint (char *address, char *condition,
-               int hardwareflag, int tempflag,
-               int thread, int ignore_count,
-               char **error_message)
-{
-  struct captured_breakpoint_args args;
-  args.address = address;
-  args.condition = condition;
-  args.hardwareflag = hardwareflag;
-  args.tempflag = tempflag;
-  args.thread = thread;
-  args.ignore_count = ignore_count;
-  if (catch_exceptions_with_msg (uiout, do_captured_breakpoint, &args,
-                                error_message, RETURN_MASK_ALL) < 0)
-    return GDB_RC_FAIL;
-  else
-    return GDB_RC_OK;
+  start_sal = find_function_start_sal (sym, 1);
+  if (sal->pc < start_sal.pc)
+    *sal = start_sal;
 }
 
-
 /* Helper function for break_command_1 and disassemble_command.  */
 
 void
@@ -5730,6 +5678,11 @@ resolve_sal_pc (struct symtab_and_line *sal)
        error (_("No line %d in file \"%s\"."),
               sal->line, sal->symtab->filename);
       sal->pc = pc;
+
+      /* If this SAL corresponds to a breakpoint inserted using
+         a line number, then skip the function prologue if necessary.  */
+      if (sal->explicit_line)
+        skip_prologue_sal (sal);
     }
 
   if (sal->section == 0 && sal->symtab != NULL)
@@ -5737,13 +5690,11 @@ resolve_sal_pc (struct symtab_and_line *sal)
       struct blockvector *bv;
       struct block *b;
       struct symbol *sym;
-      int index;
 
-      bv = blockvector_for_pc_sect (sal->pc, 0, &index, sal->symtab);
+      bv = blockvector_for_pc_sect (sal->pc, 0, &b, sal->symtab);
       if (bv != NULL)
        {
-         b = BLOCKVECTOR_BLOCK (bv, index);
-         sym = block_function (b);
+         sym = block_linkage_function (b);
          if (sym != NULL)
            {
              fixup_symbol_section (sym, sal->symtab->objfile);
@@ -5878,7 +5829,7 @@ watch_command_1 (char *arg, int accessflag, int from_tty)
   struct frame_info *prev_frame = NULL;
   char *exp_start = NULL;
   char *exp_end = NULL;
-  char *tok, *end_tok;
+  char *tok, *id_tok_start, *end_tok;
   int toklen;
   char *cond_start = NULL;
   char *cond_end = NULL;
@@ -5886,20 +5837,81 @@ watch_command_1 (char *arg, int accessflag, int from_tty)
   int i, other_type_used, target_resources_ok = 0;
   enum bptype bp_type;
   int mem_cnt = 0;
+  int thread = -1;
 
   init_sal (&sal);             /* initialize to zeroes */
 
-  /* Parse arguments.  */
+  /* Make sure that we actually have parameters to parse.  */
+  if (arg != NULL && arg[0] != '\0')
+    {
+      toklen = strlen (arg); /* Size of argument list.  */
+
+      /* Points tok to the end of the argument list.  */
+      tok = arg + toklen - 1;
+
+      /* Go backwards in the parameters list. Skip the last parameter.
+         If we're expecting a 'thread <thread_num>' parameter, this should
+         be the thread identifier.  */
+      while (tok > arg && (*tok == ' ' || *tok == '\t'))
+        tok--;
+      while (tok > arg && (*tok != ' ' && *tok != '\t'))
+        tok--;
+
+      /* Points end_tok to the beginning of the last token.  */
+      id_tok_start = tok + 1;
+
+      /* Go backwards in the parameters list. Skip one more parameter.
+         If we're expecting a 'thread <thread_num>' parameter, we should
+         reach a "thread" token.  */
+      while (tok > arg && (*tok == ' ' || *tok == '\t'))
+        tok--;
+
+      end_tok = tok;
+
+      while (tok > arg && (*tok != ' ' && *tok != '\t'))
+        tok--;
+
+      /* Move the pointer forward to skip the whitespace and
+         calculate the length of the token.  */
+      tok++;
+      toklen = end_tok - tok;
+
+      if (toklen >= 1 && strncmp (tok, "thread", toklen) == 0)
+        {
+          /* At this point we've found a "thread" token, which means
+             the user is trying to set a watchpoint that triggers
+             only in a specific thread.  */
+          char *endp;
+
+          /* Extract the thread ID from the next token.  */
+          thread = strtol (id_tok_start, &endp, 0);
+
+          /* Check if the user provided a valid numeric value for the
+             thread ID.  */
+          if (*endp != ' ' && *endp != '\t' && *endp != '\0')
+            error (_("Invalid thread ID specification %s."), id_tok_start);
+
+          /* Check if the thread actually exists.  */
+          if (!valid_thread_id (thread))
+            error (_("Unknown thread %d."), thread);
+
+          /* Truncate the string and get rid of the thread <thread_num>
+             parameter before the parameter list is parsed by the
+             evaluate_expression() function.  */
+          *tok = '\0';
+        }
+    }
+
+  /* Parse the rest of the arguments.  */
   innermost_block = NULL;
   exp_start = arg;
   exp = parse_exp_1 (&arg, 0, 0);
   exp_end = arg;
   exp_valid_block = innermost_block;
   mark = value_mark ();
-  val = evaluate_expression (exp);
-  release_value (val);
-  if (value_lazy (val))
-    value_fetch_lazy (val);
+  fetch_watchpoint_value (exp, &val, NULL, NULL);
+  if (val != NULL)
+    release_value (val);
 
   tok = arg;
   while (*tok == ' ' || *tok == '\t')
@@ -5982,11 +5994,13 @@ watch_command_1 (char *arg, int accessflag, int from_tty)
   b = set_raw_breakpoint (sal, bp_type);
   set_breakpoint_count (breakpoint_count + 1);
   b->number = breakpoint_count;
+  b->thread = thread;
   b->disposition = disp_donttouch;
   b->exp = exp;
   b->exp_valid_block = exp_valid_block;
   b->exp_string = savestring (exp_start, exp_end - exp_start);
   b->val = val;
+  b->val_valid = 1;
   b->loc->cond = cond;
   if (cond_start)
     b->cond_string = savestring (cond_start, cond_end - cond_start);
@@ -6008,6 +6022,7 @@ watch_command_1 (char *arg, int accessflag, int from_tty)
 
   value_free_to_mark (mark);
   mention (b);
+  update_global_location_list (1);
 }
 
 /* Return count of locations need to be watched and can be handled
@@ -6127,17 +6142,24 @@ awatch_command (char *arg, int from_tty)
 /* Helper routines for the until_command routine in infcmd.c.  Here
    because it uses the mechanisms of breakpoints.  */
 
+struct until_break_command_continuation_args
+{
+  struct breakpoint *breakpoint;
+  struct breakpoint *breakpoint2;
+};
+
 /* This function is called by fetch_inferior_event via the
    cmd_continuation pointer, to complete the until command. It takes
    care of cleaning up the temporary breakpoints set up by the until
    command. */
 static void
-until_break_command_continuation (struct continuation_arg *arg)
+until_break_command_continuation (void *arg)
 {
-  struct cleanup *cleanups;
+  struct until_break_command_continuation_args *a = arg;
 
-  cleanups = (struct cleanup *) arg->data.pointer;
-  do_exec_cleanups (cleanups);
+  delete_breakpoint (a->breakpoint);
+  if (a->breakpoint2)
+    delete_breakpoint (a->breakpoint2);
 }
 
 void
@@ -6148,9 +6170,8 @@ until_break_command (char *arg, int from_tty, int anywhere)
   struct frame_info *frame = get_selected_frame (NULL);
   struct frame_info *prev_frame = get_prev_frame (frame);
   struct breakpoint *breakpoint;
+  struct breakpoint *breakpoint2 = NULL;
   struct cleanup *old_chain;
-  struct continuation_arg *arg1;
-
 
   clear_proceed_status ();
 
@@ -6185,31 +6206,7 @@ until_break_command (char *arg, int from_tty, int anywhere)
     breakpoint = set_momentary_breakpoint (sal, get_frame_id (frame),
                                           bp_until);
 
-  if (!target_can_async_p ())
-    old_chain = make_cleanup_delete_breakpoint (breakpoint);
-  else
-    old_chain = make_exec_cleanup_delete_breakpoint (breakpoint);
-
-  /* If we are running asynchronously, and the target supports async
-     execution, we are not waiting for the target to stop, in the call
-     tp proceed, below. This means that we cannot delete the
-     brekpoints until the target has actually stopped. The only place
-     where we get a chance to do that is in fetch_inferior_event, so
-     we must set things up for that. */
-
-  if (target_can_async_p ())
-    {
-      /* In this case the arg for the continuation is just the point
-         in the exec_cleanups chain from where to start doing
-         cleanups, because all the continuation does is the cleanups in
-         the exec_cleanup_chain. */
-      arg1 =
-       (struct continuation_arg *) xmalloc (sizeof (struct continuation_arg));
-      arg1->next         = NULL;
-      arg1->data.pointer = old_chain;
-
-      add_continuation (until_break_command_continuation, arg1);
-    }
+  old_chain = make_cleanup_delete_breakpoint (breakpoint);
 
   /* Keep within the current frame, or in frames called by the current
      one.  */
@@ -6217,18 +6214,31 @@ until_break_command (char *arg, int from_tty, int anywhere)
     {
       sal = find_pc_line (get_frame_pc (prev_frame), 0);
       sal.pc = get_frame_pc (prev_frame);
-      breakpoint = set_momentary_breakpoint (sal, get_frame_id (prev_frame),
-                                            bp_until);
-      if (!target_can_async_p ())
-       make_cleanup_delete_breakpoint (breakpoint);
-      else
-       make_exec_cleanup_delete_breakpoint (breakpoint);
+      breakpoint2 = set_momentary_breakpoint (sal, get_frame_id (prev_frame),
+                                             bp_until);
+      make_cleanup_delete_breakpoint (breakpoint2);
     }
 
   proceed (-1, TARGET_SIGNAL_DEFAULT, 0);
-  /* Do the cleanups now, anly if we are not running asynchronously,
-     of if we are, but the target is still synchronous. */
-  if (!target_can_async_p ())
+
+  /* If we are running asynchronously, and proceed call above has actually
+     managed to start the target, arrange for breakpoints to be
+     deleted when the target stops.  Otherwise, we're already stopped and
+     delete breakpoints via cleanup chain.  */
+
+  if (target_can_async_p () && is_running (inferior_ptid))
+    {
+      struct until_break_command_continuation_args *args;
+      args = xmalloc (sizeof (*args));
+
+      args->breakpoint = breakpoint;
+      args->breakpoint2 = breakpoint2;
+
+      discard_cleanups (old_chain);
+      add_continuation (until_break_command_continuation, args,
+                       xfree);
+    }
+  else
     do_cleanups (old_chain);
 }
 
@@ -6476,69 +6486,44 @@ catch_unload_command_1 (char *arg, int tempflag, int from_tty)
       cond_string = ep_parse_optional_if_clause (&arg);
     }
 
-  if ((*arg != '\0') && !isspace (*arg))
-    error (_("Junk at end of arguments."));
-
-  /* Create an unload breakpoint that only triggers when an unload of
-     the specified dll (or any dll, if no pathname was specified)
-     occurs. */
-  SOLIB_CREATE_CATCH_UNLOAD_HOOK (PIDGET (inferior_ptid), tempflag, 
-                                 dll_pathname, cond_string);
-}
-
-/* Commands to deal with catching exceptions.  */
-
-/* Set a breakpoint at the specified callback routine for an
-   exception event callback */
-
-static void
-create_exception_catchpoint (int tempflag, char *cond_string,
-                            enum exception_event_kind ex_event,
-                            struct symtab_and_line *sal)
-{
-  struct breakpoint *b;
-  int thread = -1;             /* All threads. */
-  enum bptype bptype;
-
-  if (!sal)                    /* no exception support? */
-    return;
-
-  switch (ex_event)
-    {
-    case EX_EVENT_THROW:
-      bptype = bp_catch_throw;
-      break;
-    case EX_EVENT_CATCH:
-      bptype = bp_catch_catch;
-      break;
-    default:                   /* error condition */
-      error (_("Internal error -- invalid catchpoint kind"));
-    }
+  if ((*arg != '\0') && !isspace (*arg))
+    error (_("Junk at end of arguments."));
 
-  b = set_raw_breakpoint (*sal, bptype);
-  set_breakpoint_count (breakpoint_count + 1);
-  b->number = breakpoint_count;
-  b->cond_string = (cond_string == NULL) ? 
-    NULL : savestring (cond_string, strlen (cond_string));
-  b->thread = thread;
-  b->addr_string = NULL;
-  b->enable_state = bp_enabled;
-  b->disposition = tempflag ? disp_del : disp_donttouch;
-  mention (b);
+  /* Create an unload breakpoint that only triggers when an unload of
+     the specified dll (or any dll, if no pathname was specified)
+     occurs. */
+  SOLIB_CREATE_CATCH_UNLOAD_HOOK (PIDGET (inferior_ptid), tempflag, 
+                                 dll_pathname, cond_string);
 }
 
 static enum print_stop_action
 print_exception_catchpoint (struct breakpoint *b)
 {
-  annotate_catchpoint (b->number);
+  int bp_temp, bp_throw;
 
-  if (strstr (b->addr_string, "throw") != NULL)
-    printf_filtered (_("\nCatchpoint %d (exception thrown)\n"),
-                    b->number);
-  else
-    printf_filtered (_("\nCatchpoint %d (exception caught)\n"),
-                    b->number);
+  annotate_catchpoint (b->number);
 
+  bp_throw = strstr (b->addr_string, "throw") != NULL;
+  if (b->loc->address != b->loc->requested_address)
+    breakpoint_adjustment_warning (b->loc->requested_address,
+                                  b->loc->address,
+                                  b->number, 1);
+  bp_temp = b->loc->owner->disposition == disp_del;
+  ui_out_text (uiout, 
+              bp_temp ? "Temporary catchpoint "
+                      : "Catchpoint ");
+  if (!ui_out_is_mi_like_p (uiout))
+    ui_out_field_int (uiout, "bkptno", b->number);
+  ui_out_text (uiout,
+              bp_throw ? " (exception thrown), "
+                       : " (exception caught), ");
+  if (ui_out_is_mi_like_p (uiout))
+    {
+      ui_out_field_string (uiout, "reason", 
+                          async_reason_lookup (EXEC_ASYNC_BREAKPOINT_HIT));
+      ui_out_field_string (uiout, "disp", bpdisp_text (b->disposition));
+      ui_out_field_int (uiout, "bkptno", b->number);
+    }
   return PRINT_SRC_AND_LOC;
 }
 
@@ -6548,10 +6533,14 @@ print_one_exception_catchpoint (struct breakpoint *b, CORE_ADDR *last_addr)
   if (addressprint)
     {
       annotate_field (4);
-      ui_out_field_core_addr (uiout, "addr", b->loc->address);
+      if (b->loc == NULL || b->loc->shlib_disabled)
+       ui_out_field_string (uiout, "addr", "<PENDING>");
+      else
+       ui_out_field_core_addr (uiout, "addr", b->loc->address);
     }
   annotate_field (5);
-  *last_addr = b->loc->address;
+  if (b->loc)
+    *last_addr = b->loc->address;
   if (strstr (b->addr_string, "throw") != NULL)
     ui_out_field_string (uiout, "what", "exception throw");
   else
@@ -6561,10 +6550,16 @@ print_one_exception_catchpoint (struct breakpoint *b, CORE_ADDR *last_addr)
 static void
 print_mention_exception_catchpoint (struct breakpoint *b)
 {
-  if (strstr (b->addr_string, "throw") != NULL)
-    printf_filtered (_("Catchpoint %d (throw)"), b->number);
-  else
-    printf_filtered (_("Catchpoint %d (catch)"), b->number);
+  int bp_temp;
+  int bp_throw;
+
+  bp_temp = b->loc->owner->disposition == disp_del;
+  bp_throw = strstr (b->addr_string, "throw") != NULL;
+  ui_out_text (uiout, bp_temp ? _("Temporary catchpoint ")
+                             : _("Catchpoint "));
+  ui_out_field_int (uiout, "bkptno", b->number);
+  ui_out_text (uiout, bp_throw ? _(" (throw)")
+                              : _(" (catch)"));
 }
 
 static struct breakpoint_ops gnu_v3_exception_catchpoint_ops = {
@@ -6577,36 +6572,20 @@ static int
 handle_gnu_v3_exceptions (int tempflag, char *cond_string,
                          enum exception_event_kind ex_event, int from_tty)
 {
-  char *trigger_func_name, *nameptr;
-  struct symtabs_and_lines sals;
-  struct breakpoint *b;
-
+  char *trigger_func_name;
   if (ex_event == EX_EVENT_CATCH)
-    trigger_func_name = xstrdup ("__cxa_begin_catch");
+    trigger_func_name = "__cxa_begin_catch";
   else
-    trigger_func_name = xstrdup ("__cxa_throw");
+    trigger_func_name = "__cxa_throw";
 
-  nameptr = trigger_func_name;
-  sals = decode_line_1 (&nameptr, 1, NULL, 0, NULL, NULL);
-  if (sals.nelts == 0)
-    {
-      xfree (trigger_func_name);
-      return 0;
-    }
-
-  b = set_raw_breakpoint (sals.sals[0], bp_breakpoint);
-  set_breakpoint_count (breakpoint_count + 1);
-  b->number = breakpoint_count;
-  b->cond_string = (cond_string == NULL) ? 
-    NULL : savestring (cond_string, strlen (cond_string));
-  b->thread = -1;
-  b->addr_string = trigger_func_name;
-  b->enable_state = bp_enabled;
-  b->disposition = tempflag ? disp_del : disp_donttouch;
-  b->ops = &gnu_v3_exception_catchpoint_ops;
+  break_command_really (trigger_func_name, cond_string, -1,
+                       0 /* condition and thread are valid.  */,
+                       tempflag, 0,
+                       0,
+                       AUTO_BOOLEAN_TRUE /* pending */,
+                       &gnu_v3_exception_catchpoint_ops, from_tty);
 
-  xfree (sals.sals);
-  mention (b);
   return 1;
 }
 
@@ -6633,19 +6612,6 @@ catch_exception_command_1 (enum exception_event_kind ex_event, char *arg,
   if (handle_gnu_v3_exceptions (tempflag, cond_string, ex_event, from_tty))
     return;
 
-  /* See if we can find a callback routine */
-  sal = target_enable_exception_callback (ex_event, 1);
-
-  if (sal)
-    {
-      /* We have callbacks from the runtime system for exceptions.
-         Set a breakpoint on the sal found, if no errors */
-      if (sal != (struct symtab_and_line *) -1)
-       create_exception_catchpoint (tempflag, cond_string, ex_event, sal);
-      else
-       return;         /* something went wrong with setting up callbacks */
-    }
-
   warning (_("Unsupported with this platform/compiler combination."));
 }
 
@@ -6692,6 +6658,7 @@ create_ada_exception_breakpoint (struct symtab_and_line sal,
   b->ops = ops;
 
   mention (b);
+  update_global_location_list (1);
 }
 
 /* Implement the "catch exception" command.  */
@@ -6728,23 +6695,6 @@ catch_assert_command (char *arg, int tempflag, int from_tty)
                                    tempflag, from_tty);
 }
 
-/* Cover routine to allow wrapping target_enable_exception_catchpoints
-   inside a catch_errors */
-
-static int
-cover_target_enable_exception_callback (void *arg)
-{
-  args_for_catchpoint_enable *args = arg;
-  struct symtab_and_line *sal;
-  sal = target_enable_exception_callback (args->kind, args->enable_p);
-  if (sal == NULL)
-    return 0;
-  else if (sal == (struct symtab_and_line *) -1)
-    return -1;
-  else
-    return 1;                  /*is valid */
-}
-
 static void
 catch_command_1 (char *arg, int tempflag, int from_tty)
 {
@@ -7019,7 +6969,9 @@ breakpoint_auto_delete (bpstat bs)
   struct breakpoint *b, *temp;
 
   for (; bs; bs = bs->next)
-    if (bs->breakpoint_at && bs->breakpoint_at->owner->disposition == disp_del
+    if (bs->breakpoint_at 
+       && bs->breakpoint_at->owner
+       && bs->breakpoint_at->owner->disposition == disp_del
        && bs->stop)
       delete_breakpoint (bs->breakpoint_at->owner);
 
@@ -7030,33 +6982,202 @@ breakpoint_auto_delete (bpstat bs)
   }
 }
 
-/* Remove locations of breakpoint BPT from
-   the global list of breakpoint locations.  */
+/* If SHOULD_INSERT is true, do not insert any breakpoint locations
+   into the inferior, only remove already-inserted locations that no
+   longer should be inserted.  Functions that delete a breakpoint or
+   breakpoints should pass false, so that deleting a breakpoint
+   doesn't have the side effect of inserting the locations of other
+   breakpoints that are marked not-inserted, but should_be_inserted
+   returns true on them.
+
+   This behaviour is useful is situations close to tear-down -- e.g.,
+   after an exec, while the target still has execution, but breakpoint
+   shadows of the previous executable image should *NOT* be restored
+   to the new image; or before detaching, where the target still has
+   execution and wants to delete breakpoints from GDB's lists, and all
+   breakpoints had already been removed from the inferior.  */
 
 static void
-unlink_locations_from_global_list (struct breakpoint *bpt)
+update_global_location_list (int should_insert)
 {
-  /* This code assumes that the locations
-     of a breakpoint are found in the global list
-     in the same order,  but not necessary adjacent.  */
-  struct bp_location **tmp = &bp_location_chain;
-  struct bp_location *here = bpt->loc;
-
-  if (here == NULL)
-    return;
+  struct breakpoint *b;
+  struct bp_location **next = &bp_location_chain;
+  struct bp_location *loc;
+  struct bp_location *loc2;
+  struct gdb_exception e;
+  VEC(bp_location_p) *old_locations = NULL;
+  int ret;
+  int ix;
+  
+  /* Store old locations for future reference.  */
+  for (loc = bp_location_chain; loc; loc = loc->global_next)
+    VEC_safe_push (bp_location_p, old_locations, loc);
 
-  for (; *tmp && here;)
+  bp_location_chain = NULL;
+  ALL_BREAKPOINTS (b)
     {
-      if (*tmp == here)
+      for (loc = b->loc; loc; loc = loc->next)
        {
-         *tmp = here->global_next;
-         here = here->next;
+         *next = loc;
+         next = &(loc->global_next);
+         *next = NULL;
        }
-      else
+    }
+
+  /* Identify bp_location instances that are no longer present in the new
+     list, and therefore should be freed.  Note that it's not necessary that
+     those locations should be removed from inferior -- if there's another
+     location at the same address (previously marked as duplicate),
+     we don't need to remove/insert the location.  */
+  for (ix = 0; VEC_iterate(bp_location_p, old_locations, ix, loc); ++ix)
+    {
+      /* Tells if 'loc' is found amoung the new locations.  If not, we
+        have to free it.  */
+      int found_object = 0;
+      /* Tells if the location should remain inserted in the target.  */
+      int keep_in_target = 0;
+      int removed = 0;
+      for (loc2 = bp_location_chain; loc2; loc2 = loc2->global_next)
+       if (loc2 == loc)
+         {
+           found_object = 1;
+           break;
+         }
+
+      /* If this location is no longer present, and inserted, look if there's
+        maybe a new location at the same address.  If so, mark that one 
+        inserted, and don't remove this one.  This is needed so that we 
+        don't have a time window where a breakpoint at certain location is not
+        inserted.  */
+
+      if (loc->inserted)
        {
-         tmp = &((*tmp)->global_next);
+         /* If the location is inserted now, we might have to remove it.  */
+
+         if (found_object && should_be_inserted (loc))
+           {
+             /* The location is still present in the location list, and still
+                should be inserted.  Don't do anything.  */
+             keep_in_target = 1;
+           }
+         else
+           {
+             /* The location is either no longer present, or got disabled.
+                See if there's another location at the same address, in which 
+                case we don't need to remove this one from the target.  */
+             if (breakpoint_address_is_meaningful (loc->owner))
+               for (loc2 = bp_location_chain; loc2; loc2 = loc2->global_next)
+                 {
+                   /* For the sake of should_insert_location.  The
+                      call to check_duplicates will fix up this later.  */
+                   loc2->duplicate = 0;
+                   if (should_be_inserted (loc2)
+                       && loc2 != loc && loc2->address == loc->address)
+                     {           
+                       loc2->inserted = 1;
+                       loc2->target_info = loc->target_info;
+                       keep_in_target = 1;
+                       break;
+                     }
+                 }
+           }
+
+         if (!keep_in_target)
+           {
+             if (remove_breakpoint (loc, mark_uninserted))
+               {
+                 /* This is just about all we can do.  We could keep this
+                    location on the global list, and try to remove it next
+                    time, but there's no particular reason why we will
+                    succeed next time.  
+                    
+                    Note that at this point, loc->owner is still valid,
+                    as delete_breakpoint frees the breakpoint only
+                    after calling us.  */
+                 printf_filtered (_("warning: Error removing breakpoint %d\n"), 
+                                  loc->owner->number);
+               }
+             removed = 1;
+           }
+       }
+
+      if (!found_object)
+       {             
+         if (removed)
+           {
+             /* This location was removed from the targets.  In non-stop mode,
+                a race condition is possible where we've removed a breakpoint,
+                but stop events for that breakpoint are already queued and will
+                arrive later.  To suppress spurious SIGTRAPs reported to user,
+                we keep this breakpoint location for a bit, and will retire it
+                after we see 3 * thread_count events.
+                The theory here is that reporting of events should, 
+                "on the average", be fair, so after that many event we'll see
+                events from all threads that have anything of interest, and no
+                longer need to keep this breakpoint.  This is just a 
+                heuristic, but if it's wrong, we'll report unexpected SIGTRAP,
+                which is usability issue, but not a correctness problem.  */     
+             loc->events_till_retirement = 3 * (thread_count () + 1);
+             loc->owner = NULL;
+           }
+
+         free_bp_location (loc);
        }
     }
+    
+  ALL_BREAKPOINTS (b)
+    {
+      check_duplicates (b);
+    }
+
+  if (always_inserted_mode && should_insert && target_has_execution)
+    insert_breakpoint_locations ();
+}
+
+void
+breakpoint_retire_moribund (void)
+{
+  struct bp_location *loc;
+  int ix;
+
+  for (ix = 0; VEC_iterate (bp_location_p, moribund_locations, ix, loc); ++ix)
+    if (--(loc->events_till_retirement) == 0)
+      {
+       free_bp_location (loc);
+       VEC_unordered_remove (bp_location_p, moribund_locations, ix);
+       --ix;
+      }
+}
+
+static void
+update_global_location_list_nothrow (int inserting)
+{
+  struct gdb_exception e;
+  TRY_CATCH (e, RETURN_MASK_ERROR)
+    update_global_location_list (inserting);
+}
+
+/* Clear BPT from a BPS.  */
+static void
+bpstat_remove_breakpoint (bpstat bps, struct breakpoint *bpt)
+{
+  bpstat bs;
+  for (bs = bps; bs; bs = bs->next)
+    if (bs->breakpoint_at && bs->breakpoint_at->owner == bpt)
+      {
+       bs->breakpoint_at = NULL;
+       bs->old_val = NULL;
+       /* bs->commands will be freed later.  */
+      }
+}
+
+/* Callback for iterate_over_threads.  */
+static int
+bpstat_remove_breakpoint_callback (struct thread_info *th, void *data)
+{
+  struct breakpoint *bpt = data;
+  bpstat_remove_breakpoint (th->stop_bpstat, bpt);
+  return 0;
 }
 
 /* Delete a breakpoint and clean up all traces of it in the data
@@ -7066,8 +7187,7 @@ void
 delete_breakpoint (struct breakpoint *bpt)
 {
   struct breakpoint *b;
-  bpstat bs;
-  struct bp_location *loc;
+  struct bp_location *loc, *next;
 
   gdb_assert (bpt != NULL);
 
@@ -7087,49 +7207,11 @@ delete_breakpoint (struct breakpoint *bpt)
   if (bpt->type == bp_none)
     return;
 
-  if (deprecated_delete_breakpoint_hook)
-    deprecated_delete_breakpoint_hook (bpt);
-  breakpoint_delete_event (bpt->number);
-
-  for (loc = bpt->loc; loc; loc = loc->next)
-    {
-      if (loc->inserted)
-       remove_breakpoint (loc, mark_inserted);
-
-      free_valchain (loc);
-
-      if (loc->cond)
-       xfree (loc->cond);
-
-      if (loc->function_name)
-       xfree (loc->function_name);
-    }
+  observer_notify_breakpoint_deleted (bpt->number);
 
   if (breakpoint_chain == bpt)
     breakpoint_chain = bpt->next;
 
-  /* If we have callback-style exception catchpoints, don't go through
-     the adjustments to the C++ runtime library etc. if the inferior
-     isn't actually running.  target_enable_exception_callback for a
-     null target ops vector gives an undesirable error message, so we
-     check here and avoid it. Since currently (1997-09-17) only HP-UX aCC's
-     exceptions are supported in this way, it's OK for now.  FIXME */
-  if (ep_is_exception_catchpoint (bpt) && target_has_execution)
-    {
-      /* Format possible error msg */
-      char *message = xstrprintf ("Error in deleting catchpoint %d:\n",
-                                 bpt->number);
-      struct cleanup *cleanups = make_cleanup (xfree, message);
-      args_for_catchpoint_enable args;
-      args.kind = bpt->type == bp_catch_catch ? 
-       EX_EVENT_CATCH : EX_EVENT_THROW;
-      args.enable_p = 0;
-      catch_errors (cover_target_enable_exception_callback, &args,
-                   message, RETURN_MASK_ALL);
-      do_cleanups (cleanups);
-    }
-
-
   ALL_BREAKPOINTS (b)
     if (b->next == bpt)
     {
@@ -7137,84 +7219,6 @@ delete_breakpoint (struct breakpoint *bpt)
       break;
     }
 
-  unlink_locations_from_global_list (bpt);
-
-  check_duplicates (bpt);
-
-  if (bpt->type != bp_hardware_watchpoint
-      && bpt->type != bp_read_watchpoint
-      && bpt->type != bp_access_watchpoint
-      && bpt->type != bp_catch_fork
-      && bpt->type != bp_catch_vfork
-      && bpt->type != bp_catch_exec)
-    for (loc = bpt->loc; loc; loc = loc->next)
-      {
-       /* If this breakpoint location was inserted, and there is 
-          another breakpoint at the same address, we need to 
-          insert the other breakpoint.  */
-       if (loc->inserted)
-         {
-           struct bp_location *loc2;
-           ALL_BP_LOCATIONS (loc2)
-             if (loc2->address == loc->address
-                 && loc2->section == loc->section
-                 && !loc->duplicate
-                 && loc2->owner->enable_state != bp_disabled
-                 && loc2->enabled 
-                 && !loc2->shlib_disabled
-                 && loc2->owner->enable_state != bp_call_disabled)
-               {
-                 int val;
-
-                 /* We should never reach this point if there is a permanent
-                    breakpoint at the same address as the one being deleted.
-                    If there is a permanent breakpoint somewhere, it should
-                    always be the only one inserted.  */
-                 if (loc2->owner->enable_state == bp_permanent)
-                   internal_error (__FILE__, __LINE__,
-                                   _("another breakpoint was inserted on top of "
-                                     "a permanent breakpoint"));
-
-                 memset (&loc2->target_info, 0, sizeof (loc2->target_info));
-                 loc2->target_info.placed_address = loc2->address;
-                 if (b->type == bp_hardware_breakpoint)
-                   val = target_insert_hw_breakpoint (&loc2->target_info);
-                 else
-                   val = target_insert_breakpoint (&loc2->target_info);
-
-                 /* If there was an error in the insert, print a message, then stop execution.  */
-                 if (val != 0)
-                   {
-                     struct ui_file *tmp_error_stream = mem_fileopen ();
-                     make_cleanup_ui_file_delete (tmp_error_stream);
-                     
-                     
-                     if (b->type == bp_hardware_breakpoint)
-                       {
-                         fprintf_unfiltered (tmp_error_stream, 
-                                             "Cannot insert hardware breakpoint %d.\n"
-                                             "You may have requested too many hardware breakpoints.\n",
-                                             b->number);
-                       }
-                     else
-                       {
-                         fprintf_unfiltered (tmp_error_stream, "Cannot insert breakpoint %d.\n", b->number);
-                         fprintf_filtered (tmp_error_stream, "Error accessing memory address ");
-                         deprecated_print_address_numeric (loc2->address, 1, tmp_error_stream);
-                         fprintf_filtered (tmp_error_stream, ": %s.\n",
-                                           safe_strerror (val));
-                       }
-                     
-                     fprintf_unfiltered (tmp_error_stream,"The same program may be running in another process.");
-                     target_terminal_ours_for_output ();
-                     error_stream(tmp_error_stream); 
-                   }
-                 else
-                   loc2->inserted = 1;
-               }
-         }
-      }
-
   free_command_lines (&bpt->commands);
   if (bpt->cond_string != NULL)
     xfree (bpt->cond_string);
@@ -7244,23 +7248,27 @@ delete_breakpoint (struct breakpoint *bpt)
          bpstat_do_actions (&stop_bpstat);
      in event-top.c won't do anything, and temporary breakpoints
      with commands won't work.  */
-  for (bs = stop_bpstat; bs; bs = bs->next)
-    if (bs->breakpoint_at && bs->breakpoint_at->owner == bpt)
-      {
-       bs->breakpoint_at = NULL;
-       bs->old_val = NULL;
-       /* bs->commands will be freed later.  */
-      }
+
+  /* Clear the current context.  */
+  bpstat_remove_breakpoint (stop_bpstat, bpt);
+  /* And from all threads.  */
+  iterate_over_threads (bpstat_remove_breakpoint_callback, bpt);
+
+  /* Now that breakpoint is removed from breakpoint
+     list, update the global location list.  This
+     will remove locations that used to belong to
+     this breakpoint.  Do this before freeing
+     the breakpoint itself, since remove_breakpoint
+     looks at location's owner.  It might be better
+     design to have location completely self-contained,
+     but it's not the case now.  */
+  update_global_location_list (0);
+
+
   /* On the chance that someone will soon try again to delete this same
      bp, we mark it as deleted before freeing its storage. */
   bpt->type = bp_none;
 
-  for (loc = bpt->loc; loc;)
-    {
-      struct bp_location *loc_next = loc->next;
-      xfree (loc);
-      loc = loc_next;
-    }
   xfree (bpt);
 }
 
@@ -7276,12 +7284,6 @@ make_cleanup_delete_breakpoint (struct breakpoint *b)
   return make_cleanup (do_delete_breakpoint_cleanup, b);
 }
 
-struct cleanup *
-make_exec_cleanup_delete_breakpoint (struct breakpoint *b)
-{
-  return make_exec_cleanup (do_delete_breakpoint_cleanup, b);
-}
-
 void
 delete_command (char *arg, int from_tty)
 {
@@ -7337,6 +7339,43 @@ all_locations_are_pending (struct bp_location *loc)
   return 1;
 }
 
+/* Subroutine of update_breakpoint_locations to simplify it.
+   Return non-zero if multiple fns in list LOC have the same name.
+   Null names are ignored.  */
+
+static int
+ambiguous_names_p (struct bp_location *loc)
+{
+  struct bp_location *l;
+  htab_t htab = htab_create_alloc (13, htab_hash_string,
+                                  (int (*) (const void *, const void *)) streq,
+                                  NULL, xcalloc, xfree);
+
+  for (l = loc; l != NULL; l = l->next)
+    {
+      const char **slot;
+      const char *name = l->function_name;
+
+      /* Allow for some names to be NULL, ignore them.  */
+      if (name == NULL)
+       continue;
+
+      slot = (const char **) htab_find_slot (htab, (const void *) name,
+                                            INSERT);
+      /* NOTE: We can assume slot != NULL here because xcalloc never returns
+        NULL.  */
+      if (*slot != NULL)
+       {
+         htab_delete (htab);
+         return 1;
+       }
+      *slot = name;
+    }
+
+  htab_delete (htab);
+  return 0;
+}
+
 static void
 update_breakpoint_locations (struct breakpoint *b,
                             struct symtabs_and_lines sals)
@@ -7355,7 +7394,6 @@ update_breakpoint_locations (struct breakpoint *b,
   if (all_locations_are_pending (existing_locations) && sals.nelts == 0)
     return;
 
-  unlink_locations_from_global_list (b);
   b->loc = NULL;
 
   for (i = 0; i < sals.nelts; ++i)
@@ -7399,28 +7437,42 @@ update_breakpoint_locations (struct breakpoint *b,
   /* If possible, carry over 'disable' status from existing breakpoints.  */
   {
     struct bp_location *e = existing_locations;
+    /* If there are multiple breakpoints with the same function name,
+       e.g. for inline functions, comparing function names won't work.
+       Instead compare pc addresses; this is just a heuristic as things
+       may have moved, but in practice it gives the correct answer
+       often enough until a better solution is found.  */
+    int have_ambiguous_names = ambiguous_names_p (b->loc);
+
     for (; e; e = e->next)
       {
        if (!e->enabled && e->function_name)
          {
            struct bp_location *l = b->loc;
-           for (; l; l = l->next)
-             if (l->function_name 
-                 && strcmp (e->function_name, l->function_name) == 0)
-               {
-                 l->enabled = 0;
-                 break;
-               }
+           if (have_ambiguous_names)
+             {
+               for (; l; l = l->next)
+                 if (e->address == l->address)
+                   {
+                     l->enabled = 0;
+                     break;
+                   }
+             }
+           else
+             {
+               for (; l; l = l->next)
+                 if (l->function_name
+                     && strcmp (e->function_name, l->function_name) == 0)
+                   {
+                     l->enabled = 0;
+                     break;
+                   }
+             }
          }
       }
   }
 
-  while (existing_locations)
-    {
-      struct bp_location *next = existing_locations->next;
-      free_bp_location (existing_locations);
-      existing_locations = next;
-    }
+  update_global_location_list (1);
 }
 
 
@@ -7516,10 +7568,6 @@ breakpoint_re_set_one (void *bint)
       expanded = expand_line_sal_maybe (sals.sals[0]);
       update_breakpoint_locations (b, expanded);
 
-      /* Now that this is re-enabled, check_duplicates
-        can be used. */
-      check_duplicates (b);
-
       xfree (sals.sals);
       break;
 
@@ -7527,56 +7575,32 @@ breakpoint_re_set_one (void *bint)
     case bp_hardware_watchpoint:
     case bp_read_watchpoint:
     case bp_access_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 been re-read?  We could save the filename and
-         functionname, but if the context is more local than that, the
-         best we could do would be something like how many levels deep
-         and which index at that particular level, but that's going to
-         be less stable than filenames or function names.  */
-
-      /* So for now, just use a global context.  */
-      if (b->exp)
-       {
-         xfree (b->exp);
-         /* Avoid re-freeing b->exp if an error during the call to
-             parse_expression.  */
-         b->exp = NULL;
-       }
-      b->exp = parse_expression (b->exp_string);
-      b->exp_valid_block = innermost_block;
-      mark = value_mark ();
-      if (b->val)
-       {
-         value_free (b->val);
-         /* Avoid re-freeing b->val if an error during the call to
-             evaluate_expression.  */
-         b->val = NULL;
-       }
-      b->val = evaluate_expression (b->exp);
-      release_value (b->val);
-      if (value_lazy (b->val) && breakpoint_enabled (b))
-       value_fetch_lazy (b->val);
-
-      if (b->cond_string != NULL)
-       {
-         s = b->cond_string;
-         if (b->loc->cond)
-           {
-             xfree (b->loc->cond);
-             /* Avoid re-freeing b->exp if an error during the call
-                to parse_exp_1.  */
-             b->loc->cond = NULL;
-           }
-         b->loc->cond = parse_exp_1 (&s, (struct block *) 0, 0);
-       }
-      if (breakpoint_enabled (b))
-       mention (b);
-      value_free_to_mark (mark);
-      break;
-    case bp_catch_catch:
-    case bp_catch_throw:
+      /* Watchpoint can be either on expression using entirely global variables,
+        or it can be on local variables.
+
+        Watchpoints of the first kind are never auto-deleted, and even persist
+        across program restarts. Since they can use variables from shared 
+        libraries, we need to reparse expression as libraries are loaded
+        and unloaded.
+
+        Watchpoints on local variables can also change meaning as result
+        of solib event. For example, if a watchpoint uses both a local and
+        a global variables in expression, it's a local watchpoint, but
+        unloading of a shared library will make the expression invalid.
+        This is not a very common use case, but we still re-evaluate
+        expression, to avoid surprises to the user. 
+
+        Note that for local watchpoints, we re-evaluate it only if
+        watchpoints frame id is still valid.  If it's not, it means
+        the watchpoint is out of scope and will be deleted soon. In fact,
+        I'm not sure we'll ever be called in this case.  
+
+        If a local watchpoint's frame id is still valid, then
+        b->exp_valid_block is likewise valid, and we can safely use it.  
+        
+        Don't do anything about disabled watchpoints, since they will
+        be reevaluated again when enabled.  */
+      update_watchpoint (b, 1 /* reparse */);
       break;
       /* We needn't really do anything to reset these, since the mask
          that requests them is unaffected by e.g., new libraries being
@@ -7589,10 +7613,8 @@ breakpoint_re_set_one (void *bint)
     default:
       printf_filtered (_("Deleting unknown breakpoint type %d\n"), b->type);
       /* fall through */
-      /* Delete longjmp and overlay event breakpoints; they will be
-         reset later by breakpoint_re_set.  */
-    case bp_longjmp:
-    case bp_longjmp_resume:
+      /* Delete overlay event breakpoints; they will be reset later by
+         breakpoint_re_set.  */
     case bp_overlay_event:
       delete_breakpoint (b);
       break;
@@ -7614,6 +7636,8 @@ breakpoint_re_set_one (void *bint)
     case bp_watchpoint_scope:
     case bp_call_dummy:
     case bp_step_resume:
+    case bp_longjmp:
+    case bp_longjmp_resume:
       break;
     }
 
@@ -7641,15 +7665,6 @@ breakpoint_re_set (void)
   }
   set_language (save_language);
   input_radix = save_input_radix;
-
-  if (gdbarch_get_longjmp_target_p (current_gdbarch))
-    {
-      create_longjmp_breakpoint ("longjmp");
-      create_longjmp_breakpoint ("_longjmp");
-      create_longjmp_breakpoint ("siglongjmp");
-      create_longjmp_breakpoint ("_siglongjmp");
-      create_longjmp_breakpoint (NULL);
-    }
   
   create_overlay_event_breakpoint ("_ovly_debug_event");
 }
@@ -7697,7 +7712,7 @@ set_ignore_count (int bptnum, int count, int from_tty)
                             count, bptnum);
        }
       breakpoints_changed ();
-      breakpoint_modify_event (b->number);
+      observer_notify_breakpoint_modified (b->number);
       return;
     }
 
@@ -7843,11 +7858,9 @@ disable_breakpoint (struct breakpoint *bpt)
 
   bpt->enable_state = bp_disabled;
 
-  check_duplicates (bpt);
+  update_global_location_list (0);
 
-  if (deprecated_modify_breakpoint_hook)
-    deprecated_modify_breakpoint_hook (bpt);
-  breakpoint_modify_event (bpt->number);
+  observer_notify_breakpoint_modified (bpt->number);
 }
 
 static void
@@ -7868,8 +7881,6 @@ disable_command (char *args, int from_tty)
       case bp_catch_fork:
       case bp_catch_vfork:
       case bp_catch_exec:
-      case bp_catch_catch:
-      case bp_catch_throw:
       case bp_hardware_breakpoint:
       case bp_watchpoint:
       case bp_hardware_watchpoint:
@@ -7884,7 +7895,7 @@ disable_command (char *args, int from_tty)
       struct bp_location *loc = find_location_by_number (args);
       if (loc)
        loc->enabled = 0;
-      check_duplicates (loc->owner);
+      update_global_location_list (0);
     }
   else
     map_breakpoint_numbers (args, disable_breakpoint);
@@ -7934,11 +7945,11 @@ is valid is not currently in scope.\n"), bpt->number);
       if (bpt->val)
        value_free (bpt->val);
       mark = value_mark ();
-      bpt->val = evaluate_expression (bpt->exp);
-      release_value (bpt->val);
-      if (value_lazy (bpt->val))
-       value_fetch_lazy (bpt->val);
-      
+      fetch_watchpoint_value (bpt->exp, &bpt->val, NULL, NULL);
+      if (bpt->val)
+       release_value (bpt->val);
+      bpt->val_valid = 1;
+
       if (bpt->type == bp_hardware_watchpoint ||
          bpt->type == bp_read_watchpoint ||
          bpt->type == bp_access_watchpoint)
@@ -7969,12 +7980,10 @@ have been allocated for other watchpoints.\n"), bpt->number);
   if (bpt->enable_state != bp_permanent)
     bpt->enable_state = bp_enabled;
   bpt->disposition = disposition;
-  check_duplicates (bpt);
+  update_global_location_list (1);
   breakpoints_changed ();
   
-  if (deprecated_modify_breakpoint_hook)
-    deprecated_modify_breakpoint_hook (bpt);
-  breakpoint_modify_event (bpt->number);
+  observer_notify_breakpoint_modified (bpt->number);
 }
 
 
@@ -8006,8 +8015,6 @@ enable_command (char *args, int from_tty)
       case bp_catch_fork:
       case bp_catch_vfork:
       case bp_catch_exec:
-      case bp_catch_catch:
-      case bp_catch_throw:
       case bp_hardware_breakpoint:
       case bp_watchpoint:
       case bp_hardware_watchpoint:
@@ -8022,7 +8029,7 @@ enable_command (char *args, int from_tty)
       struct bp_location *loc = find_location_by_number (args);
       if (loc)
        loc->enabled = 1;
-      check_duplicates (loc->owner);
+      update_global_location_list (1);
     }
   else
     map_breakpoint_numbers (args, enable_breakpoint);
@@ -8190,6 +8197,11 @@ single_step_breakpoint_inserted_here_p (CORE_ADDR pc)
   return 0;
 }
 
+int breakpoints_always_inserted_mode (void)
+{
+  return always_inserted_mode;
+}
+
 \f
 /* This help string is used for the break, hbreak, tbreak and thbreak commands.
    It is defined as a macro to prevent duplication.
@@ -8518,19 +8530,19 @@ by using \"enable delete\" on the catchpoint number."));
 Set a watchpoint for an expression.\n\
 A watchpoint stops execution of your program whenever the value of\n\
 an expression changes."));
-  set_cmd_completer (c, location_completer);
+  set_cmd_completer (c, expression_completer);
 
   c = add_com ("rwatch", class_breakpoint, rwatch_command, _("\
 Set a read watchpoint for an expression.\n\
 A watchpoint stops execution of your program whenever the value of\n\
 an expression is read."));
-  set_cmd_completer (c, location_completer);
+  set_cmd_completer (c, expression_completer);
 
   c = add_com ("awatch", class_breakpoint, awatch_command, _("\
 Set a watchpoint for an expression.\n\
 A watchpoint stops execution of your program whenever the value of\n\
 an expression is either read or written."));
-  set_cmd_completer (c, location_completer);
+  set_cmd_completer (c, expression_completer);
 
   add_info ("watchpoints", breakpoints_info,
            _("Synonym for ``info breakpoints''."));
@@ -8591,6 +8603,19 @@ a warning will be emitted for such breakpoints."),
                           show_automatic_hardware_breakpoints,
                           &breakpoint_set_cmdlist,
                           &breakpoint_show_cmdlist);
+
+  add_setshow_boolean_cmd ("always-inserted", class_support,
+                          &always_inserted_mode, _("\
+Set mode for inserting breakpoints."), _("\
+Show mode for inserting breakpoints."), _("\
+When this mode is off (which is the default), breakpoints are inserted in\n\
+inferior when it is resumed, and removed when execution stops.  When this\n\
+mode is on, breakpoints are inserted immediately and removed only when\n\
+the user deletes the breakpoint."),
+                          NULL,
+                          &show_always_inserted_mode,
+                          &breakpoint_set_cmdlist,
+                          &breakpoint_show_cmdlist);
   
   automatic_hardware_breakpoints = 1;
 }
This page took 0.072627 seconds and 4 git commands to generate.