gdb: use ptid_t::to_string in print_target_wait_results

The ptid_t::to_string method was introduced recently, to format a ptid_t
for debug purposes.  It formats the ptid exactly as is done in
print_target_wait_results, so make print_target_wait_results use it.

Change-Id: I0a81c8040d3e1858fb304cb28366b34d94eefe4d

diff --git a/gdb/infrun.c b/gdb/infrun.c
index 6c42c48d87cb6810eddc4afbbfb3690714b83f35..8870f82b9cc3f53db689085270f37d15eb646801 100644 (file)
--- a/gdb/infrun.c
+++ b/gdb/infrun.c
@@ -3442,15 +3442,11 @@ void
 print_target_wait_results (ptid_t waiton_ptid, ptid_t result_ptid,
                           const struct target_waitstatus *ws)
 {
-  infrun_debug_printf ("target_wait (%d.%ld.%ld [%s], status) =",
-                      waiton_ptid.pid (),
-                      waiton_ptid.lwp (),
-                      waiton_ptid.tid (),
+  infrun_debug_printf ("target_wait (%s [%s], status) =",
+                      waiton_ptid.to_string ().c_str (),
                       target_pid_to_str (waiton_ptid).c_str ());
-  infrun_debug_printf ("  %d.%ld.%ld [%s],",
-                      result_ptid.pid (),
-                      result_ptid.lwp (),
-                      result_ptid.tid (),
+  infrun_debug_printf ("  %s [%s],",
+                      result_ptid.to_string ().c_str (),
                       target_pid_to_str (result_ptid).c_str ());
   infrun_debug_printf ("  %s", target_waitstatus_to_string (ws).c_str ());
 }