xref: /freebsd/lib/libc/tests/stdio/open_memstream2_test.c (revision 640235e2c2ba32947f7c59d168437ffa1280f1e6)
1*640235e2SEnji Cooper /*-
2*640235e2SEnji Cooper  * Copyright (c) 2013 Hudson River Trading LLC
3*640235e2SEnji Cooper  * Written by: John H. Baldwin <jhb@FreeBSD.org>
4*640235e2SEnji Cooper  * All rights reserved.
5*640235e2SEnji Cooper  *
6*640235e2SEnji Cooper  * Redistribution and use in source and binary forms, with or without
7*640235e2SEnji Cooper  * modification, are permitted provided that the following conditions
8*640235e2SEnji Cooper  * are met:
9*640235e2SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
10*640235e2SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
11*640235e2SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
12*640235e2SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
13*640235e2SEnji Cooper  *    documentation and/or other materials provided with the distribution.
14*640235e2SEnji Cooper  *
15*640235e2SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16*640235e2SEnji Cooper  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17*640235e2SEnji Cooper  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18*640235e2SEnji Cooper  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19*640235e2SEnji Cooper  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20*640235e2SEnji Cooper  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21*640235e2SEnji Cooper  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22*640235e2SEnji Cooper  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23*640235e2SEnji Cooper  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24*640235e2SEnji Cooper  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25*640235e2SEnji Cooper  * SUCH DAMAGE.
26*640235e2SEnji Cooper  */
27*640235e2SEnji Cooper 
28*640235e2SEnji Cooper #include <sys/cdefs.h>
29*640235e2SEnji Cooper __FBSDID("$FreeBSD$");
30*640235e2SEnji Cooper 
31*640235e2SEnji Cooper #include <err.h>
32*640235e2SEnji Cooper #include <errno.h>
33*640235e2SEnji Cooper #include <limits.h>
34*640235e2SEnji Cooper #include <stdint.h>
35*640235e2SEnji Cooper #include <stdio.h>
36*640235e2SEnji Cooper #include <stdlib.h>
37*640235e2SEnji Cooper #include <string.h>
38*640235e2SEnji Cooper #include <wchar.h>
39*640235e2SEnji Cooper 
40*640235e2SEnji Cooper #include <atf-c.h>
41*640235e2SEnji Cooper 
42*640235e2SEnji Cooper static char *buf;
43*640235e2SEnji Cooper static size_t len;
44*640235e2SEnji Cooper 
45*640235e2SEnji Cooper static void
46*640235e2SEnji Cooper assert_stream(const char *contents)
47*640235e2SEnji Cooper {
48*640235e2SEnji Cooper 	if (strlen(contents) != len)
49*640235e2SEnji Cooper 		printf("bad length %zd for \"%s\"\n", len, contents);
50*640235e2SEnji Cooper 	else if (strncmp(buf, contents, strlen(contents)) != 0)
51*640235e2SEnji Cooper 		printf("bad buffer \"%s\" for \"%s\"\n", buf, contents);
52*640235e2SEnji Cooper }
53*640235e2SEnji Cooper 
54*640235e2SEnji Cooper ATF_TC_WITHOUT_HEAD(open_group_test);
55*640235e2SEnji Cooper ATF_TC_BODY(open_group_test, tc)
56*640235e2SEnji Cooper {
57*640235e2SEnji Cooper 	FILE *fp;
58*640235e2SEnji Cooper 	off_t eob;
59*640235e2SEnji Cooper 
60*640235e2SEnji Cooper 	fp = open_memstream(&buf, &len);
61*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(fp != NULL, "open_memstream failed");
62*640235e2SEnji Cooper 
63*640235e2SEnji Cooper 	fprintf(fp, "hello my world");
64*640235e2SEnji Cooper 	fflush(fp);
65*640235e2SEnji Cooper 	assert_stream("hello my world");
66*640235e2SEnji Cooper 	eob = ftello(fp);
67*640235e2SEnji Cooper 	rewind(fp);
68*640235e2SEnji Cooper 	fprintf(fp, "good-bye");
69*640235e2SEnji Cooper 	fseeko(fp, eob, SEEK_SET);
70*640235e2SEnji Cooper 	fclose(fp);
71*640235e2SEnji Cooper 	assert_stream("good-bye world");
72*640235e2SEnji Cooper 	free(buf);
73*640235e2SEnji Cooper }
74*640235e2SEnji Cooper 
75*640235e2SEnji Cooper ATF_TC_WITHOUT_HEAD(simple_tests);
76*640235e2SEnji Cooper ATF_TC_BODY(simple_tests, tc)
77*640235e2SEnji Cooper {
78*640235e2SEnji Cooper 	static const char zerobuf[] =
79*640235e2SEnji Cooper 	    { 'f', 'o', 'o', 0, 0, 0, 0, 'b', 'a', 'r', 0 };
80*640235e2SEnji Cooper 	char c;
81*640235e2SEnji Cooper 	FILE *fp;
82*640235e2SEnji Cooper 
83*640235e2SEnji Cooper 	fp = open_memstream(&buf, NULL);
84*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(fp == NULL, "open_memstream did not fail");
85*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(errno == EINVAL,
86*640235e2SEnji Cooper 	    "open_memstream didn't fail with EINVAL");
87*640235e2SEnji Cooper 	fp = open_memstream(NULL, &len);
88*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(fp == NULL, "open_memstream did not fail");
89*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(errno == EINVAL,
90*640235e2SEnji Cooper 	    "open_memstream didn't fail with EINVAL");
91*640235e2SEnji Cooper 	fp = open_memstream(&buf, &len);
92*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(fp != NULL, "open_memstream failed; errno=%d", errno);
93*640235e2SEnji Cooper 	fflush(fp);
94*640235e2SEnji Cooper 	assert_stream("");
95*640235e2SEnji Cooper 	if (fwide(fp, 0) >= 0)
96*640235e2SEnji Cooper 		printf("stream is not byte-oriented\n");
97*640235e2SEnji Cooper 
98*640235e2SEnji Cooper 	fprintf(fp, "fo");
99*640235e2SEnji Cooper 	fflush(fp);
100*640235e2SEnji Cooper 	assert_stream("fo");
101*640235e2SEnji Cooper 	fputc('o', fp);
102*640235e2SEnji Cooper 	fflush(fp);
103*640235e2SEnji Cooper 	assert_stream("foo");
104*640235e2SEnji Cooper 	rewind(fp);
105*640235e2SEnji Cooper 	fflush(fp);
106*640235e2SEnji Cooper 	assert_stream("");
107*640235e2SEnji Cooper 	fseek(fp, 0, SEEK_END);
108*640235e2SEnji Cooper 	fflush(fp);
109*640235e2SEnji Cooper 	assert_stream("foo");
110*640235e2SEnji Cooper 
111*640235e2SEnji Cooper 	/*
112*640235e2SEnji Cooper 	 * Test seeking out past the current end.  Should zero-fill the
113*640235e2SEnji Cooper 	 * intermediate area.
114*640235e2SEnji Cooper 	 */
115*640235e2SEnji Cooper 	fseek(fp, 4, SEEK_END);
116*640235e2SEnji Cooper 	fprintf(fp, "bar");
117*640235e2SEnji Cooper 	fflush(fp);
118*640235e2SEnji Cooper 
119*640235e2SEnji Cooper 	/*
120*640235e2SEnji Cooper 	 * Can't use assert_stream() here since this should contain
121*640235e2SEnji Cooper 	 * embedded null characters.
122*640235e2SEnji Cooper 	 */
123*640235e2SEnji Cooper 	if (len != 10)
124*640235e2SEnji Cooper 		printf("bad length %zd for zero-fill test\n", len);
125*640235e2SEnji Cooper 	else if (memcmp(buf, zerobuf, sizeof(zerobuf)) != 0)
126*640235e2SEnji Cooper 		printf("bad buffer for zero-fill test\n");
127*640235e2SEnji Cooper 
128*640235e2SEnji Cooper 	fseek(fp, 3, SEEK_SET);
129*640235e2SEnji Cooper 	fprintf(fp, " in ");
130*640235e2SEnji Cooper 	fflush(fp);
131*640235e2SEnji Cooper 	assert_stream("foo in ");
132*640235e2SEnji Cooper 	fseek(fp, 0, SEEK_END);
133*640235e2SEnji Cooper 	fflush(fp);
134*640235e2SEnji Cooper 	assert_stream("foo in bar");
135*640235e2SEnji Cooper 
136*640235e2SEnji Cooper 	rewind(fp);
137*640235e2SEnji Cooper 	if (fread(&c, sizeof(c), 1, fp) != 0)
138*640235e2SEnji Cooper 		printf("fread did not fail\n");
139*640235e2SEnji Cooper 	else if (!ferror(fp))
140*640235e2SEnji Cooper 		printf("error indicator not set after fread\n");
141*640235e2SEnji Cooper 	else
142*640235e2SEnji Cooper 		clearerr(fp);
143*640235e2SEnji Cooper 
144*640235e2SEnji Cooper 	fseek(fp, 4, SEEK_SET);
145*640235e2SEnji Cooper 	fprintf(fp, "bar baz");
146*640235e2SEnji Cooper 	fclose(fp);
147*640235e2SEnji Cooper 	assert_stream("foo bar baz");
148*640235e2SEnji Cooper 	free(buf);
149*640235e2SEnji Cooper }
150*640235e2SEnji Cooper 
151*640235e2SEnji Cooper ATF_TC_WITHOUT_HEAD(seek_tests);
152*640235e2SEnji Cooper ATF_TC_BODY(seek_tests, tc)
153*640235e2SEnji Cooper {
154*640235e2SEnji Cooper 	FILE *fp;
155*640235e2SEnji Cooper 
156*640235e2SEnji Cooper 	fp = open_memstream(&buf, &len);
157*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(fp != NULL, "open_memstream failed: %d", errno);
158*640235e2SEnji Cooper 
159*640235e2SEnji Cooper #define SEEK_FAIL(offset, whence, error) do {			\
160*640235e2SEnji Cooper 	errno = 0;						\
161*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(fseeko(fp, (offset), (whence)) != 0,	\
162*640235e2SEnji Cooper 	    "fseeko(%s, %s) did not fail, set pos to %jd\n",	\
163*640235e2SEnji Cooper 	    __STRING(offset), __STRING(whence),			\
164*640235e2SEnji Cooper 	    (intmax_t)ftello(fp));				\
165*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(errno == (error),			\
166*640235e2SEnji Cooper 	    "fseeko(%s, %s) failed with %d rather than %s\n",	\
167*640235e2SEnji Cooper 	    __STRING(offset), __STRING(whence),	errno,		\
168*640235e2SEnji Cooper 	    __STRING(error));					\
169*640235e2SEnji Cooper } while (0)
170*640235e2SEnji Cooper 
171*640235e2SEnji Cooper #define SEEK_OK(offset, whence, result) do {			\
172*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(fseeko(fp, (offset), (whence)) == 0,	\
173*640235e2SEnji Cooper 	    "fseeko(%s, %s) failed: %s",			\
174*640235e2SEnji Cooper 	    __STRING(offset), __STRING(whence), strerror(errno)); \
175*640235e2SEnji Cooper 	ATF_REQUIRE_MSG(ftello(fp) == (result),			\
176*640235e2SEnji Cooper 	    "fseeko(%s, %s) seeked to %jd rather than %s\n",	\
177*640235e2SEnji Cooper 	    __STRING(offset), __STRING(whence),			\
178*640235e2SEnji Cooper 	    (intmax_t)ftello(fp), __STRING(result));		\
179*640235e2SEnji Cooper } while (0)
180*640235e2SEnji Cooper 
181*640235e2SEnji Cooper 	SEEK_FAIL(-1, SEEK_SET, EINVAL);
182*640235e2SEnji Cooper 	SEEK_FAIL(-1, SEEK_CUR, EINVAL);
183*640235e2SEnji Cooper 	SEEK_FAIL(-1, SEEK_END, EINVAL);
184*640235e2SEnji Cooper 	fprintf(fp, "foo");
185*640235e2SEnji Cooper 	SEEK_OK(-1, SEEK_CUR, 2);
186*640235e2SEnji Cooper 	SEEK_OK(0, SEEK_SET, 0);
187*640235e2SEnji Cooper 	SEEK_OK(-1, SEEK_END, 2);
188*640235e2SEnji Cooper 	SEEK_OK(OFF_MAX - 1, SEEK_SET, OFF_MAX - 1);
189*640235e2SEnji Cooper 	SEEK_FAIL(2, SEEK_CUR, EOVERFLOW);
190*640235e2SEnji Cooper 	fclose(fp);
191*640235e2SEnji Cooper }
192*640235e2SEnji Cooper 
193*640235e2SEnji Cooper ATF_TP_ADD_TCS(tp)
194*640235e2SEnji Cooper {
195*640235e2SEnji Cooper 
196*640235e2SEnji Cooper 	ATF_TP_ADD_TC(tp, open_group_test);
197*640235e2SEnji Cooper 	ATF_TP_ADD_TC(tp, simple_tests);
198*640235e2SEnji Cooper 	ATF_TP_ADD_TC(tp, seek_tests);
199*640235e2SEnji Cooper 
200*640235e2SEnji Cooper 	return (atf_no_error());
201*640235e2SEnji Cooper }
202