xref: /freebsd/lib/libc/tests/stdio/snprintf_test.c (revision 88a9b6e1ed82b562f52bae26b3de257495cd1983)
1b9385720SDag-Erling Smørgrav /*-
2b9385720SDag-Erling Smørgrav  * Copyright (c) 2023 Dag-Erling Smørgrav
3b9385720SDag-Erling Smørgrav  *
4b9385720SDag-Erling Smørgrav  * SPDX-License-Identifier: BSD-2-Clause
5b9385720SDag-Erling Smørgrav  */
6b9385720SDag-Erling Smørgrav 
7b9385720SDag-Erling Smørgrav #include <assert.h>
8b9385720SDag-Erling Smørgrav #include <limits.h>
9b9385720SDag-Erling Smørgrav #include <locale.h>
10b9385720SDag-Erling Smørgrav #include <stdint.h>
11b9385720SDag-Erling Smørgrav #include <stdio.h>
12b9385720SDag-Erling Smørgrav 
13b9385720SDag-Erling Smørgrav #include <atf-c.h>
14b9385720SDag-Erling Smørgrav 
154ec9ee99SDag-Erling Smørgrav #ifndef nitems
164ec9ee99SDag-Erling Smørgrav #define nitems(a) (sizeof(a) / sizeof(a[0]))
174ec9ee99SDag-Erling Smørgrav #endif
184ec9ee99SDag-Erling Smørgrav 
19b9385720SDag-Erling Smørgrav #define SNPRINTF_TEST(output, format, ...)				\
20b9385720SDag-Erling Smørgrav 	do {								\
21b9385720SDag-Erling Smørgrav 		char buf[256];						\
224ec9ee99SDag-Erling Smørgrav 		assert(strlen(output) < nitems(buf));			\
234ec9ee99SDag-Erling Smørgrav 		int ret = snprintf(buf, nitems(buf), format,		\
244ec9ee99SDag-Erling Smørgrav 		    __VA_ARGS__);					\
25b9385720SDag-Erling Smørgrav 		ATF_CHECK_EQ(strlen(output), ret);			\
26b9385720SDag-Erling Smørgrav 		if (ret > 0) {						\
274ec9ee99SDag-Erling Smørgrav 			ATF_CHECK_EQ(0, strcmp(output, buf));		\
28b9385720SDag-Erling Smørgrav 		}							\
29b9385720SDag-Erling Smørgrav 	} while (0)
30b9385720SDag-Erling Smørgrav 
31b9385720SDag-Erling Smørgrav ATF_TC_WITHOUT_HEAD(snprintf_b);
ATF_TC_BODY(snprintf_b,tc)32b9385720SDag-Erling Smørgrav ATF_TC_BODY(snprintf_b, tc)
33b9385720SDag-Erling Smørgrav {
34b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%b", 0);
35b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%12b", 0);
36b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%012b", 0);
37b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("1", "%b", 1);
38b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           1", "%12b", 1);
39b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000001", "%012b", 1);
40b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("1111111111111111111111111111111", "%b", INT_MAX);
41b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%#b", 0);
42b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%#12b", 0);
43b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%#012b", 0);
44b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0b1", "%#b", 1);
45b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("         0b1", "%#12b", 1);
46b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0b0000000001", "%#012b", 1);
47b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0b1111111111111111111111111111111", "%#b", INT_MAX);
48b9385720SDag-Erling Smørgrav }
49b9385720SDag-Erling Smørgrav 
50b9385720SDag-Erling Smørgrav ATF_TC_WITHOUT_HEAD(snprintf_B);
ATF_TC_BODY(snprintf_B,tc)51b9385720SDag-Erling Smørgrav ATF_TC_BODY(snprintf_B, tc)
52b9385720SDag-Erling Smørgrav {
53b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%B", 0);
54b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%12B", 0);
55b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%012B", 0);
56b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("1", "%B", 1);
57b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           1", "%12B", 1);
58b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000001", "%012B", 1);
59b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("1111111111111111111111111111111", "%B", INT_MAX);
60b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%#B", 0);
61b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%#12B", 0);
62b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%#012B", 0);
63b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0B1", "%#B", 1);
64b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("         0B1", "%#12B", 1);
65b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0B0000000001", "%#012B", 1);
66b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0B1111111111111111111111111111111", "%#B", INT_MAX);
67b9385720SDag-Erling Smørgrav }
68b9385720SDag-Erling Smørgrav 
69b9385720SDag-Erling Smørgrav ATF_TC_WITHOUT_HEAD(snprintf_d);
ATF_TC_BODY(snprintf_d,tc)70b9385720SDag-Erling Smørgrav ATF_TC_BODY(snprintf_d, tc)
71b9385720SDag-Erling Smørgrav {
72b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%d", 0);
73b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%12d", 0);
74b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%012d", 0);
75b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("1", "%d", 1);
76b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           1", "%12d", 1);
77b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000001", "%012d", 1);
78b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("2147483647", "%d", INT_MAX);
79b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("  2147483647", "%12d", INT_MAX);
80b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("002147483647", "%012d", INT_MAX);
81b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("2,147,483,647", "%'d", INT_MAX);
82b9385720SDag-Erling Smørgrav }
83b9385720SDag-Erling Smørgrav 
84b9385720SDag-Erling Smørgrav ATF_TC_WITHOUT_HEAD(snprintf_x);
ATF_TC_BODY(snprintf_x,tc)85b9385720SDag-Erling Smørgrav ATF_TC_BODY(snprintf_x, tc)
86b9385720SDag-Erling Smørgrav {
87b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%x", 0);
88b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%12x", 0);
89b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%012x", 0);
90b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("1", "%x", 1);
91b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           1", "%12x", 1);
92b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000001", "%012x", 1);
93b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("7fffffff", "%x", INT_MAX);
94b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("    7fffffff", "%12x", INT_MAX);
95b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("00007fffffff", "%012x", INT_MAX);
96b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%#x", 0);
97b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%#12x", 0);
98b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%#012x", 0);
99b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0x1", "%#x", 1);
100b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("         0x1", "%#12x", 1);
101b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0x0000000001", "%#012x", 1);
102b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0x7fffffff", "%#x", INT_MAX);
103b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("  0x7fffffff", "%#12x", INT_MAX);
104b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0x007fffffff", "%#012x", INT_MAX);
105b9385720SDag-Erling Smørgrav }
106b9385720SDag-Erling Smørgrav 
107b9385720SDag-Erling Smørgrav ATF_TC_WITHOUT_HEAD(snprintf_X);
ATF_TC_BODY(snprintf_X,tc)108b9385720SDag-Erling Smørgrav ATF_TC_BODY(snprintf_X, tc)
109b9385720SDag-Erling Smørgrav {
110b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%X", 0);
111b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%12X", 0);
112b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%012X", 0);
113b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("1", "%X", 1);
114b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           1", "%12X", 1);
115b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000001", "%012X", 1);
116b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("7FFFFFFF", "%X", INT_MAX);
117b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("    7FFFFFFF", "%12X", INT_MAX);
118b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("00007FFFFFFF", "%012X", INT_MAX);
119b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%#X", 0);
120b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("           0", "%#12X", 0);
121b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("000000000000", "%#012X", 0);
122b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0X1", "%#X", 1);
123b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("         0X1", "%#12X", 1);
124b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0X0000000001", "%#012X", 1);
125b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0X7FFFFFFF", "%#X", INT_MAX);
126b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("  0X7FFFFFFF", "%#12X", INT_MAX);
127b9385720SDag-Erling Smørgrav 	SNPRINTF_TEST("0X007FFFFFFF", "%#012X", INT_MAX);
128b9385720SDag-Erling Smørgrav }
129b9385720SDag-Erling Smørgrav 
13012b1c1e3SDag-Erling Smørgrav ATF_TC_WITHOUT_HEAD(snprintf_wN);
ATF_TC_BODY(snprintf_wN,tc)13112b1c1e3SDag-Erling Smørgrav ATF_TC_BODY(snprintf_wN, tc)
13212b1c1e3SDag-Erling Smørgrav {
13312b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%w8d", (int8_t)0);
134*88a9b6e1SDag-Erling Smørgrav 	SNPRINTF_TEST("-128", "%w8d", (int8_t)SCHAR_MIN);
135*88a9b6e1SDag-Erling Smørgrav 	SNPRINTF_TEST("127", "%w8d", (int8_t)SCHAR_MAX);
13612b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%w8u", (uint8_t)0);
13712b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("255", "%w8u", (uint8_t)UCHAR_MAX);
13812b1c1e3SDag-Erling Smørgrav 
13912b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%w16d", (int16_t)0);
14012b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("-32768", "%w16d", (int16_t)SHRT_MIN);
14112b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("32767", "%w16d", (int16_t)SHRT_MAX);
14212b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%w16u", (uint16_t)0);
14312b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("65535", "%w16u", (uint16_t)USHRT_MAX);
14412b1c1e3SDag-Erling Smørgrav 
14512b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%w32d", (int32_t)0);
14612b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("-2147483648", "%w32d", (int32_t)INT_MIN);
14712b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("2147483647", "%w32d", (int32_t)INT_MAX);
14812b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%w32u", (uint32_t)0);
14912b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("4294967295", "%w32u", (uint32_t)UINT_MAX);
15012b1c1e3SDag-Erling Smørgrav 
15112b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%w64d", (int64_t)0);
15212b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("-9223372036854775808", "%w64d", (int64_t)LLONG_MIN);
15312b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("9223372036854775807", "%w64d", (int64_t)LLONG_MAX);
15412b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%w64u", (uint64_t)0);
15512b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("18446744073709551615", "%w64u", (uint64_t)ULLONG_MAX);
15612b1c1e3SDag-Erling Smørgrav 
15712b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("wd", "%wd", 0);
15812b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("w1d", "%w1d", 0);
15912b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("w128d", "%w128d", 0);
16012b1c1e3SDag-Erling Smørgrav }
16112b1c1e3SDag-Erling Smørgrav 
16212b1c1e3SDag-Erling Smørgrav ATF_TC_WITHOUT_HEAD(snprintf_wfN);
ATF_TC_BODY(snprintf_wfN,tc)16312b1c1e3SDag-Erling Smørgrav ATF_TC_BODY(snprintf_wfN, tc)
16412b1c1e3SDag-Erling Smørgrav {
16512b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%wf8d", (int_fast8_t)0);
16612b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("-2147483648", "%wf8d", (int_fast8_t)INT_MIN);
16712b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("2147483647", "%wf8d", (int_fast8_t)INT_MAX);
16812b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%wf8u", (uint8_t)0);
16912b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("4294967295", "%wf8u", (uint_fast8_t)UINT_MAX);
17012b1c1e3SDag-Erling Smørgrav 
17112b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%wf16d", (int_fast16_t)0);
17212b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("-2147483648", "%wf16d", (int_fast16_t)INT_MIN);
17312b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("2147483647", "%wf16d", (int_fast16_t)INT_MAX);
17412b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%wf16u", (uint16_t)0);
17512b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("4294967295", "%wf16u", (uint_fast16_t)UINT_MAX);
17612b1c1e3SDag-Erling Smørgrav 
17712b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%wf32d", (int_fast32_t)0);
17812b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("-2147483648", "%wf32d", (int_fast32_t)INT_MIN);
17912b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("2147483647", "%wf32d", (int_fast32_t)INT_MAX);
18012b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%wf32u", (uint32_t)0);
18112b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("4294967295", "%wf32u", (uint_fast32_t)UINT_MAX);
18212b1c1e3SDag-Erling Smørgrav 
18312b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%wf64d", (int_fast64_t)0);
18412b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("-9223372036854775808", "%wf64d", (int_fast64_t)LLONG_MIN);
18512b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("9223372036854775807", "%wf64d", (int_fast64_t)LLONG_MAX);
18612b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("0", "%wf64u", (uint64_t)0);
18712b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("18446744073709551615", "%wf64u", (uint_fast64_t)ULLONG_MAX);
18812b1c1e3SDag-Erling Smørgrav 
18912b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("wfd", "%wfd", 0);
19012b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("wf1d", "%wf1d", 0);
19112b1c1e3SDag-Erling Smørgrav 	SNPRINTF_TEST("wf128d", "%wf128d", 0);
19212b1c1e3SDag-Erling Smørgrav }
19312b1c1e3SDag-Erling Smørgrav 
ATF_TP_ADD_TCS(tp)194b9385720SDag-Erling Smørgrav ATF_TP_ADD_TCS(tp)
195b9385720SDag-Erling Smørgrav {
196b9385720SDag-Erling Smørgrav 	setlocale(LC_NUMERIC, "en_US.UTF-8");
197b9385720SDag-Erling Smørgrav 	ATF_TP_ADD_TC(tp, snprintf_b);
198b9385720SDag-Erling Smørgrav 	ATF_TP_ADD_TC(tp, snprintf_B);
199b9385720SDag-Erling Smørgrav 	ATF_TP_ADD_TC(tp, snprintf_d);
200b9385720SDag-Erling Smørgrav 	ATF_TP_ADD_TC(tp, snprintf_x);
201b9385720SDag-Erling Smørgrav 	ATF_TP_ADD_TC(tp, snprintf_X);
20212b1c1e3SDag-Erling Smørgrav 	ATF_TP_ADD_TC(tp, snprintf_wN);
20312b1c1e3SDag-Erling Smørgrav 	ATF_TP_ADD_TC(tp, snprintf_wfN);
204b9385720SDag-Erling Smørgrav 	return (atf_no_error());
205b9385720SDag-Erling Smørgrav }
206