Make print_target_wait_results print the whole ptid
authorPedro Alves <palves@redhat.com>
Mon, 30 Mar 2015 16:02:01 +0000 (17:02 +0100)
committerPedro Alves <palves@redhat.com>
Wed, 1 Apr 2015 14:21:47 +0000 (15:21 +0100)
Makes "set debug infrun 1" a bit clearer.  Before:

infrun: target_wait (-1, status) =
 infrun:   6299 [Thread 0x7ffff7fc1700 (LWP 6340)],

after:

 infrun: target_wait (-1.0.0, status) =
 infrun:   7233.7237.0 [Thread 0x7ffff7fc1700 (LWP 7237)],

gdb/ChangeLog:
2015-04-01  Pedro Alves  <palves@redhat.com>

* infrun.c (print_target_wait_results): Print all the ptid
elements.

gdb/ChangeLog
gdb/infrun.c

index f5adaf88cc67e8754e0b0de2002d566b6e43b629..7f9cc431fb2554e813a8f6b0d74767a11f0e148d 100644 (file)
@@ -1,3 +1,8 @@
+2015-04-01  Pedro Alves  <palves@redhat.com>
+
+       * infrun.c (print_target_wait_results): Print all the ptid
+       elements.
+
 2015-04-01  Pedro Alves  <palves@redhat.com>
 
        * infrun.c (keep_going): Also discard cleanups if inserting
index f366a579c61fb498a12b3e90b91fdcbdf48466a3..4b38fce859353d128a3ed4f99311c0f9ad6e7fed 100644 (file)
@@ -3021,14 +3021,19 @@ print_target_wait_results (ptid_t waiton_ptid, ptid_t result_ptid,
      is set.  */
 
   fprintf_unfiltered (tmp_stream,
-                     "infrun: target_wait (%d", ptid_get_pid (waiton_ptid));
+                     "infrun: target_wait (%d.%ld.%ld",
+                     ptid_get_pid (waiton_ptid),
+                     ptid_get_lwp (waiton_ptid),
+                     ptid_get_tid (waiton_ptid));
   if (ptid_get_pid (waiton_ptid) != -1)
     fprintf_unfiltered (tmp_stream,
                        " [%s]", target_pid_to_str (waiton_ptid));
   fprintf_unfiltered (tmp_stream, ", status) =\n");
   fprintf_unfiltered (tmp_stream,
-                     "infrun:   %d [%s],\n",
+                     "infrun:   %d.%ld.%ld [%s],\n",
                      ptid_get_pid (result_ptid),
+                     ptid_get_lwp (result_ptid),
+                     ptid_get_tid (result_ptid),
                      target_pid_to_str (result_ptid));
   fprintf_unfiltered (tmp_stream,
                      "infrun:   %s\n",