summaryrefslogtreecommitdiff
path: root/tests/lib/libc/locale/t_sprintf.c
blob: 3dff8273fa953cff46862b7431762e90cafb88df (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
/* $NetBSD: t_sprintf.c,v 1.8 2021/08/02 17:41:07 andvar Exp $ */

/*-
 * Copyright (c) 2017 The NetBSD Foundation, Inc.
 * All rights reserved.
 *
 * This code is derived from software contributed to The NetBSD Foundation
 * by Konrad Schroder.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */

#include <sys/cdefs.h>
__COPYRIGHT("@(#) Copyright (c) 2017\
 The NetBSD Foundation, inc. All rights reserved.");
__RCSID("$NetBSD: t_sprintf.c,v 1.8 2021/08/02 17:41:07 andvar Exp $");

#include <locale.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <limits.h>
#include <ctype.h>

#include <atf-c.h>

static struct test {
	const char *locale;
	const int int_value;
	const char *int_result;
	const char *int_input;
	const double double_value;
	const char *double_result;
	const char *double_input;
} tests[] = {
	{
		"en_US.UTF-8",
		-12345,
		"-12,345",
		"-12345",
		-12345.6789,
		"-12,345.678900",
		"-12345.678900",
	}, {
		"fr_FR.ISO8859-1",
		-12345,
		"-12\240345",
		"-12345",
		-12345.6789,
		"-12\240345,678900",
		"-12345,678900",
	}, {
		"it_IT.ISO8859-1",
		-12345,
		"-12.345",
		"-12345",
		-12345.6789,
		"-12.345,678900",
		"-12345,678900",
	}, {
		"POSIX",
		/*
		 * POSIX-1.2008 specifies that the C and POSIX
		 * locales shall be identical (section 7.2) and
		 * that the POSIX locale shall have an empty
		 * thousands separator and "<period>" as its
		 * decimal point (section 7.3.4).  *printf
		 * ought to honor these settings.
		 */
		-12345,
		"-12345",
		"-12345",
		-12345.6789,
		"-12345.678900",
		"-12345.678900",
	}, {
		NULL,
		0,
		NULL,
		NULL,
		0.0,
		NULL,
		NULL,
	}
};

static void
h_sprintf(const struct test *t)
{
	char buf[1024];

	ATF_REQUIRE_STREQ(setlocale(LC_ALL, "C"), "C");
	printf("Trying locale %s...\n", t->locale);
	ATF_REQUIRE(setlocale(LC_NUMERIC, t->locale) != NULL);
	printf("Using locale: %s\n", setlocale(LC_ALL, NULL));

	sprintf(buf, "%'f", t->double_value);
	ATF_REQUIRE_STREQ(buf, t->double_result);

	sprintf(buf, "%'d", t->int_value);
	ATF_REQUIRE_STREQ(buf, t->int_result);

        atf_tc_expect_pass();
}

static void
h_strto(const struct test *t)
{
	double d, diff;

	ATF_REQUIRE_STREQ(setlocale(LC_ALL, "C"), "C");
	printf("Trying locale %s...\n", t->locale);
	ATF_REQUIRE(setlocale(LC_NUMERIC, t->locale) != NULL);

	ATF_REQUIRE_EQ((int)strtol(t->int_input, NULL, 10), t->int_value);

	/*
	 * Note that the C standard permits function values to be
	 * returned with more precision than is expected by (floating)
	 * data types, and on i386 (and potentially other implementations)
	 * that is exactly what happens, meaning that the result from
	 * strtod() is not identical to the expected value - it turns out
	 * that it is the same if the value is constrained to the number
	 * of mantissa bits in a double (so the %a values printed below
	 * show the exact same bit patterns) and on i386 -ffloat-store
	 * will cause gcc to constrain the result that way, but nothing
	 * demands that be true, so instead, we simply test that the
	 * value returned is very very close to that expected.
	 *
	 * 1e-12 is chosen as the allowable delta, as we know (from
	 * the data in the "struct test" earlier in this file) that
	 * its magnitude is ~ 10^5, with values of that magnitude,
	 * 10^-12 difference is a 10^-17 relative difference, and
	 * with a 56 bit mantissa (standard IEEE "double") a difference
	 * that small vanishes (requires at least 57 mantissa bits to
	 * be representable).   If the data values were to change, then
	 * so might this delta (if they were not all the same, we would
	 * move the delta into the struct rather than having it a constant
	 * here.).
	 *
	 * Finally, note that our purpose here is not to test floating
	 * point arithmetic, we're testing locale dependent string to
	 * binary conversions.
	 */

	d = (double)strtod(t->double_input, NULL);
	diff = fabs(d - t->double_value);
	if (diff >= 1e-12)
		ATF_REQUIRE_EQ_MSG(d, t->double_value, "In %s: " 
		    "d=strtod(t->double_input[%s], NULL)[%.12g = %a] != "
		    "t->double_value[%.12g = %a]: diff=%g", t->locale,
		    t->double_input, d, d, t->double_value, t->double_value,
		    diff);
}

static void
h_sscanf(const struct test *t)
{
	int int_reported;
	double double_reported;

	ATF_REQUIRE_STREQ(setlocale(LC_ALL, "C"), "C");
	printf("Trying locale %s...\n", t->locale);
	ATF_REQUIRE(setlocale(LC_NUMERIC, t->locale) != NULL);

	sscanf(t->int_input, "%d", &int_reported);
	ATF_REQUIRE_EQ(int_reported, t->int_value);
	sscanf(t->double_input, "%lf", &double_reported);
	ATF_REQUIRE_EQ(double_reported, t->double_value);
}

ATF_TC(sprintf);
ATF_TC_HEAD(sprintf, tc)
{
	atf_tc_set_md_var(tc, "descr",
		"Checks sprintf %%'d and %%'f under different locales");
}
ATF_TC_BODY(sprintf, tc)
{
	struct test *t;

	for (t = &tests[0]; t->locale != NULL; ++t)
		h_sprintf(t);
}

ATF_TC(strto);
ATF_TC_HEAD(strto, tc)
{
	atf_tc_set_md_var(tc, "descr",
		"Checks strtol and strtod under different locales");
}
ATF_TC_BODY(strto, tc)
{
	struct test *t;

	for (t = &tests[0]; t->locale != NULL; ++t)
		h_strto(t);
}

ATF_TC(sscanf);
ATF_TC_HEAD(sscanf, tc)
{
	atf_tc_set_md_var(tc, "descr",
		"Checks sscanf under different locales");
}
ATF_TC_BODY(sscanf, tc)
{
	struct test *t;

	for (t = &tests[0]; t->locale != NULL; ++t)
		h_sscanf(t);
}

ATF_TP_ADD_TCS(tp)
{

	ATF_TP_ADD_TC(tp, sprintf);
	ATF_TP_ADD_TC(tp, sscanf);
	ATF_TP_ADD_TC(tp, strto);

	return atf_no_error();
}