Branch data Line data Source code
1 : : /* Test of fgetc() function.
2 : : Copyright (C) 2011-2012 Free Software Foundation, Inc.
3 : :
4 : : This program is free software; you can redistribute it and/or modify
5 : : it under the terms of the GNU General Public License as published by
6 : : the Free Software Foundation; either version 3, or (at your option)
7 : : any later version.
8 : :
9 : : This program is distributed in the hope that it will be useful,
10 : : but WITHOUT ANY WARRANTY; without even the implied warranty of
11 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 : : GNU General Public License for more details.
13 : :
14 : : You should have received a copy of the GNU General Public License
15 : : along with this program; if not, see <http://www.gnu.org/licenses/>. */
16 : :
17 : : #include <config.h>
18 : :
19 : : #include <stdio.h>
20 : :
21 : : #include "signature.h"
22 : : SIGNATURE_CHECK (fgetc, int, (FILE *));
23 : :
24 : : #include <errno.h>
25 : : #include <fcntl.h>
26 : : #include <unistd.h>
27 : :
28 : : #include "msvc-inval.h"
29 : :
30 : : #include "macros.h"
31 : :
32 : : int
33 : 1 : main (int argc, char **argv)
34 : : {
35 : 1 : const char *filename = "test-fgetc.txt";
36 : :
37 : : /* We don't have an fgetc() function that installs an invalid parameter
38 : : handler so far. So install that handler here, explicitly. */
39 : : #if HAVE_MSVC_INVALID_PARAMETER_HANDLER \
40 : : && MSVC_INVALID_PARAMETER_HANDLING == DEFAULT_HANDLING
41 : : gl_msvc_inval_ensure_handler ();
42 : : #endif
43 : :
44 : : /* Prepare a file. */
45 : : {
46 : 1 : const char text[] = "hello world";
47 : 1 : int fd = open (filename, O_RDWR | O_CREAT | O_TRUNC, 0600);
48 [ - + ]: 1 : ASSERT (fd >= 0);
49 [ - + ]: 1 : ASSERT (write (fd, text, sizeof (text)) == sizeof (text));
50 [ - + ]: 1 : ASSERT (close (fd) == 0);
51 : : }
52 : :
53 : : /* Test that fgetc() sets errno if someone else closes the stream
54 : : fd behind the back of stdio. */
55 : : {
56 : 1 : FILE *fp = fopen (filename, "r");
57 [ - + ]: 1 : ASSERT (fp != NULL);
58 [ - + ]: 1 : ASSERT (close (fileno (fp)) == 0);
59 : 1 : errno = 0;
60 [ - + ]: 1 : ASSERT (fgetc (fp) == EOF);
61 [ - + ]: 1 : ASSERT (errno == EBADF);
62 [ - + ]: 1 : ASSERT (ferror (fp));
63 : 1 : fclose (fp);
64 : : }
65 : :
66 : : /* Test that fgetc() sets errno if the stream was constructed with
67 : : an invalid file descriptor. */
68 : : {
69 : 1 : FILE *fp = fdopen (-1, "r");
70 [ - + ]: 1 : if (fp != NULL)
71 : : {
72 : 0 : errno = 0;
73 [ # # ]: 0 : ASSERT (fgetc (fp) == EOF);
74 [ # # ]: 0 : ASSERT (errno == EBADF);
75 [ # # ]: 0 : ASSERT (ferror (fp));
76 : 0 : fclose (fp);
77 : : }
78 : : }
79 : : {
80 : 1 : FILE *fp = fdopen (99, "r");
81 [ - + ]: 1 : if (fp != NULL)
82 : : {
83 : 0 : errno = 0;
84 [ # # ]: 0 : ASSERT (fgetc (fp) == EOF);
85 [ # # ]: 0 : ASSERT (errno == EBADF);
86 [ # # ]: 0 : ASSERT (ferror (fp));
87 : 0 : fclose (fp);
88 : : }
89 : : }
90 : :
91 : : /* Clean up. */
92 : 1 : unlink (filename);
93 : :
94 : 1 : return 0;
95 : : }
|