Fix ldbl-128 powl sign of result in overflow / underflow cases (bug 17097).
[glibc.git] / stdlib / tst-strtod.c
blob58a5b1c7a657a5d588e5da549f25864819f7802f
1 /* Copyright (C) 1991-2014 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
4 The GNU C Library is free software; you can redistribute it and/or
5 modify it under the terms of the GNU Lesser General Public
6 License as published by the Free Software Foundation; either
7 version 2.1 of the License, or (at your option) any later version.
9 The GNU C Library is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 Lesser General Public License for more details.
14 You should have received a copy of the GNU Lesser General Public
15 License along with the GNU C Library; if not, see
16 <http://www.gnu.org/licenses/>. */
18 #include <ctype.h>
19 #include <locale.h>
20 #include <stddef.h>
21 #include <stdio.h>
22 #include <stdlib.h>
23 #include <errno.h>
24 #include <string.h>
25 #include <math.h>
27 struct ltest
29 const char *str; /* Convert this. */
30 double expect; /* To get this. */
31 char left; /* With this left over. */
32 int err; /* And this in errno. */
34 static const struct ltest tests[] =
36 { "12.345", 12.345, '\0', 0 },
37 { "12.345e19", 12.345e19, '\0', 0 },
38 { "-.1e+9", -.1e+9, '\0', 0 },
39 { ".125", .125, '\0', 0 },
40 { "1e20", 1e20, '\0', 0 },
41 { "0e-19", 0, '\0', 0 },
42 { "4\00012", 4.0, '\0', 0 },
43 { "5.9e-76", 5.9e-76, '\0', 0 },
44 { "0x1.4p+3", 10.0, '\0', 0 },
45 { "0xAp0", 10.0, '\0', 0 },
46 { "0x0Ap0", 10.0, '\0', 0 },
47 { "0x0A", 10.0, '\0', 0 },
48 { "0xA0", 160.0, '\0', 0 },
49 { "0x0.A0p8", 160.0, '\0', 0 },
50 { "0x0.50p9", 160.0, '\0', 0 },
51 { "0x0.28p10", 160.0, '\0', 0 },
52 { "0x0.14p11", 160.0, '\0', 0 },
53 { "0x0.0A0p12", 160.0, '\0', 0 },
54 { "0x0.050p13", 160.0, '\0', 0 },
55 { "0x0.028p14", 160.0, '\0', 0 },
56 { "0x0.014p15", 160.0, '\0', 0 },
57 { "0x00.00A0p16", 160.0, '\0', 0 },
58 { "0x00.0050p17", 160.0, '\0', 0 },
59 { "0x00.0028p18", 160.0, '\0', 0 },
60 { "0x00.0014p19", 160.0, '\0', 0 },
61 { "0x1p-1023",
62 1.11253692925360069154511635866620203210960799023116591527666e-308,
63 '\0', 0 },
64 { "0x0.8p-1022",
65 1.11253692925360069154511635866620203210960799023116591527666e-308,
66 '\0', 0 },
67 { "Inf", HUGE_VAL, '\0', 0 },
68 { "-Inf", -HUGE_VAL, '\0', 0 },
69 { "+InFiNiTy", HUGE_VAL, '\0', 0 },
70 { "0x80000Ap-23", 0x80000Ap-23, '\0', 0 },
71 { "1e-324", 0, '\0', ERANGE },
72 { "0x100000000000008p0", 0x1p56, '\0', 0 },
73 { "0x100000000000008.p0", 0x1p56, '\0', 0 },
74 { "0x100000000000008.00p0", 0x1p56, '\0', 0 },
75 { "0x10000000000000800p0", 0x1p64, '\0', 0 },
76 { "0x10000000000000801p0", 0x1.0000000000001p64, '\0', 0 },
77 { NULL, 0, '\0', 0 }
80 static void expand (char *dst, int c);
81 static int long_dbl (void);
82 static int locale_test (void);
84 int
85 main (int argc, char ** argv)
87 char buf[100];
88 const struct ltest *lt;
89 char *ep;
90 int status = 0;
91 int save_errno;
93 for (lt = tests; lt->str != NULL; ++lt)
95 double d;
97 errno = 0;
98 d = strtod(lt->str, &ep);
99 save_errno = errno;
100 printf ("strtod (\"%s\") test %u",
101 lt->str, (unsigned int) (lt - tests));
102 if (d == lt->expect && *ep == lt->left && save_errno == lt->err)
103 puts ("\tOK");
104 else
106 puts ("\tBAD");
107 if (d != lt->expect)
108 printf (" returns %.60g, expected %.60g\n", d, lt->expect);
109 if (lt->left != *ep)
111 char exp1[5], exp2[5];
112 expand (exp1, *ep);
113 expand (exp2, lt->left);
114 printf (" leaves '%s', expected '%s'\n", exp1, exp2);
116 if (save_errno != lt->err)
117 printf (" errno %d (%s) instead of %d (%s)\n",
118 save_errno, strerror (save_errno),
119 lt->err, strerror (lt->err));
120 status = 1;
124 sprintf (buf, "%f", strtod ("-0.0", NULL));
125 if (strcmp (buf, "-0.000000") != 0)
127 printf (" strtod (\"-0.0\", NULL) returns \"%s\"\n", buf);
128 status = 1;
131 const char input[] = "3752432815e-39";
133 float f1 = strtold (input, NULL);
134 float f2;
135 float f3 = strtof (input, NULL);
136 sscanf (input, "%g", &f2);
138 if (f1 != f2)
140 printf ("f1 = %a != f2 = %a\n", f1, f2);
141 status = 1;
143 if (f1 != f3)
145 printf ("f1 = %a != f3 = %a\n", f1, f3);
146 status = 1;
148 if (f2 != f3)
150 printf ("f2 = %a != f3 = %a\n", f2, f3);
151 status = 1;
154 const char input2[] = "+1.000000000116415321826934814453125";
155 if (strtold (input2, NULL) != +1.000000000116415321826934814453125L)
157 printf ("input2: %La != %La\n", strtold (input2, NULL),
158 +1.000000000116415321826934814453125L);
159 status = 1;
162 static struct { const char *str; long double l; } ltests[] =
164 { "42.0000000000000000001", 42.0000000000000000001L },
165 { "42.00000000000000000001", 42.00000000000000000001L },
166 { "42.000000000000000000001", 42.000000000000000000001L }
168 int n;
169 for (n = 0; n < sizeof (ltests) / sizeof (ltests[0]); ++n)
170 if (strtold (ltests[n].str, NULL) != ltests[n].l)
172 printf ("ltests[%d]: %La != %La\n", n,
173 strtold (ltests[n].str, NULL), ltests[n].l);
174 status = 1;
177 status |= long_dbl ();
179 status |= locale_test ();
181 return status ? EXIT_FAILURE : EXIT_SUCCESS;
184 static void
185 expand (dst, c)
186 char *dst;
187 int c;
189 if (isprint (c))
191 dst[0] = c;
192 dst[1] = '\0';
194 else
195 (void) sprintf (dst, "%#.3o", (unsigned int) c);
198 static int
199 long_dbl (void)
201 /* Regenerate this string using
203 echo '(2^53-1)*2^(1024-53)' | bc | sed 's/\([^\]*\)\\*$/ "\1"/'
206 static const char longestdbl[] =
207 "17976931348623157081452742373170435679807056752584499659891747680315"
208 "72607800285387605895586327668781715404589535143824642343213268894641"
209 "82768467546703537516986049910576551282076245490090389328944075868508"
210 "45513394230458323690322294816580855933212334827479782620414472316873"
211 "8177180919299881250404026184124858368";
212 double d = strtod (longestdbl, NULL);
214 printf ("strtod (\"%s\", NULL) = %g\n", longestdbl, d);
216 if (d != 179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.000000)
217 return 1;
219 return 0;
222 /* Perform a few tests in a locale with thousands separators. */
223 static int
224 locale_test (void)
226 static const struct
228 const char *loc;
229 const char *str;
230 double exp;
231 ptrdiff_t nread;
232 } tests[] =
234 { "de_DE.UTF-8", "1,5", 1.5, 3 },
235 { "de_DE.UTF-8", "1.5", 1.0, 1 },
236 { "de_DE.UTF-8", "1.500", 1500.0, 5 },
237 { "de_DE.UTF-8", "36.893.488.147.419.103.232", 0x1.0p65, 26 }
239 #define ntests (sizeof (tests) / sizeof (tests[0]))
240 size_t n;
241 int result = 0;
243 puts ("\nLocale tests");
245 for (n = 0; n < ntests; ++n)
247 double d;
248 char *endp;
250 if (setlocale (LC_ALL, tests[n].loc) == NULL)
252 printf ("cannot set locale %s\n", tests[n].loc);
253 result = 1;
254 continue;
257 /* We call __strtod_interal here instead of strtod to tests the
258 handling of grouping. */
259 d = __strtod_internal (tests[n].str, &endp, 1);
260 if (d != tests[n].exp)
262 printf ("strtod(\"%s\") returns %g and not %g\n",
263 tests[n].str, d, tests[n].exp);
264 result = 1;
266 else if (endp - tests[n].str != tests[n].nread)
268 printf ("strtod(\"%s\") read %td bytes and not %td\n",
269 tests[n].str, endp - tests[n].str, tests[n].nread);
270 result = 1;
274 if (result == 0)
275 puts ("all OK");
277 return result;