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); 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 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 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); 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 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 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); 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 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 16257718be8SEnji Cooper ATF_TC_CLEANUP(fpurge_err, tc) 16357718be8SEnji Cooper { 16457718be8SEnji Cooper (void)unlink(path); 16557718be8SEnji Cooper } 16657718be8SEnji Cooper 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