xref: /freebsd-src/contrib/netbsd-tests/lib/libc/stdio/t_printf.c (revision 57718be8fa0bd5edc11ab9a72e68cc71982939a6)
1*57718be8SEnji Cooper /* $NetBSD: t_printf.c,v 1.8 2012/04/11 16:21:42 jruoho Exp $ */
2*57718be8SEnji Cooper 
3*57718be8SEnji Cooper /*-
4*57718be8SEnji Cooper  * Copyright (c) 2010 The NetBSD Foundation, Inc.
5*57718be8SEnji Cooper  * All rights reserved.
6*57718be8SEnji Cooper  *
7*57718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
8*57718be8SEnji Cooper  * modification, are permitted provided that the following conditions
9*57718be8SEnji Cooper  * are met:
10*57718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
11*57718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
12*57718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
13*57718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
14*57718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
15*57718be8SEnji Cooper  *
16*57718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17*57718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18*57718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19*57718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20*57718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21*57718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22*57718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23*57718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24*57718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25*57718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26*57718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
27*57718be8SEnji Cooper  */
28*57718be8SEnji Cooper 
29*57718be8SEnji Cooper #include <sys/types.h>
30*57718be8SEnji Cooper #include <sys/resource.h>
31*57718be8SEnji Cooper #include <atf-c.h>
32*57718be8SEnji Cooper #include <math.h>
33*57718be8SEnji Cooper #include <stdio.h>
34*57718be8SEnji Cooper #include <stdint.h>
35*57718be8SEnji Cooper #include <string.h>
36*57718be8SEnji Cooper #include <time.h>
37*57718be8SEnji Cooper #include <stdlib.h>
38*57718be8SEnji Cooper 
39*57718be8SEnji Cooper ATF_TC(snprintf_c99);
40*57718be8SEnji Cooper ATF_TC_HEAD(snprintf_c99, tc)
41*57718be8SEnji Cooper {
42*57718be8SEnji Cooper 
43*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
44*57718be8SEnji Cooper 	    "Test printf(3) C99 conformance (PR lib/22019)");
45*57718be8SEnji Cooper }
46*57718be8SEnji Cooper 
47*57718be8SEnji Cooper ATF_TC_BODY(snprintf_c99, tc)
48*57718be8SEnji Cooper {
49*57718be8SEnji Cooper 	char s[4];
50*57718be8SEnji Cooper 
51*57718be8SEnji Cooper 	(void)memset(s, '\0', sizeof(s));
52*57718be8SEnji Cooper 	(void)snprintf(s, sizeof(s), "%#.o", 0);
53*57718be8SEnji Cooper 	(void)printf("printf = %#.o\n", 0);
54*57718be8SEnji Cooper 	(void)fprintf(stderr, "snprintf = %s", s);
55*57718be8SEnji Cooper 
56*57718be8SEnji Cooper 	ATF_REQUIRE(strlen(s) == 1);
57*57718be8SEnji Cooper 	ATF_REQUIRE(s[0] == '0');
58*57718be8SEnji Cooper }
59*57718be8SEnji Cooper 
60*57718be8SEnji Cooper ATF_TC(snprintf_dotzero);
61*57718be8SEnji Cooper ATF_TC_HEAD(snprintf_dotzero, tc)
62*57718be8SEnji Cooper {
63*57718be8SEnji Cooper 
64*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
65*57718be8SEnji Cooper 	    "PR lib/32951: %%.0f formats (0.0,0.5] to \"0.\"");
66*57718be8SEnji Cooper }
67*57718be8SEnji Cooper 
68*57718be8SEnji Cooper ATF_TC_BODY(snprintf_dotzero, tc)
69*57718be8SEnji Cooper {
70*57718be8SEnji Cooper 	char s[4];
71*57718be8SEnji Cooper 
72*57718be8SEnji Cooper 	ATF_CHECK(snprintf(s, sizeof(s), "%.0f", 0.1) == 1);
73*57718be8SEnji Cooper 	ATF_REQUIRE_STREQ(s, "0");
74*57718be8SEnji Cooper }
75*57718be8SEnji Cooper 
76*57718be8SEnji Cooper ATF_TC(snprintf_posarg);
77*57718be8SEnji Cooper ATF_TC_HEAD(snprintf_posarg, tc)
78*57718be8SEnji Cooper {
79*57718be8SEnji Cooper 
80*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "test for positional arguments");
81*57718be8SEnji Cooper }
82*57718be8SEnji Cooper 
83*57718be8SEnji Cooper ATF_TC_BODY(snprintf_posarg, tc)
84*57718be8SEnji Cooper {
85*57718be8SEnji Cooper 	char s[16];
86*57718be8SEnji Cooper 
87*57718be8SEnji Cooper 	ATF_CHECK(snprintf(s, sizeof(s), "%1$d", -23) == 3);
88*57718be8SEnji Cooper 	ATF_REQUIRE_STREQ(s, "-23");
89*57718be8SEnji Cooper }
90*57718be8SEnji Cooper 
91*57718be8SEnji Cooper ATF_TC(snprintf_posarg_width);
92*57718be8SEnji Cooper ATF_TC_HEAD(snprintf_posarg_width, tc)
93*57718be8SEnji Cooper {
94*57718be8SEnji Cooper 
95*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "test for positional arguments with "
96*57718be8SEnji Cooper 	    "field width");
97*57718be8SEnji Cooper }
98*57718be8SEnji Cooper 
99*57718be8SEnji Cooper ATF_TC_BODY(snprintf_posarg_width, tc)
100*57718be8SEnji Cooper {
101*57718be8SEnji Cooper 	char s[16];
102*57718be8SEnji Cooper 
103*57718be8SEnji Cooper 	ATF_CHECK(snprintf(s, sizeof(s), "%1$*2$d", -23, 4) == 4);
104*57718be8SEnji Cooper 	ATF_REQUIRE_STREQ(s, " -23");
105*57718be8SEnji Cooper }
106*57718be8SEnji Cooper 
107*57718be8SEnji Cooper ATF_TC(snprintf_posarg_error);
108*57718be8SEnji Cooper ATF_TC_HEAD(snprintf_posarg_error, tc)
109*57718be8SEnji Cooper {
110*57718be8SEnji Cooper 
111*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "test for positional arguments out "
112*57718be8SEnji Cooper 	    "of bounds");
113*57718be8SEnji Cooper }
114*57718be8SEnji Cooper 
115*57718be8SEnji Cooper ATF_TC_BODY(snprintf_posarg_error, tc)
116*57718be8SEnji Cooper {
117*57718be8SEnji Cooper 	char s[16], fmt[32];
118*57718be8SEnji Cooper 
119*57718be8SEnji Cooper 	snprintf(fmt, sizeof(fmt), "%%%zu$d", SIZE_MAX / sizeof(size_t));
120*57718be8SEnji Cooper 
121*57718be8SEnji Cooper 	ATF_CHECK(snprintf(s, sizeof(s), fmt, -23) == -1);
122*57718be8SEnji Cooper }
123*57718be8SEnji Cooper 
124*57718be8SEnji Cooper ATF_TC(snprintf_float);
125*57718be8SEnji Cooper ATF_TC_HEAD(snprintf_float, tc)
126*57718be8SEnji Cooper {
127*57718be8SEnji Cooper 
128*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "test that floating conversions don't"
129*57718be8SEnji Cooper 	    " leak memory");
130*57718be8SEnji Cooper }
131*57718be8SEnji Cooper 
132*57718be8SEnji Cooper ATF_TC_BODY(snprintf_float, tc)
133*57718be8SEnji Cooper {
134*57718be8SEnji Cooper 	union {
135*57718be8SEnji Cooper 		double d;
136*57718be8SEnji Cooper 		uint64_t bits;
137*57718be8SEnji Cooper 	} u;
138*57718be8SEnji Cooper 	uint32_t ul, uh;
139*57718be8SEnji Cooper 	time_t now;
140*57718be8SEnji Cooper 	char buf[1000];
141*57718be8SEnji Cooper 	struct rlimit rl;
142*57718be8SEnji Cooper 
143*57718be8SEnji Cooper 	rl.rlim_cur = rl.rlim_max = 1 * 1024 * 1024;
144*57718be8SEnji Cooper 	ATF_CHECK(setrlimit(RLIMIT_AS, &rl) != -1);
145*57718be8SEnji Cooper 	rl.rlim_cur = rl.rlim_max = 1 * 1024 * 1024;
146*57718be8SEnji Cooper 	ATF_CHECK(setrlimit(RLIMIT_DATA, &rl) != -1);
147*57718be8SEnji Cooper 
148*57718be8SEnji Cooper 	time(&now);
149*57718be8SEnji Cooper 	srand(now);
150*57718be8SEnji Cooper 	for (size_t i = 0; i < 10000; i++) {
151*57718be8SEnji Cooper 		ul = rand();
152*57718be8SEnji Cooper 		uh = rand();
153*57718be8SEnji Cooper 		u.bits = (uint64_t)uh << 32 | ul;
154*57718be8SEnji Cooper 		ATF_CHECK(snprintf(buf, sizeof buf, " %.2f", u.d) != -1);
155*57718be8SEnji Cooper 	}
156*57718be8SEnji Cooper }
157*57718be8SEnji Cooper 
158*57718be8SEnji Cooper ATF_TC(sprintf_zeropad);
159*57718be8SEnji Cooper ATF_TC_HEAD(sprintf_zeropad, tc)
160*57718be8SEnji Cooper {
161*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
162*57718be8SEnji Cooper 	    "Test output format zero padding (PR lib/44113)");
163*57718be8SEnji Cooper }
164*57718be8SEnji Cooper 
165*57718be8SEnji Cooper ATF_TC_BODY(sprintf_zeropad, tc)
166*57718be8SEnji Cooper {
167*57718be8SEnji Cooper 	char str[1024];
168*57718be8SEnji Cooper 
169*57718be8SEnji Cooper 	ATF_CHECK(sprintf(str, "%010f", 0.0) == 10);
170*57718be8SEnji Cooper 	ATF_REQUIRE_STREQ(str, "000.000000");
171*57718be8SEnji Cooper 
172*57718be8SEnji Cooper 	/* ieeefp */
173*57718be8SEnji Cooper #ifndef __vax__
174*57718be8SEnji Cooper 	/* printf(3) should ignore zero padding for nan/inf */
175*57718be8SEnji Cooper 	ATF_CHECK(sprintf(str, "%010f", NAN) == 10);
176*57718be8SEnji Cooper 	ATF_REQUIRE_STREQ(str, "       nan");
177*57718be8SEnji Cooper 	ATF_CHECK(sprintf(str, "%010f", INFINITY) == 10);
178*57718be8SEnji Cooper 	ATF_REQUIRE_STREQ(str, "       inf");
179*57718be8SEnji Cooper #endif
180*57718be8SEnji Cooper }
181*57718be8SEnji Cooper 
182*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
183*57718be8SEnji Cooper {
184*57718be8SEnji Cooper 
185*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, snprintf_c99);
186*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, snprintf_dotzero);
187*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, snprintf_posarg);
188*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, snprintf_posarg_width);
189*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, snprintf_posarg_error);
190*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, snprintf_float);
191*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, sprintf_zeropad);
192*57718be8SEnji Cooper 
193*57718be8SEnji Cooper 	return atf_no_error();
194*57718be8SEnji Cooper }
195