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