Optimization: no need to flush stdin if we can determine quickly that stdin's

input buffer is empty.

diff --git a/ChangeLog b/ChangeLog
index 8a81c4a..9fd9405 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,12 @@
 2007-08-19  Bruno Haible  <bruno@clisp.org>
 
+       * modules/closein (Depends-on): Add freadahead.
+       * lib/closein.c: Include freadahead.h.
+       (close_stdin): Skip the fseeko and fflush calls if freadahead(stdin)
+       is zero.
+
+2007-08-19  Bruno Haible  <bruno@clisp.org>
+
        * modules/freadahead-tests: New file.
        * tests/test-freadahead.sh: New file.
        * tests/test-freadahead.c: New file.

diff --git a/lib/closein.c b/lib/closein.c
index 4450d5b..bca7711 100644 (file)
--- a/lib/closein.c
+++ b/lib/closein.c
@@ -32,6 +32,7 @@
 #include "closeout.h"
 #include "error.h"
 #include "exitfail.h"
+#include "freadahead.h"
 #include "quotearg.h"
 
 static const char *file_name;
@@ -80,10 +81,16 @@ close_stdin (void)
 {
   bool fail = false;
 
-  /* Only attempt flush if stdin is seekable, as fflush is entitled to
-     fail on non-seekable streams.  */
-  if (fseeko (stdin, 0, SEEK_CUR) == 0 && fflush (stdin) != 0)
-    fail = true;
+  /* There is no need to flush stdin if we can determine quickly that stdin's
+     input buffer is empty; in this case we know that if stdin is seekable,
+     fseeko (stdin, 0, SEEK_CUR) == lseek (0, 0, SEEK_CUR).  */
+  if (freadahead (stdin) > 0)
+    {
+      /* Only attempt flush if stdin is seekable, as fflush is entitled to
+        fail on non-seekable streams.  */
+      if (fseeko (stdin, 0, SEEK_CUR) == 0 && fflush (stdin) != 0)
+       fail = true;
+    }
   if (close_stream (stdin) != 0)
     fail = true;
   if (fail)

diff --git a/modules/closein b/modules/closein
index fefeae3..522a383 100644 (file)
--- a/modules/closein
+++ b/modules/closein
@@ -8,6 +8,7 @@ m4/closein.m4
 
 Depends-on:
 closeout
+freadahead
 fflush
 stdbool