gdb/reverse.c

   1 /* Reverse execution and reverse debugging.
   2
   3    Copyright (C) 2006, 2007, 2008, 2009, 2010, 2011
   4    Free Software Foundation, Inc.
   5
   6    This file is part of GDB.
   7
   8    This program is free software; you can redistribute it and/or modify
   9    it under the terms of the GNU General Public License as published by
  10    the Free Software Foundation; either version 3 of the License, or
  11    (at your option) any later version.
  12
  13    This program is distributed in the hope that it will be useful,
  14    but WITHOUT ANY WARRANTY; without even the implied warranty of
  15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16    GNU General Public License for more details.
  17
  18    You should have received a copy of the GNU General Public License
  19    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  20
  21 #include "defs.h"
  22 #include "gdb_string.h"
  23 #include "target.h"
  24 #include "top.h"
  25 #include "cli/cli-cmds.h"
  26 #include "cli/cli-decode.h"
  27 #include "inferior.h"
  28 #include "regcache.h"
  29
  30 /* User interface:
  31    reverse-step, reverse-next etc.  */
  32
  33 static void
  34 exec_direction_default (void *notused)
  35 {
  36   /* Return execution direction to default state.  */
  37   execution_direction = EXEC_FORWARD;
  38 }
  39
  40 /* exec_reverse_once -- accepts an arbitrary gdb command (string),
  41    and executes it with exec-direction set to 'reverse'.
  42
  43    Used to implement reverse-next etc. commands.  */
  44
  45 static void
  46 exec_reverse_once (char *cmd, char *args, int from_tty)
  47 {
  48   char *reverse_command;
  49   enum exec_direction_kind dir = execution_direction;
  50   struct cleanup *old_chain;
  51
  52   if (dir == EXEC_ERROR)
  53     error (_("Target %s does not support this command."), target_shortname);
  54
  55   if (dir == EXEC_REVERSE)
  56     error (_("Already in reverse mode.  Use '%s' or 'set exec-dir forward'."),
  57            cmd);
  58
  59   if (!target_can_execute_reverse)
  60     error (_("Target %s does not support this command."), target_shortname);
  61
  62   reverse_command = xstrprintf ("%s %s", cmd, args ? args : "");
  63   old_chain = make_cleanup (exec_direction_default, NULL);
  64   make_cleanup (xfree, reverse_command);
  65   execution_direction = EXEC_REVERSE;
  66   execute_command (reverse_command, from_tty);
  67   do_cleanups (old_chain);
  68 }
  69
  70 static void
  71 reverse_step (char *args, int from_tty)
  72 {
  73   exec_reverse_once ("step", args, from_tty);
  74 }
  75
  76 static void
  77 reverse_stepi (char *args, int from_tty)
  78 {
  79   exec_reverse_once ("stepi", args, from_tty);
  80 }
  81
  82 static void
  83 reverse_next (char *args, int from_tty)
  84 {
  85   exec_reverse_once ("next", args, from_tty);
  86 }
  87
  88 static void
  89 reverse_nexti (char *args, int from_tty)
  90 {
  91   exec_reverse_once ("nexti", args, from_tty);
  92 }
  93
  94 static void
  95 reverse_continue (char *args, int from_tty)
  96 {
  97   exec_reverse_once ("continue", args, from_tty);
  98 }
  99
 100 static void
 101 reverse_finish (char *args, int from_tty)
 102 {
 103   exec_reverse_once ("finish", args, from_tty);
 104 }
 105
 106 /* Data structures for a bookmark list.  */
 107
 108 struct bookmark {
 109   struct bookmark *next;
 110   int number;
 111   CORE_ADDR pc;
 112   struct symtab_and_line sal;
 113   gdb_byte *opaque_data;
 114 };
 115
 116 static struct bookmark *bookmark_chain;
 117 static int bookmark_count;
 118
 119 #define ALL_BOOKMARKS(B) for ((B) = bookmark_chain; (B); (B) = (B)->next)
 120
 121 #define ALL_BOOKMARKS_SAFE(B,TMP)           \
 122      for ((B) = bookmark_chain;             \
 123           (B) ? ((TMP) = (B)->next, 1) : 0; \
 124           (B) = (TMP))
 125
 126 /* save_bookmark_command -- implement "bookmark" command.
 127    Call target method to get a bookmark identifier.
 128    Insert bookmark identifier into list.
 129
 130    Identifier will be a malloc string (gdb_byte *).
 131    Up to us to free it as required.  */
 132
 133 static void
 134 save_bookmark_command (char *args, int from_tty)
 135 {
 136   /* Get target's idea of a bookmark.  */
 137   gdb_byte *bookmark_id = target_get_bookmark (args, from_tty);
 138   struct bookmark *b, *b1;
 139   struct gdbarch *gdbarch = get_regcache_arch (get_current_regcache ());
 140
 141   /* CR should not cause another identical bookmark.  */
 142   dont_repeat ();
 143
 144   if (bookmark_id == NULL)
 145     error (_("target_get_bookmark failed."));
 146
 147   /* Set up a bookmark struct.  */
 148   b = xcalloc (1, sizeof (struct bookmark));
 149   b->number = ++bookmark_count;
 150   init_sal (&b->sal);
 151   b->pc = regcache_read_pc (get_current_regcache ());
 152   b->sal = find_pc_line (b->pc, 0);
 153   b->sal.pspace = get_frame_program_space (get_current_frame ());
 154   b->opaque_data = bookmark_id;
 155   b->next = NULL;
 156
 157   /* Add this bookmark to the end of the chain, so that a list
 158      of bookmarks will come out in order of increasing numbers.  */
 159
 160   b1 = bookmark_chain;
 161   if (b1 == 0)
 162     bookmark_chain = b;
 163   else
 164     {
 165       while (b1->next)
 166         b1 = b1->next;
 167       b1->next = b;
 168     }
 169   printf_filtered (_("Saved bookmark %d at %s\n"), b->number,
 170                      paddress (gdbarch, b->sal.pc));
 171 }
 172
 173 /* Implement "delete bookmark" command.  */
 174
 175 static int
 176 delete_one_bookmark (struct bookmark *b)
 177 {
 178   struct bookmark *b1;
 179
 180   /* Special case, first item in list.  */
 181   if (b == bookmark_chain)
 182     bookmark_chain = b->next;
 183
 184   /* Find bookmark preceeding "marked" one, so we can unlink.  */
 185   if (b)
 186     {
 187       ALL_BOOKMARKS (b1)
 188         if (b1->next == b)
 189           {
 190             /* Found designated bookmark.  Unlink and delete.  */
 191             b1->next = b->next;
 192             break;
 193           }
 194       xfree (b->opaque_data);
 195       xfree (b);
 196       return 1;         /* success */
 197     }
 198   return 0;             /* failure */
 199 }
 200
 201 static void
 202 delete_all_bookmarks (void)
 203 {
 204   struct bookmark *b, *b1;
 205
 206   ALL_BOOKMARKS_SAFE (b, b1)
 207     {
 208       xfree (b->opaque_data);
 209       xfree (b);
 210     }
 211   bookmark_chain = NULL;
 212 }
 213
 214 static void
 215 delete_bookmark_command (char *args, int from_tty)
 216 {
 217   struct bookmark *b;
 218   unsigned long num;
 219
 220   if (bookmark_chain == NULL)
 221     {
 222       warning (_("No bookmarks."));
 223       return;
 224     }
 225
 226   if (args == NULL || args[0] == '\0')
 227     {
 228       if (from_tty && !query (_("Delete all bookmarks? ")))
 229         return;
 230       delete_all_bookmarks ();
 231       return;
 232     }
 233
 234   num = strtoul (args, NULL, 0);
 235   /* Find bookmark with corresponding number.  */
 236   ALL_BOOKMARKS (b)
 237     if (b->number == num)
 238       break;
 239
 240   if (!delete_one_bookmark (b))
 241     /* Not found.  */
 242     error (_("delete bookmark: no bookmark found for '%s'."), args);
 243 }
 244
 245 /* Implement "goto-bookmark" command.  */
 246
 247 static void
 248 goto_bookmark_command (char *args, int from_tty)
 249 {
 250   struct bookmark *b;
 251   unsigned long num;
 252
 253   if (args == NULL || args[0] == '\0')
 254     error (_("Command requires an argument."));
 255
 256   if (strncmp (args, "start", strlen ("start")) == 0
 257       || strncmp (args, "begin", strlen ("begin")) == 0
 258       || strncmp (args, "end",   strlen ("end")) == 0)
 259     {
 260       /* Special case.  Give target opportunity to handle.  */
 261       target_goto_bookmark (args, from_tty);
 262       return;
 263     }
 264
 265   if (args[0] == '\'' || args[0] == '\"')
 266     {
 267       /* Special case -- quoted string.  Pass on to target.  */
 268       if (args[strlen (args) - 1] != args[0])
 269         error (_("Unbalanced quotes: %s"), args);
 270       target_goto_bookmark (args, from_tty);
 271       return;
 272     }
 273
 274   /* General case.  Bookmark identified by bookmark number.  */
 275   num = strtoul (args, NULL, 0);
 276   ALL_BOOKMARKS (b)
 277     if (b->number == num)
 278       break;
 279
 280   if (b)
 281     {
 282       /* Found.  Send to target method.  */
 283       target_goto_bookmark (b->opaque_data, from_tty);
 284       return;
 285     }
 286   /* Not found.  */
 287   error (_("goto-bookmark: no bookmark found for '%s'."), args);
 288 }
 289
 290 /* Implement "info bookmarks" command.  */
 291
 292 static void
 293 bookmarks_info (char *args, int from_tty)
 294 {
 295   struct bookmark *b;
 296   int bnum = -1;
 297   struct gdbarch *gdbarch;
 298
 299   if (args)
 300     bnum = parse_and_eval_long (args);
 301
 302   if (!bookmark_chain)
 303     {
 304       printf_filtered (_("No bookmarks.\n"));
 305       return;
 306     }
 307
 308   gdbarch = get_regcache_arch (get_current_regcache ());
 309   printf_filtered (_("Bookmark    Address     Opaque\n"));
 310   printf_filtered (_("   ID                    Data\n"));
 311
 312   ALL_BOOKMARKS (b)
 313     printf_filtered ("   %d       %s    '%s'\n",
 314                      b->number,
 315                      paddress (gdbarch, b->pc),
 316                      b->opaque_data);
 317 }
 318
 319
 320 /* Provide a prototype to silence -Wmissing-prototypes.  */
 321 extern initialize_file_ftype _initialize_reverse;
 322
 323 void
 324 _initialize_reverse (void)
 325 {
 326   add_com ("reverse-step", class_run, reverse_step, _("\
 327 Step program backward until it reaches the beginning of another source line.\n\
 328 Argument N means do this N times (or till program stops for another reason).")
 329            );
 330   add_com_alias ("rs", "reverse-step", class_alias, 1);
 331
 332   add_com ("reverse-next", class_run, reverse_next, _("\
 333 Step program backward, proceeding through subroutine calls.\n\
 334 Like the \"reverse-step\" command as long as subroutine calls do not happen;\n\
 335 when they do, the call is treated as one instruction.\n\
 336 Argument N means do this N times (or till program stops for another reason).")
 337            );
 338   add_com_alias ("rn", "reverse-next", class_alias, 1);
 339
 340   add_com ("reverse-stepi", class_run, reverse_stepi, _("\
 341 Step backward exactly one instruction.\n\
 342 Argument N means do this N times (or till program stops for another reason).")
 343            );
 344   add_com_alias ("rsi", "reverse-stepi", class_alias, 0);
 345
 346   add_com ("reverse-nexti", class_run, reverse_nexti, _("\
 347 Step backward one instruction, but proceed through called subroutines.\n\
 348 Argument N means do this N times (or till program stops for another reason).")
 349            );
 350   add_com_alias ("rni", "reverse-nexti", class_alias, 0);
 351
 352   add_com ("reverse-continue", class_run, reverse_continue, _("\
 353 Continue program being debugged but run it in reverse.\n\
 354 If proceeding from breakpoint, a number N may be used as an argument,\n\
 355 which means to set the ignore count of that breakpoint to N - 1 (so that\n\
 356 the breakpoint won't break until the Nth time it is reached)."));
 357   add_com_alias ("rc", "reverse-continue", class_alias, 0);
 358
 359   add_com ("reverse-finish", class_run, reverse_finish, _("\
 360 Execute backward until just before selected stack frame is called."));
 361
 362   add_com ("bookmark", class_bookmark, save_bookmark_command, _("\
 363 Set a bookmark in the program's execution history.\n\
 364 A bookmark represents a point in the execution history \n\
 365 that can be returned to at a later point in the debug session."));
 366   add_info ("bookmarks", bookmarks_info, _("\
 367 Status of user-settable bookmarks.\n\
 368 Bookmarks are user-settable markers representing a point in the \n\
 369 execution history that can be returned to later in the same debug \n\
 370 session."));
 371   add_cmd ("bookmark", class_bookmark, delete_bookmark_command, _("\
 372 Delete a bookmark from the bookmark list.\n\
 373 Argument is a bookmark number, or no argument to delete all bookmarks.\n"),
 374            &deletelist);
 375   add_com ("goto-bookmark", class_bookmark, goto_bookmark_command, _("\
 376 Go to an earlier-bookmarked point in the program's execution history.\n\
 377 Argument is the bookmark number of a bookmark saved earlier by using \n\
 378 the 'bookmark' command, or the special arguments:\n\
 379   start (beginning of recording)\n\
 380   end   (end of recording)\n"));
 381 }