2012-10-26 Pedro Alves <palves@redhat.com>

	* infrun.c (handle_inferior_event) <TARGET_WAITKIND_SIGNALLED>:
	Remove comment.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 8adfc7c6e8eb845ea28ed86beb1601c8687ff50e..e717353f996ed446740579ede13aa9442d440fdc 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2012-10-26  Pedro Alves  <palves@redhat.com>
+
+       * infrun.c (handle_inferior_event) <TARGET_WAITKIND_SIGNALLED>:
+       Remove comment.
+
 2012-10-26  Pedro Alves  <palves@redhat.com>
 
        * target.c (target_waitstatus_to_string): Handle

diff --git a/gdb/infrun.c b/gdb/infrun.c
index eb97c52b7b619233527a4ba0047c129fb7143524..54794867260197338644707dd1aa3ee67f4e87b7 100644 (file)
--- a/gdb/infrun.c
+++ b/gdb/infrun.c
@@ -3406,11 +3406,6 @@ handle_inferior_event (struct execution_control_state *ecs)
       stop_print_frame = 0;
       target_terminal_ours (); /* Must do this before mourn anyway.  */
 
-      /* Note: By definition of TARGET_WAITKIND_SIGNALLED, we shouldn't
-         reach here unless the inferior is dead.  However, for years
-         target_kill() was called here, which hints that fatal signals aren't
-         really fatal on some systems.  If that's true, then some changes
-         may be needed.  */
       target_mourn_inferior ();
 
       print_signal_exited_reason (ecs->ws.value.sig);