Branch data Line data Source code
1 : : /* Test of fputc() 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 (fputc, int, (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-fputc.txt";
36 : :
37 : : /* We don't have an fputc() 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 : : /* Test that fputc() on an unbuffered stream sets errno if someone else
45 : : closes the stream fd behind the back of stdio. */
46 : : {
47 : 1 : FILE *fp = fopen (filename, "w");
48 [ - + ]: 1 : ASSERT (fp != NULL);
49 : 1 : setvbuf (fp, NULL, _IONBF, 0);
50 [ - + ]: 1 : ASSERT (close (fileno (fp)) == 0);
51 : 1 : errno = 0;
52 [ - + ]: 1 : ASSERT (fputc ('x', fp) == EOF);
53 [ - + ]: 1 : ASSERT (errno == EBADF);
54 [ - + ]: 1 : ASSERT (ferror (fp));
55 : 1 : fclose (fp);
56 : : }
57 : :
58 : : /* Test that fputc() on an unbuffered stream sets errno if the stream
59 : : was constructed with an invalid file descriptor. */
60 : : {
61 : 1 : FILE *fp = fdopen (-1, "w");
62 [ - + ]: 1 : if (fp != NULL)
63 : : {
64 : 0 : setvbuf (fp, NULL, _IONBF, 0);
65 : 0 : errno = 0;
66 [ # # ]: 0 : ASSERT (fputc ('x', fp) == EOF);
67 [ # # ]: 0 : ASSERT (errno == EBADF);
68 [ # # ]: 0 : ASSERT (ferror (fp));
69 : 0 : fclose (fp);
70 : : }
71 : : }
72 : : {
73 : 1 : FILE *fp = fdopen (99, "w");
74 [ - + ]: 1 : if (fp != NULL)
75 : : {
76 : 0 : setvbuf (fp, NULL, _IONBF, 0);
77 : 0 : errno = 0;
78 [ # # ]: 0 : ASSERT (fputc ('x', fp) == EOF);
79 [ # # ]: 0 : ASSERT (errno == EBADF);
80 [ # # ]: 0 : ASSERT (ferror (fp));
81 : 0 : fclose (fp);
82 : : }
83 : : }
84 : :
85 : : /* Clean up. */
86 : 1 : unlink (filename);
87 : :
88 : 1 : return 0;
89 : : }
|