Enhance fgetc, fputc tests.

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

diff --git a/tests/test-fgetc.c b/tests/test-fgetc.c
index a4e1953..8e97e1d 100644 (file)
--- a/tests/test-fgetc.c
+++ b/tests/test-fgetc.c
@@ -51,6 +51,7 @@ main (int argc, char **argv)
     errno = 0;
     ASSERT (fgetc (fp) == EOF);
     ASSERT (errno == EBADF);
+    ASSERT (ferror (fp));
     fclose (fp);
   }
 
@@ -63,6 +64,7 @@ main (int argc, char **argv)
         errno = 0;
         ASSERT (fgetc (fp) == EOF);
         ASSERT (errno == EBADF);
+        ASSERT (ferror (fp));
         fclose (fp);
       }
   }
@@ -73,6 +75,7 @@ main (int argc, char **argv)
         errno = 0;
         ASSERT (fgetc (fp) == EOF);
         ASSERT (errno == EBADF);
+        ASSERT (ferror (fp));
         fclose (fp);
       }
   }