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