xref: /freebsd/contrib/netbsd-tests/lib/libc/stdio/t_fflush.c (revision 8f0ea33f2bbf3a6aa80235f0a02fa5f2780c2b17)
157718be8SEnji Cooper /*	$NetBSD: t_fflush.c,v 1.1 2011/09/11 05:15:55 jruoho Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 2011 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * This code is derived from software contributed to The NetBSD Foundation
857718be8SEnji Cooper  * by Jukka Ruohonen.
957718be8SEnji Cooper  *
1057718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
1157718be8SEnji Cooper  * modification, are permitted provided that the following conditions
1257718be8SEnji Cooper  * are met:
1357718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1457718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1557718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1657718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1757718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1857718be8SEnji Cooper  *
1957718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
2057718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
2157718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
2257718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2357718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2457718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2557718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2657718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2757718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2857718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2957718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
3057718be8SEnji Cooper  */
3157718be8SEnji Cooper #include <sys/cdefs.h>
3257718be8SEnji Cooper __RCSID("$NetBSD: t_fflush.c,v 1.1 2011/09/11 05:15:55 jruoho Exp $");
3357718be8SEnji Cooper 
3457718be8SEnji Cooper #include <atf-c.h>
3557718be8SEnji Cooper #include <errno.h>
3657718be8SEnji Cooper #include <stdio.h>
3757718be8SEnji Cooper #include <unistd.h>
3857718be8SEnji Cooper 
3957718be8SEnji Cooper static const char *path = "fflush";
4057718be8SEnji Cooper 
4157718be8SEnji Cooper ATF_TC_WITH_CLEANUP(fflush_err);
ATF_TC_HEAD(fflush_err,tc)4257718be8SEnji Cooper ATF_TC_HEAD(fflush_err, tc)
4357718be8SEnji Cooper {
4457718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test errors from fflush(3)");
4557718be8SEnji Cooper }
4657718be8SEnji Cooper 
ATF_TC_BODY(fflush_err,tc)4757718be8SEnji Cooper ATF_TC_BODY(fflush_err, tc)
4857718be8SEnji Cooper {
4957718be8SEnji Cooper 	FILE *f;
5057718be8SEnji Cooper 
51*708c5b01SEnji Cooper #ifdef __FreeBSD__
52*708c5b01SEnji Cooper 	atf_tc_expect_fail("the EOF invariant fails on FreeBSD; this is new");
53*708c5b01SEnji Cooper #endif
54*708c5b01SEnji Cooper 
5557718be8SEnji Cooper 	f = fopen(path, "w");
5657718be8SEnji Cooper 
5757718be8SEnji Cooper 	ATF_REQUIRE(f != NULL);
5857718be8SEnji Cooper 	ATF_REQUIRE(fflush(NULL) == 0);
5957718be8SEnji Cooper 	ATF_REQUIRE(fclose(f) == 0);
6057718be8SEnji Cooper 
6157718be8SEnji Cooper 	f = fopen(path, "r");
6257718be8SEnji Cooper 	ATF_REQUIRE(f != NULL);
6357718be8SEnji Cooper 
6457718be8SEnji Cooper 	/*
6557718be8SEnji Cooper 	 * In NetBSD the call should fail if the supplied
6657718be8SEnji Cooper 	 * parameteris not an open stream or the stream is
6757718be8SEnji Cooper 	 * not open for writing.
6857718be8SEnji Cooper 	 */
6957718be8SEnji Cooper 	errno = 0;
7057718be8SEnji Cooper 	ATF_REQUIRE_ERRNO(EBADF, fflush(f) == EOF);
7157718be8SEnji Cooper 
7257718be8SEnji Cooper 	ATF_REQUIRE(fclose(f) == 0);
7357718be8SEnji Cooper 
7457718be8SEnji Cooper 	errno = 0;
7557718be8SEnji Cooper 	ATF_REQUIRE_ERRNO(EBADF, fflush(f) == EOF);
7657718be8SEnji Cooper 
7757718be8SEnji Cooper 	(void)unlink(path);
7857718be8SEnji Cooper }
7957718be8SEnji Cooper 
ATF_TC_CLEANUP(fflush_err,tc)8057718be8SEnji Cooper ATF_TC_CLEANUP(fflush_err, tc)
8157718be8SEnji Cooper {
8257718be8SEnji Cooper 	(void)unlink(path);
8357718be8SEnji Cooper }
8457718be8SEnji Cooper 
8557718be8SEnji Cooper ATF_TC_WITH_CLEANUP(fflush_seek);
ATF_TC_HEAD(fflush_seek,tc)8657718be8SEnji Cooper ATF_TC_HEAD(fflush_seek, tc)
8757718be8SEnji Cooper {
8857718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test file offsets with fflush(3)");
8957718be8SEnji Cooper }
9057718be8SEnji Cooper 
ATF_TC_BODY(fflush_seek,tc)9157718be8SEnji Cooper ATF_TC_BODY(fflush_seek, tc)
9257718be8SEnji Cooper {
9357718be8SEnji Cooper 	char buf[12];
9457718be8SEnji Cooper 	int fd = -1;
9557718be8SEnji Cooper 	FILE *f;
9657718be8SEnji Cooper 
9757718be8SEnji Cooper 	/*
9857718be8SEnji Cooper 	 * IEEE Std 1003.1-2008:
9957718be8SEnji Cooper 	 *
10057718be8SEnji Cooper 	 * "For a stream open for reading, if the file
10157718be8SEnji Cooper 	 *  is not already at EOF, and the file is one
10257718be8SEnji Cooper 	 *  capable of seeking, the file offset of the
10357718be8SEnji Cooper 	 *  underlying open file description shall be
10457718be8SEnji Cooper 	 *  adjusted so that the next operation on the
10557718be8SEnji Cooper 	 *  open file description deals with the byte
10657718be8SEnji Cooper 	 *  after the last one read from or written to
10757718be8SEnji Cooper 	 *  the stream being flushed."
10857718be8SEnji Cooper 	 */
10957718be8SEnji Cooper 	f = fopen(path, "w");
11057718be8SEnji Cooper 	ATF_REQUIRE(f != NULL);
11157718be8SEnji Cooper 
11257718be8SEnji Cooper 	ATF_REQUIRE(fwrite("garbage", 1, 7, f) == 7);
11357718be8SEnji Cooper 	ATF_REQUIRE(fclose(f) == 0);
11457718be8SEnji Cooper 
11557718be8SEnji Cooper 	f = fopen(path, "r+");
11657718be8SEnji Cooper 	ATF_REQUIRE(f != NULL);
11757718be8SEnji Cooper 
11857718be8SEnji Cooper 	fd = fileno(f);
11957718be8SEnji Cooper 	ATF_REQUIRE(fd != -1);
12057718be8SEnji Cooper 
12157718be8SEnji Cooper 	ATF_REQUIRE(fread(buf, 1, 3, f) == 3);
12257718be8SEnji Cooper 	ATF_REQUIRE(fflush(f) == 0);
12357718be8SEnji Cooper 	ATF_REQUIRE(fseek(f, 0, SEEK_CUR) == 0);
12457718be8SEnji Cooper 
12557718be8SEnji Cooper 	/*
12657718be8SEnji Cooper 	 * Verify that the offsets are right and that
12757718be8SEnji Cooper 	 * a read operation resumes at the correct location.
12857718be8SEnji Cooper 	 */
12957718be8SEnji Cooper 	ATF_REQUIRE(ftell(f) == 3);
13057718be8SEnji Cooper 	ATF_REQUIRE(lseek(fd, 0, SEEK_CUR) == 3);
13157718be8SEnji Cooper 	ATF_REQUIRE(fgetc(f) == 'b');
13257718be8SEnji Cooper 
13357718be8SEnji Cooper 	ATF_REQUIRE(fclose(f) == 0);
13457718be8SEnji Cooper 	ATF_REQUIRE(unlink(path) == 0);
13557718be8SEnji Cooper }
13657718be8SEnji Cooper 
ATF_TC_CLEANUP(fflush_seek,tc)13757718be8SEnji Cooper ATF_TC_CLEANUP(fflush_seek, tc)
13857718be8SEnji Cooper {
13957718be8SEnji Cooper 	(void)unlink(path);
14057718be8SEnji Cooper }
14157718be8SEnji Cooper 
14257718be8SEnji Cooper ATF_TC_WITH_CLEANUP(fpurge_err);
ATF_TC_HEAD(fpurge_err,tc)14357718be8SEnji Cooper ATF_TC_HEAD(fpurge_err, tc)
14457718be8SEnji Cooper {
14557718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test errors from fpurge(3)");
14657718be8SEnji Cooper }
14757718be8SEnji Cooper 
ATF_TC_BODY(fpurge_err,tc)14857718be8SEnji Cooper ATF_TC_BODY(fpurge_err, tc)
14957718be8SEnji Cooper {
15057718be8SEnji Cooper 	FILE *f;
15157718be8SEnji Cooper 
15257718be8SEnji Cooper 	f = fopen(path, "w");
15357718be8SEnji Cooper 	ATF_REQUIRE(f != NULL);
15457718be8SEnji Cooper 	ATF_REQUIRE(fclose(f) == 0);
15557718be8SEnji Cooper 
15657718be8SEnji Cooper 	errno = 0;
15757718be8SEnji Cooper 	ATF_REQUIRE_ERRNO(EBADF, fpurge(f) == EOF);
15857718be8SEnji Cooper 
15957718be8SEnji Cooper 	(void)unlink(path);
16057718be8SEnji Cooper }
16157718be8SEnji Cooper 
ATF_TC_CLEANUP(fpurge_err,tc)16257718be8SEnji Cooper ATF_TC_CLEANUP(fpurge_err, tc)
16357718be8SEnji Cooper {
16457718be8SEnji Cooper 	(void)unlink(path);
16557718be8SEnji Cooper }
16657718be8SEnji Cooper 
ATF_TP_ADD_TCS(tp)16757718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
16857718be8SEnji Cooper {
16957718be8SEnji Cooper 
17057718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, fflush_err);
17157718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, fflush_seek);
17257718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, fpurge_err);
17357718be8SEnji Cooper 
17457718be8SEnji Cooper 	return atf_no_error();
17557718be8SEnji Cooper }
176