Merge GDB 7.5.1

gdb/reverse.c

 /* Reverse execution and reverse debugging.
 
    Copyright (C) 2006-2012 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.
@@ skipping 198 matching lines @@
     {
       xfree (b->opaque_data);
       xfree (b);
     }
   bookmark_chain = NULL;
 }
 
 static void
 delete_bookmark_command (char *args, int from_tty)
 {
-  struct bookmark *b;
   int num;
   struct get_number_or_range_state state;
 
   if (bookmark_chain == NULL)
     {
       warning (_("No bookmarks."));
       return;
     }
 
   if (args == NULL || args[0] == '\0')
@@ skipping 165 matching lines @@
 Argument is a bookmark number or numbers,\n\
  or no argument to delete all bookmarks.\n"),
            &deletelist);
   add_com ("goto-bookmark", class_bookmark, goto_bookmark_command, _("\
 Go to an earlier-bookmarked point in the program's execution history.\n\
 Argument is the bookmark number of a bookmark saved earlier by using \n\
 the 'bookmark' command, or the special arguments:\n\
   start (beginning of recording)\n\
   end   (end of recording)\n"));
 }