Clarify fpurge's effect on the file position.

[gnulib.git] / tests / test-fpurge.c

diff --git a/tests/test-fpurge.c b/tests/test-fpurge.c
index 596dd75..13388ec 100644 (file)
--- a/tests/test-fpurge.c
+++ b/tests/test-fpurge.c
@@ -40,74 +40,95 @@
 int
 main ()
 {
-  FILE *fp;
-
-  /* Create a file with some contents.  */
-  fp = fopen (TESTFILE, "w");
-  if (fp == NULL)
-    goto skip;
-  if (fwrite ("foobarsh", 1, 8, fp) < 8)
-    goto skip;
-  if (fclose (fp))
-    goto skip;
-
-  /* The file's contents is now "foobarsh".  */
-
-  /* Open it in read-write mode.  */
-  fp = fopen (TESTFILE, "r+");
-  if (fp == NULL)
-    goto skip;
-  if (fseek (fp, 3, SEEK_CUR))
-    goto skip;
-  if (fwrite ("g", 1, 1, fp) < 1)
-    goto skip;
-  if (fflush (fp))
-    goto skip;
-  if (fwrite ("bz", 1, 2, fp) < 2)
-    goto skip;
-  /* Discard pending write.  */
-  ASSERT (fpurge (fp) == 0);
-  ASSERT (fclose (fp) == 0);
-
-  /* Open it in read-only mode.  */
-  fp = fopen (TESTFILE, "r");
-  if (fp == NULL)
-    goto skip;
-  {
-    char buf[8];
-    if (fread (buf, 1, 7, fp) < 7)
-      goto skip;
-    ASSERT (memcmp (buf, "foogars", 7) == 0);
-  }
-  /* Discard the buffered 'h', leaving position at EOF.  */
-  ASSERT (fpurge (fp) == 0);
-  ASSERT (getc (fp) == EOF);
-  ASSERT (fclose (fp) == 0);
-
-  /* The file's contents is now "foogarsh".  */
-
-  /* Ensure that purging a read does not corrupt subsequent writes.  */
-  fp = fopen (TESTFILE, "r+");
-  if (fp == NULL)
-    goto skip;
-  if (fseek (fp, -1, SEEK_END))
-    goto skip;
-  ASSERT (getc (fp) == 'h');
-  ASSERT (getc (fp) == EOF);
-  ASSERT (fpurge (fp) == 0);
-  ASSERT (putc ('!', fp) == '!');
-  ASSERT (fclose (fp) == 0);
-  fp = fopen (TESTFILE, "r");
-  if (fp == NULL)
-    goto skip;
-  {
-    char buf[10];
-    ASSERT (fread (buf, 1, 10, fp) == 9);
-    ASSERT (memcmp (buf, "foogarsh!", 9) == 0);
-  }
-  ASSERT (fclose (fp) == 0);
-
-  /* The file's contents is now "foogarsh!".  */
+  int check_filepos;
+
+  for (check_filepos = 0; check_filepos <= 1; check_filepos++)
+    {
+      FILE *fp;
+
+      /* Create a file with some contents.  */
+      fp = fopen (TESTFILE, "w");
+      if (fp == NULL)
+       goto skip;
+      if (fwrite ("foobarsh", 1, 8, fp) < 8)
+       goto skip;
+      if (fclose (fp))
+       goto skip;
+
+      /* The file's contents is now "foobarsh".  */
+
+      /* Open it in read-write mode.  */
+      fp = fopen (TESTFILE, "r+");
+      if (fp == NULL)
+       goto skip;
+      if (fseek (fp, 3, SEEK_CUR))
+       goto skip;
+      if (fwrite ("g", 1, 1, fp) < 1)
+       goto skip;
+      if (fflush (fp))
+       goto skip;
+      if (fwrite ("bz", 1, 2, fp) < 2)
+       goto skip;
+      /* Discard pending write.  */
+      ASSERT (fpurge (fp) == 0);
+      /* Verify that when discarding pending output, the file position is set
+        back to where it was before the write calls.  */
+      if (check_filepos)
+       ASSERT (ftell (fp) == 4);
+      ASSERT (fclose (fp) == 0);
+
+      /* Open it in read-only mode.  */
+      fp = fopen (TESTFILE, "r");
+      if (fp == NULL)
+       goto skip;
+      /* Verify that the pending writes before the fpurge were really
+        discarded.  */
+      {
+       char buf[8];
+       if (fread (buf, 1, 7, fp) < 7)
+         goto skip;
+       ASSERT (memcmp (buf, "foogars", 7) == 0);
+      }
+      /* Discard the buffered 'h'.  */
+      if (check_filepos)
+       ASSERT (ftell (fp) == 7);
+      ASSERT (fpurge (fp) == 0);
+      /* Verify that when discarding pending input, the file position is
+        advanced to match the end of the previously read input.  */
+      if (check_filepos)
+       ASSERT (ftell (fp) == 8);
+      ASSERT (getc (fp) == EOF);
+      ASSERT (fclose (fp) == 0);
+
+      /* The file's contents is now "foogarsh".  */
+
+      /* Ensure that purging a read does not corrupt subsequent writes.  */
+      fp = fopen (TESTFILE, "r+");
+      if (fp == NULL)
+       goto skip;
+      if (fseek (fp, -1, SEEK_END))
+       goto skip;
+      ASSERT (getc (fp) == 'h');
+      ASSERT (getc (fp) == EOF);
+      if (check_filepos)
+       ASSERT (ftell (fp) == 8);
+      ASSERT (fpurge (fp) == 0);
+      if (check_filepos)
+       ASSERT (ftell (fp) == 8);
+      ASSERT (putc ('!', fp) == '!');
+      ASSERT (fclose (fp) == 0);
+      fp = fopen (TESTFILE, "r");
+      if (fp == NULL)
+       goto skip;
+      {
+       char buf[10];
+       ASSERT (fread (buf, 1, 10, fp) == 9);
+       ASSERT (memcmp (buf, "foogarsh!", 9) == 0);
+      }
+      ASSERT (fclose (fp) == 0);
+
+      /* The file's contents is now "foogarsh!".  */
+    }
 
   remove (TESTFILE);
   return 0;