123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109 |
- /* Bug 1190: EOF conditions are supposed to be sticky.
- Copyright (C) 2018 Free Software Foundation.
- Copying and distribution of this file, with or without modification,
- are permitted in any medium without royalty provided the copyright
- notice and this notice are preserved. This file is offered as-is,
- without any warranty. */
- /* ISO C1999 specification of fgetc:
- #include <stdio.h>
- int fgetc (FILE *stream);
- Description
- If the end-of-file indicator for the input stream pointed to by
- stream is not set and a next character is present, the fgetc
- function obtains that character as an unsigned char converted to
- an int and advances the associated file position indicator for
- the stream (if defined).
- Returns
- If the end-of-file indicator for the stream is set, or if the
- stream is at end-of-file, the end-of-file indicator for the
- stream is set and the fgetc function returns EOF. Otherwise, the
- fgetc function returns the next character from the input stream
- pointed to by stream. If a read error occurs, the error indicator
- for the stream is set and the fgetc function returns EOF.
- The requirement to return EOF "if the end-of-file indicator for the
- stream is set" was new in C99; the language in the 1989 edition of
- the standard was ambiguous. Historically, BSD-derived Unix always
- had the C99 behavior, whereas in System V fgetc would attempt to
- call read() again before returning EOF again. Prior to version 2.28,
- glibc followed the System V behavior even though this does not
- comply with C99.
- See
- <https://sourceware.org/bugzilla/show_bug.cgi?id=1190>,
- <https://sourceware.org/bugzilla/show_bug.cgi?id=19476>,
- and the thread at
- <https://sourceware.org/ml/libc-alpha/2012-09/msg00343.html>
- for more detail. */
- #include <support/tty.h>
- #include <support/check.h>
- #include <fcntl.h>
- #include <stdio.h>
- #include <stdlib.h>
- #include <string.h>
- #include <unistd.h>
- #define XWRITE(fd, s, msg) do { \
- if (write (fd, s, sizeof s - 1) != sizeof s - 1) \
- { \
- perror ("write " msg); \
- return 1; \
- } \
- } while (0)
- int
- do_test (void)
- {
- /* The easiest way to set up the conditions under which you can
- notice whether the end-of-file indicator is sticky, is with a
- pseudo-tty. This is also the case which applications are most
- likely to care about. And it avoids any question of whether and
- how it is legitimate to access the same physical file with two
- independent FILE objects. */
- int outer_fd, inner_fd;
- FILE *fp;
- support_openpty (&outer_fd, &inner_fd, 0, 0, 0);
- fp = fdopen (inner_fd, "r+");
- if (!fp)
- {
- perror ("fdopen");
- return 1;
- }
- XWRITE (outer_fd, "abc\n\004", "first line + EOF");
- TEST_COMPARE (fgetc (fp), 'a');
- TEST_COMPARE (fgetc (fp), 'b');
- TEST_COMPARE (fgetc (fp), 'c');
- TEST_COMPARE (fgetc (fp), '\n');
- TEST_COMPARE (fgetc (fp), EOF);
- TEST_VERIFY_EXIT (feof (fp));
- TEST_VERIFY_EXIT (!ferror (fp));
- XWRITE (outer_fd, "d\n", "second line");
- /* At this point, there is a new full line of input waiting in the
- kernelside input buffer, but we should still observe EOF from
- stdio, because the end-of-file indicator has not been cleared. */
- TEST_COMPARE (fgetc (fp), EOF);
- /* Clearing EOF should reveal the next line of input. */
- clearerr (fp);
- TEST_COMPARE (fgetc (fp), 'd');
- TEST_COMPARE (fgetc (fp), '\n');
- fclose (fp);
- close (outer_fd);
- return 0;
- }
- #include <support/test-driver.c>
|