Branch data Line data Source code
1 : : /* Test of fread() 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 (fread, size_t, (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-fread.txt";
36 : :
37 : : /* We don't have an fread() 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 fread() sets errno if someone else closes the stream
54 : : fd behind the back of stdio. */
55 : : {
56 : 1 : FILE *fp = fopen (filename, "r");
57 : : char buf[5];
58 [ - + ]: 1 : ASSERT (fp != NULL);
59 [ - + ]: 1 : ASSERT (close (fileno (fp)) == 0);
60 : 1 : errno = 0;
61 [ - + ]: 1 : ASSERT (fread (buf, 1, sizeof (buf), fp) == 0);
62 [ - + ]: 1 : ASSERT (errno == EBADF);
63 [ - + ]: 1 : ASSERT (ferror (fp));
64 : 1 : fclose (fp);
65 : : }
66 : :
67 : : /* Test that fread() sets errno if the stream was constructed with
68 : : an invalid file descriptor. */
69 : : {
70 : 1 : FILE *fp = fdopen (-1, "r");
71 [ - + ]: 1 : if (fp != NULL)
72 : : {
73 : : char buf[1];
74 : 0 : errno = 0;
75 [ # # ]: 0 : ASSERT (fread (buf, 1, 1, fp) == 0);
76 [ # # ]: 0 : ASSERT (errno == EBADF);
77 [ # # ]: 0 : ASSERT (ferror (fp));
78 : 0 : fclose (fp);
79 : : }
80 : : }
81 : : {
82 : 1 : FILE *fp = fdopen (99, "r");
83 [ - + ]: 1 : if (fp != NULL)
84 : : {
85 : : char buf[1];
86 : 0 : errno = 0;
87 [ # # ]: 0 : ASSERT (fread (buf, 1, 1, fp) == 0);
88 [ # # ]: 0 : ASSERT (errno == EBADF);
89 [ # # ]: 0 : ASSERT (ferror (fp));
90 : 0 : fclose (fp);
91 : : }
92 : : }
93 : :
94 : : /* Clean up. */
95 : 1 : unlink (filename);
96 : :
97 : 1 : return 0;
98 : : }
|