Make the tests sharper: also test the interaction with fflush().

diff --git a/ChangeLog b/ChangeLog
index 3987866167c5959549f2a1f808ccccb13eded46b..3c75b003e62207b73edea38df8a02ddd9d2485a4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,13 @@
+2007-04-28  Bruno Haible  <bruno@clisp.org>
+
+       * tests/test-fwriting.c (main): Also test the interaction between
+       fflush and fwriting.
+       * modules/fwriting-tests (Depends-on): Add fflush.
+
+       * tests/test-freading.c (main): Also test the interaction between
+       fflush and freading.
+       * modules/freading-tests (Depends-on): Add fflush.
+
 2007-04-28  Bruno Haible  <bruno@clisp.org>
 
        * lib/stdio_.h (fseek, ftell): Provide link warnings suggesting to use

diff --git a/modules/freading-tests b/modules/freading-tests
index fea9a69e7b59dce91aee65356d07851b05a75cb5..78cb96a79ce3af8f2cf7d4de09a11eb824494ba6 100644 (file)
--- a/modules/freading-tests
+++ b/modules/freading-tests
@@ -2,6 +2,7 @@ Files:
 tests/test-freading.c
 
 Depends-on:
+fflush
 
 configure.ac:
 

diff --git a/modules/fwriting-tests b/modules/fwriting-tests
index f4258d49406298edfc797431017312c6640b0b82..5594223f0fad0a5cdbf692eed6ed3bd7dc3c22d0 100644 (file)
--- a/modules/fwriting-tests
+++ b/modules/fwriting-tests
@@ -2,6 +2,7 @@ Files:
 tests/test-fwriting.c
 
 Depends-on:
+fflush
 
 configure.ac:
 

diff --git a/tests/test-freading.c b/tests/test-freading.c
index 02414e5d03591c0fadc0a1a28cecd3b890914b3d..e51d7ab184310442c74cde661984e13a0fc6d77f 100644 (file)
--- a/tests/test-freading.c
+++ b/tests/test-freading.c
@@ -57,6 +57,11 @@ main ()
   if (fgetc (fp) != 'b')
     goto skip;
   ASSERT (freading (fp));
+  fflush (fp);
+  ASSERT (freading (fp));
+  if (fgetc (fp) != 'a')
+    goto skip;
+  ASSERT (freading (fp));
   if (fseek (fp, 0, SEEK_END))
     goto skip;
   ASSERT (freading (fp));
@@ -77,12 +82,52 @@ main ()
   ASSERT (freading (fp));
   if (fseek (fp, 2, SEEK_CUR))
     goto skip;
-  /* freading (fp)) is undefined here, but fwriting is false.  */
+  /* freading (fp) is undefined here, but fwriting (fp) is false.  */
   if (fgetc (fp) != 'b')
     goto skip;
   ASSERT (freading (fp));
+  /* This fseek call is necessary when switching from reading to writing.
+     See the description of fopen(), ISO C 99 7.19.5.3.(6).  */
+  if (fseek (fp, 0, SEEK_CUR) != 0)
+    goto skip;
+  /* freading (fp) is undefined here, but fwriting (fp) is false.  */
+  if (fputc ('z', fp) != 'z')
+    goto skip;
+  ASSERT (!freading (fp));
+  if (fseek (fp, 0, SEEK_END))
+    goto skip;
+  ASSERT (!freading (fp));
+  if (fclose (fp))
+    goto skip;
+
+  /* Open it in read-write mode.  POSIX requires a reposition (fseek,
+     fsetpos, rewind) or EOF when transitioning from read to write;
+     freading is only deterministic after input or output, but this
+     test case should be portable even on open, after reposition, and
+     at EOF.  */
+  fp = fopen (TESTFILE, "r+");
+  if (fp == NULL)
+    goto skip;
+  ASSERT (!freading (fp));
+  if (fgetc (fp) != 'f')
+    goto skip;
+  ASSERT (freading (fp));
+  if (fseek (fp, 2, SEEK_CUR))
+    goto skip;
+  /* freading (fp) is undefined here, but fwriting (fp) is false.  */
+  if (fgetc (fp) != 'b')
+    goto skip;
+  ASSERT (freading (fp));
+  fflush (fp);
+  /* freading (fp) is undefined here, but fwriting (fp) is false.  */
+  if (fgetc (fp) != 'a')
+    goto skip;
+  ASSERT (freading (fp));
+  /* This fseek call is necessary when switching from reading to writing.
+     See the description of fopen(), ISO C 99 7.19.5.3.(6).  */
   if (fseek (fp, 0, SEEK_CUR) != 0)
     goto skip;
+  /* freading (fp) is undefined here, but fwriting (fp) is false.  */
   if (fputc ('z', fp) != 'z')
     goto skip;
   ASSERT (!freading (fp));

diff --git a/tests/test-fwriting.c b/tests/test-fwriting.c
index 24279f313ae4c493a0a83d0ce95d9a1bc4f0eac5..00b6870b4a31f7c2192c2c8b2f6d42377658e49f 100644 (file)
--- a/tests/test-fwriting.c
+++ b/tests/test-fwriting.c
@@ -57,6 +57,11 @@ main ()
   if (fgetc (fp) != 'b')
     goto skip;
   ASSERT (!fwriting (fp));
+  fflush (fp);
+  ASSERT (!fwriting (fp));
+  if (fgetc (fp) != 'a')
+    goto skip;
+  ASSERT (!fwriting (fp));
   if (fseek (fp, 0, SEEK_END))
     goto skip;
   ASSERT (!fwriting (fp));
@@ -81,14 +86,54 @@ main ()
   if (fgetc (fp) != 'b')
     goto skip;
   ASSERT (!fwriting (fp));
+  /* This fseek call is necessary when switching from reading to writing.
+     See the description of fopen(), ISO C 99 7.19.5.3.(6).  */
+  if (fseek (fp, 0, SEEK_CUR) != 0)
+    goto skip;
+  ASSERT (!fwriting (fp));
+  if (fputc ('z', fp) != 'z')
+    goto skip;
+  ASSERT (fwriting (fp));
+  if (fseek (fp, 0, SEEK_END))
+    goto skip;
+  /* fwriting (fp) is undefined here, but freading (fp) is false.  */
+  if (fclose (fp))
+    goto skip;
+
+  /* Open it in read-write mode.  POSIX requires a reposition (fseek,
+     fsetpos, rewind) or fflush when transitioning from write to read,
+     fwriting is only deterministic after input or output, but this
+     test case should be portable even on open, after reposition, and
+     after fflush.  */
+  fp = fopen (TESTFILE, "r+");
+  if (fp == NULL)
+    goto skip;
+  ASSERT (!fwriting (fp));
+  if (fgetc (fp) != 'f')
+    goto skip;
+  ASSERT (!fwriting (fp));
+  if (fseek (fp, 2, SEEK_CUR))
+    goto skip;
+  ASSERT (!fwriting (fp));
+  if (fgetc (fp) != 'b')
+    goto skip;
+  ASSERT (!fwriting (fp));
+  fflush (fp);
+  ASSERT (!fwriting (fp));
+  if (fgetc (fp) != 'a')
+    goto skip;
+  ASSERT (!fwriting (fp));
+  /* This fseek call is necessary when switching from reading to writing.
+     See the description of fopen(), ISO C 99 7.19.5.3.(6).  */
   if (fseek (fp, 0, SEEK_CUR) != 0)
     goto skip;
+  ASSERT (!fwriting (fp));
   if (fputc ('z', fp) != 'z')
     goto skip;
   ASSERT (fwriting (fp));
   if (fseek (fp, 0, SEEK_END))
     goto skip;
-  /* fwriting (fp) is undefined here, but freading is false.  */
+  /* fwriting (fp) is undefined here, but freading (fp) is false.  */
   if (fclose (fp))
     goto skip;