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