[PATCH 2/3] [gdb] Don't flush in handle_fatal_signal

[Tom de Vries <tdevries@suse.de>]

In handle_fatal_signal we use "gdb_stderr->flush ()".

In this function, we only want to use async-safe output, and flushing isn't.

Furthermore, all output is done using sig_write, which is unbuffered, so
there's nothing to flush.

Drop it.
---
 gdb/event-top.c | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/gdb/event-top.c b/gdb/event-top.c
index 0fb6eafec57..78683ec364f 100644
--- a/gdb/event-top.c
+++ b/gdb/event-top.c
@@ -1016,14 +1016,6 @@ handle_fatal_signal (int sig)
 	  sig_write (".");
 	}
       sig_write ("\n\n");
-
-      if (gdb_stderr == nullptr || gdb_stderr->fd () == -1)
-	{
-	  /* Writing to file descriptor instead of stream, no flush
-	     required.  */
-	}
-      else
-	gdb_stderr->flush ();
     }
 #endif
 
-- 
2.51.0