1 /*	$NetBSD: t_fflush.c,v 1.1 2011/09/11 05:15:55 jruoho Exp $ */
2 
3 /*-
4  * Copyright (c) 2011 The NetBSD Foundation, Inc.
5  * All rights reserved.
6  *
7  * This code is derived from software contributed to The NetBSD Foundation
8  * by Jukka Ruohonen.
9  *
10  * Redistribution and use in source and binary forms, with or without
11  * modification, are permitted provided that the following conditions
12  * are met:
13  * 1. Redistributions of source code must retain the above copyright
14  *    notice, this list of conditions and the following disclaimer.
15  * 2. Redistributions in binary form must reproduce the above copyright
16  *    notice, this list of conditions and the following disclaimer in the
17  *    documentation and/or other materials provided with the distribution.
18  *
19  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29  * POSSIBILITY OF SUCH DAMAGE.
30  */
31 #include <sys/cdefs.h>
32 __RCSID("$NetBSD: t_fflush.c,v 1.1 2011/09/11 05:15:55 jruoho Exp $");
33 
34 #include <atf-c.h>
35 #include <errno.h>
36 #include <stdio.h>
37 #include <unistd.h>
38 
39 static const char *path = "fflush";
40 
41 ATF_TC_WITH_CLEANUP(fflush_err);
42 ATF_TC_HEAD(fflush_err, tc)
43 {
44 	atf_tc_set_md_var(tc, "descr", "Test errors from fflush(3)");
45 }
46 
47 ATF_TC_BODY(fflush_err, tc)
48 {
49 	FILE *f;
50 
51 #ifdef __FreeBSD__
52 	atf_tc_expect_fail("the EOF invariant fails on FreeBSD; this is new");
53 #endif
54 
55 	f = fopen(path, "w");
56 
57 	ATF_REQUIRE(f != NULL);
58 	ATF_REQUIRE(fflush(NULL) == 0);
59 	ATF_REQUIRE(fclose(f) == 0);
60 
61 	f = fopen(path, "r");
62 	ATF_REQUIRE(f != NULL);
63 
64 	/*
65 	 * In NetBSD the call should fail if the supplied
66 	 * parameteris not an open stream or the stream is
67 	 * not open for writing.
68 	 */
69 	errno = 0;
70 	ATF_REQUIRE_ERRNO(EBADF, fflush(f) == EOF);
71 
72 	ATF_REQUIRE(fclose(f) == 0);
73 
74 	errno = 0;
75 	ATF_REQUIRE_ERRNO(EBADF, fflush(f) == EOF);
76 
77 	(void)unlink(path);
78 }
79 
80 ATF_TC_CLEANUP(fflush_err, tc)
81 {
82 	(void)unlink(path);
83 }
84 
85 ATF_TC_WITH_CLEANUP(fflush_seek);
86 ATF_TC_HEAD(fflush_seek, tc)
87 {
88 	atf_tc_set_md_var(tc, "descr", "Test file offsets with fflush(3)");
89 }
90 
91 ATF_TC_BODY(fflush_seek, tc)
92 {
93 	char buf[12];
94 	int fd = -1;
95 	FILE *f;
96 
97 	/*
98 	 * IEEE Std 1003.1-2008:
99 	 *
100 	 * "For a stream open for reading, if the file
101 	 *  is not already at EOF, and the file is one
102 	 *  capable of seeking, the file offset of the
103 	 *  underlying open file description shall be
104 	 *  adjusted so that the next operation on the
105 	 *  open file description deals with the byte
106 	 *  after the last one read from or written to
107 	 *  the stream being flushed."
108 	 */
109 	f = fopen(path, "w");
110 	ATF_REQUIRE(f != NULL);
111 
112 	ATF_REQUIRE(fwrite("garbage", 1, 7, f) == 7);
113 	ATF_REQUIRE(fclose(f) == 0);
114 
115 	f = fopen(path, "r+");
116 	ATF_REQUIRE(f != NULL);
117 
118 	fd = fileno(f);
119 	ATF_REQUIRE(fd != -1);
120 
121 	ATF_REQUIRE(fread(buf, 1, 3, f) == 3);
122 	ATF_REQUIRE(fflush(f) == 0);
123 	ATF_REQUIRE(fseek(f, 0, SEEK_CUR) == 0);
124 
125 	/*
126 	 * Verify that the offsets are right and that
127 	 * a read operation resumes at the correct location.
128 	 */
129 	ATF_REQUIRE(ftell(f) == 3);
130 	ATF_REQUIRE(lseek(fd, 0, SEEK_CUR) == 3);
131 	ATF_REQUIRE(fgetc(f) == 'b');
132 
133 	ATF_REQUIRE(fclose(f) == 0);
134 	ATF_REQUIRE(unlink(path) == 0);
135 }
136 
137 ATF_TC_CLEANUP(fflush_seek, tc)
138 {
139 	(void)unlink(path);
140 }
141 
142 ATF_TC_WITH_CLEANUP(fpurge_err);
143 ATF_TC_HEAD(fpurge_err, tc)
144 {
145 	atf_tc_set_md_var(tc, "descr", "Test errors from fpurge(3)");
146 }
147 
148 ATF_TC_BODY(fpurge_err, tc)
149 {
150 	FILE *f;
151 
152 	f = fopen(path, "w");
153 	ATF_REQUIRE(f != NULL);
154 	ATF_REQUIRE(fclose(f) == 0);
155 
156 	errno = 0;
157 	ATF_REQUIRE_ERRNO(EBADF, fpurge(f) == EOF);
158 
159 	(void)unlink(path);
160 }
161 
162 ATF_TC_CLEANUP(fpurge_err, tc)
163 {
164 	(void)unlink(path);
165 }
166 
167 ATF_TP_ADD_TCS(tp)
168 {
169 
170 	ATF_TP_ADD_TC(tp, fflush_err);
171 	ATF_TP_ADD_TC(tp, fflush_seek);
172 	ATF_TP_ADD_TC(tp, fpurge_err);
173 
174 	return atf_no_error();
175 }
176