X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=gdb%2Freverse.c;h=ec8e4fc4591c41bfb7d7247feb71dd1e22b8cf1d;hb=73c6b4756a7cee53c274ed05fddcd079b8b7e57c;hp=b44c0d1f02270683c3712edf0fcd43582134b418;hpb=d8b344530cba74a754ec101ccdd8869b3a48ec90;p=deliverable%2Fbinutils-gdb.git diff --git a/gdb/reverse.c b/gdb/reverse.c index b44c0d1f02..ec8e4fc459 100644 --- a/gdb/reverse.c +++ b/gdb/reverse.c @@ -1,7 +1,6 @@ /* Reverse execution and reverse debugging. - Copyright (C) 2006, 2007, 2008, 2009, 2010, 2011 - Free Software Foundation, Inc. + Copyright (C) 2006-2015 Free Software Foundation, Inc. This file is part of GDB. @@ -19,13 +18,13 @@ along with this program. If not, see . */ #include "defs.h" -#include "gdb_string.h" #include "target.h" #include "top.h" #include "cli/cli-cmds.h" #include "cli/cli-decode.h" #include "cli/cli-utils.h" #include "inferior.h" +#include "infrun.h" #include "regcache.h" /* User interface: @@ -143,7 +142,7 @@ save_bookmark_command (char *args, int from_tty) error (_("target_get_bookmark failed.")); /* Set up a bookmark struct. */ - b = xcalloc (1, sizeof (struct bookmark)); + b = XCNEW (struct bookmark); b->number = ++bookmark_count; init_sal (&b->sal); b->pc = regcache_read_pc (get_current_regcache ()); @@ -184,7 +183,7 @@ delete_one_bookmark (int num) if (b == bookmark_chain) bookmark_chain = b->next; - /* Find bookmark preceeding "marked" one, so we can unlink. */ + /* Find bookmark preceding "marked" one, so we can unlink. */ if (b) { ALL_BOOKMARKS (b1) @@ -217,7 +216,6 @@ delete_all_bookmarks (void) static void delete_bookmark_command (char *args, int from_tty) { - struct bookmark *b; int num; struct get_number_or_range_state state; @@ -252,16 +250,17 @@ goto_bookmark_command (char *args, int from_tty) { struct bookmark *b; unsigned long num; + char *p = args; if (args == NULL || args[0] == '\0') error (_("Command requires an argument.")); - if (strncmp (args, "start", strlen ("start")) == 0 - || strncmp (args, "begin", strlen ("begin")) == 0 - || strncmp (args, "end", strlen ("end")) == 0) + if (startswith (args, "start") + || startswith (args, "begin") + || startswith (args, "end")) { /* Special case. Give target opportunity to handle. */ - target_goto_bookmark (args, from_tty); + target_goto_bookmark ((gdb_byte *) args, from_tty); return; } @@ -270,12 +269,16 @@ goto_bookmark_command (char *args, int from_tty) /* Special case -- quoted string. Pass on to target. */ if (args[strlen (args) - 1] != args[0]) error (_("Unbalanced quotes: %s"), args); - target_goto_bookmark (args, from_tty); + target_goto_bookmark ((gdb_byte *) args, from_tty); return; } /* General case. Bookmark identified by bookmark number. */ num = get_number (&args); + + if (num == 0) + error (_("goto-bookmark: invalid bookmark number '%s'."), p); + ALL_BOOKMARKS (b) if (b->number == num) break; @@ -287,7 +290,7 @@ goto_bookmark_command (char *args, int from_tty) return; } /* Not found. */ - error (_("goto-bookmark: no bookmark found for '%s'."), args); + error (_("goto-bookmark: no bookmark found for '%s'."), p); } static int