title: Gdb process record/replay execution log
body: <p>Could somebody tell me where would the execution log be stored when using the process record/replay feature in gdb?</p>
  
  <p>Thanks
  Raj</p>
  
  <p><strong>Update</strong></p>
  
  <pre><code>#include &lt;stdio.h&gt;
  
  int main (int argc, char const *argv[])
  {
      printf("Hello World\n");
      printf("How are you?\n");
      char *c = NULL;
      printf("%c\n", *c);
      return 0;
  }      
  </code></pre>
  
  <p>The code above seg faults when I dereference <strong>c</strong>. I want to use this example to figure out how I can use reverse-next/reverse-continue to go back after a segfault. I am able to do reverse-next and reach the first printf statement at which I put a break point when recording the execution. After this, when I try the "next" command in gdb, I see that the cursor moves through the printf statements but I don't see any output printed on the terminal. In summary, I want to know if the record/replay feature can be used to go through the execution history even after a segfault?</p>