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 8adfc7c..e717353 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,10 @@
 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
        TARGET_WAITKIND_VFORK_DONE.
 

diff --git a/gdb/infrun.c b/gdb/infrun.c
index eb97c52..5479486 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);