1276478Sngie/* $NetBSD: t_strtod.c,v 1.32 2014/11/04 00:20:19 justin Exp $ */ 2272343Sngie 3272343Sngie/*- 4272343Sngie * Copyright (c) 2011 The NetBSD Foundation, Inc. 5272343Sngie * All rights reserved. 6272343Sngie * 7272343Sngie * This code is derived from software contributed to The NetBSD Foundation 8272343Sngie * by Jukka Ruohonen. 9272343Sngie * 10272343Sngie * Redistribution and use in source and binary forms, with or without 11272343Sngie * modification, are permitted provided that the following conditions 12272343Sngie * are met: 13272343Sngie * 1. Redistributions of source code must retain the above copyright 14272343Sngie * notice, this list of conditions and the following disclaimer. 15272343Sngie * 2. Redistributions in binary form must reproduce the above copyright 16272343Sngie * notice, this list of conditions and the following disclaimer in the 17272343Sngie * documentation and/or other materials provided with the distribution. 18272343Sngie * 19272343Sngie * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20272343Sngie * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21272343Sngie * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22272343Sngie * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23272343Sngie * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24272343Sngie * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25272343Sngie * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26272343Sngie * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27272343Sngie * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28272343Sngie * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29272343Sngie * POSSIBILITY OF SUCH DAMAGE. 30272343Sngie */ 31272343Sngie 32272343Sngie/* Public domain, Otto Moerbeek <otto@drijf.net>, 2006. */ 33272343Sngie 34272343Sngie#include <sys/cdefs.h> 35276478Sngie__RCSID("$NetBSD: t_strtod.c,v 1.32 2014/11/04 00:20:19 justin Exp $"); 36272343Sngie 37272343Sngie#include <errno.h> 38272343Sngie#include <math.h> 39272343Sngie#include <stdio.h> 40272343Sngie#include <stdlib.h> 41272343Sngie#include <string.h> 42272343Sngie 43272343Sngie#include <atf-c.h> 44272343Sngie 45272343Sngie#if defined(__i386__) || defined(__amd64__) || defined(__sparc__) 46272343Sngie#include <fenv.h> 47272343Sngie#endif 48272343Sngie 49272343Sngie#if !defined(__vax__) 50272343Sngiestatic const char * const inf_strings[] = 51272343Sngie { "Inf", "INF", "-Inf", "-INF", "Infinity", "+Infinity", 52272343Sngie "INFINITY", "-INFINITY", "InFiNiTy", "+InFiNiTy" }; 53272343Sngieconst char *nan_string = "NaN(x)y"; 54272343Sngie#endif 55272343Sngie 56276478Sngie#ifdef __FreeBSD__ 57276478Sngie#define __HAVE_LONG_DOUBLE 58276478Sngie#endif 59276478Sngie 60272343SngieATF_TC(strtod_basic); 61272343SngieATF_TC_HEAD(strtod_basic, tc) 62272343Sngie{ 63272343Sngie atf_tc_set_md_var(tc, "descr", "A basic test of strtod(3)"); 64272343Sngie} 65272343Sngie 66272343SngieATF_TC_BODY(strtod_basic, tc) 67272343Sngie{ 68272343Sngie static const size_t n = 1024 * 1000; 69272343Sngie 70272343Sngie for (size_t i = 1; i < n; i = i + 1024) { 71272343Sngie char buf[512]; 72272343Sngie (void)snprintf(buf, sizeof(buf), "%zu.%zu", i, i + 1); 73272343Sngie 74272343Sngie errno = 0; 75272343Sngie double d = strtod(buf, NULL); 76272343Sngie 77272343Sngie ATF_REQUIRE(d > 0.0); 78272343Sngie ATF_REQUIRE(errno == 0); 79272343Sngie } 80272343Sngie} 81272343Sngie 82272343SngieATF_TC(strtod_hex); 83272343SngieATF_TC_HEAD(strtod_hex, tc) 84272343Sngie{ 85272343Sngie atf_tc_set_md_var(tc, "descr", "A strtod(3) with hexadecimals"); 86272343Sngie} 87272343Sngie 88272343Sngie#ifdef __vax__ 89272343Sngie#define SMALL_NUM 1.0e-38 90272343Sngie#else 91272343Sngie#define SMALL_NUM 1.0e-40 92272343Sngie#endif 93272343Sngie 94272343SngieATF_TC_BODY(strtod_hex, tc) 95272343Sngie{ 96272343Sngie const char *str; 97272343Sngie char *end; 98272343Sngie volatile double d; 99272343Sngie 100272343Sngie str = "-0x0"; 101272343Sngie d = strtod(str, &end); /* -0.0 */ 102272343Sngie 103272343Sngie ATF_REQUIRE(end == str + 4); 104272343Sngie ATF_REQUIRE(signbit(d) != 0); 105272343Sngie ATF_REQUIRE(fabs(d) < SMALL_NUM); 106272343Sngie 107272343Sngie str = "-0x"; 108272343Sngie d = strtod(str, &end); /* -0.0 */ 109272343Sngie 110272343Sngie ATF_REQUIRE(end == str + 2); 111272343Sngie ATF_REQUIRE(signbit(d) != 0); 112272343Sngie ATF_REQUIRE(fabs(d) < SMALL_NUM); 113272343Sngie} 114272343Sngie 115272343SngieATF_TC(strtod_inf); 116272343SngieATF_TC_HEAD(strtod_inf, tc) 117272343Sngie{ 118272343Sngie atf_tc_set_md_var(tc, "descr", "A strtod(3) with INF (PR lib/33262)"); 119272343Sngie} 120272343Sngie 121272343SngieATF_TC_BODY(strtod_inf, tc) 122272343Sngie{ 123272343Sngie#ifndef __vax__ 124272343Sngie for (size_t i = 0; i < __arraycount(inf_strings); i++) { 125272343Sngie volatile double d = strtod(inf_strings[i], NULL); 126272343Sngie ATF_REQUIRE(isinf(d) != 0); 127272343Sngie } 128272343Sngie#else 129272343Sngie atf_tc_skip("vax not supported"); 130272343Sngie#endif 131272343Sngie} 132272343Sngie 133272343SngieATF_TC(strtof_inf); 134272343SngieATF_TC_HEAD(strtof_inf, tc) 135272343Sngie{ 136272343Sngie atf_tc_set_md_var(tc, "descr", "A strtof(3) with INF (PR lib/33262)"); 137272343Sngie} 138272343Sngie 139272343SngieATF_TC_BODY(strtof_inf, tc) 140272343Sngie{ 141272343Sngie#ifndef __vax__ 142272343Sngie for (size_t i = 0; i < __arraycount(inf_strings); i++) { 143272343Sngie volatile float f = strtof(inf_strings[i], NULL); 144272343Sngie ATF_REQUIRE(isinf(f) != 0); 145272343Sngie } 146272343Sngie#else 147272343Sngie atf_tc_skip("vax not supported"); 148272343Sngie#endif 149272343Sngie} 150272343Sngie 151272343SngieATF_TC(strtold_inf); 152272343SngieATF_TC_HEAD(strtold_inf, tc) 153272343Sngie{ 154272343Sngie atf_tc_set_md_var(tc, "descr", "A strtold(3) with INF (PR lib/33262)"); 155272343Sngie} 156272343Sngie 157272343SngieATF_TC_BODY(strtold_inf, tc) 158272343Sngie{ 159272343Sngie#ifndef __vax__ 160272343Sngie# ifdef __HAVE_LONG_DOUBLE 161272343Sngie 162272343Sngie for (size_t i = 0; i < __arraycount(inf_strings); i++) { 163272343Sngie volatile long double ld = strtold(inf_strings[i], NULL); 164272343Sngie ATF_REQUIRE(isinf(ld) != 0); 165272343Sngie } 166272343Sngie# else 167272343Sngie atf_tc_skip("Requires long double support"); 168272343Sngie# endif 169272343Sngie#else 170272343Sngie atf_tc_skip("vax not supported"); 171272343Sngie#endif 172272343Sngie} 173272343Sngie 174272343SngieATF_TC(strtod_nan); 175272343SngieATF_TC_HEAD(strtod_nan, tc) 176272343Sngie{ 177272343Sngie atf_tc_set_md_var(tc, "descr", "A strtod(3) with NaN"); 178272343Sngie} 179272343Sngie 180272343SngieATF_TC_BODY(strtod_nan, tc) 181272343Sngie{ 182272343Sngie#ifndef __vax__ 183272343Sngie char *end; 184272343Sngie 185272343Sngie volatile double d = strtod(nan_string, &end); 186272343Sngie ATF_REQUIRE(isnan(d) != 0); 187272343Sngie ATF_REQUIRE(strcmp(end, "y") == 0); 188272343Sngie#else 189272343Sngie atf_tc_skip("vax not supported"); 190272343Sngie#endif 191272343Sngie} 192272343Sngie 193272343SngieATF_TC(strtof_nan); 194272343SngieATF_TC_HEAD(strtof_nan, tc) 195272343Sngie{ 196272343Sngie atf_tc_set_md_var(tc, "descr", "A strtof(3) with NaN"); 197272343Sngie} 198272343Sngie 199272343SngieATF_TC_BODY(strtof_nan, tc) 200272343Sngie{ 201272343Sngie#ifndef __vax__ 202272343Sngie char *end; 203272343Sngie 204272343Sngie volatile float f = strtof(nan_string, &end); 205272343Sngie ATF_REQUIRE(isnanf(f) != 0); 206272343Sngie ATF_REQUIRE(strcmp(end, "y") == 0); 207272343Sngie#else 208272343Sngie atf_tc_skip("vax not supported"); 209272343Sngie#endif 210272343Sngie} 211272343Sngie 212272343SngieATF_TC(strtold_nan); 213272343SngieATF_TC_HEAD(strtold_nan, tc) 214272343Sngie{ 215272343Sngie atf_tc_set_md_var(tc, "descr", "A strtold(3) with NaN (PR lib/45020)"); 216272343Sngie} 217272343Sngie 218272343SngieATF_TC_BODY(strtold_nan, tc) 219272343Sngie{ 220272343Sngie#ifndef __vax__ 221272343Sngie# ifdef __HAVE_LONG_DOUBLE 222272343Sngie 223272343Sngie char *end; 224272343Sngie 225272343Sngie volatile long double ld = strtold(nan_string, &end); 226272343Sngie ATF_REQUIRE(isnan(ld) != 0); 227276478Sngie#ifdef __FreeBSD__ 228276478Sngie ATF_REQUIRE(strcmp(end, "y") == 0); 229276478Sngie#else 230272343Sngie ATF_REQUIRE(__isnanl(ld) != 0); 231276478Sngie#endif 232272343Sngie ATF_REQUIRE(strcmp(end, "y") == 0); 233272343Sngie# else 234272343Sngie atf_tc_skip("Requires long double support"); 235272343Sngie# endif 236272343Sngie#else 237272343Sngie atf_tc_skip("vax not supported"); 238272343Sngie#endif 239272343Sngie} 240272343Sngie 241272343SngieATF_TC(strtod_round); 242272343SngieATF_TC_HEAD(strtod_round, tc) 243272343Sngie{ 244272343Sngie atf_tc_set_md_var(tc, "descr", "Test rouding in strtod(3)"); 245272343Sngie} 246272343Sngie 247272343SngieATF_TC_BODY(strtod_round, tc) 248272343Sngie{ 249272343Sngie#if defined(__i386__) || defined(__amd64__) || defined(__sparc__) 250272343Sngie 251272343Sngie /* 252272343Sngie * Test that strtod(3) honors the current rounding mode. 253272343Sngie * The used value is somewhere near 1 + DBL_EPSILON + FLT_EPSILON. 254272343Sngie */ 255272343Sngie const char *val = 256272343Sngie "1.00000011920928977282585492503130808472633361816406"; 257272343Sngie 258272343Sngie (void)fesetround(FE_UPWARD); 259272343Sngie 260272343Sngie volatile double d1 = strtod(val, NULL); 261272343Sngie 262272343Sngie (void)fesetround(FE_DOWNWARD); 263272343Sngie 264272343Sngie volatile double d2 = strtod(val, NULL); 265272343Sngie 266272343Sngie if (fabs(d1 - d2) > 0.0) 267272343Sngie return; 268272343Sngie else { 269272343Sngie atf_tc_expect_fail("PR misc/44767"); 270272343Sngie atf_tc_fail("strtod(3) did not honor fesetround(3)"); 271272343Sngie } 272272343Sngie#else 273272343Sngie atf_tc_skip("Requires one of i386, amd64 or sparc"); 274272343Sngie#endif 275272343Sngie} 276272343Sngie 277272343SngieATF_TC(strtod_underflow); 278272343SngieATF_TC_HEAD(strtod_underflow, tc) 279272343Sngie{ 280272343Sngie atf_tc_set_md_var(tc, "descr", "Test underflow in strtod(3)"); 281272343Sngie} 282272343Sngie 283272343SngieATF_TC_BODY(strtod_underflow, tc) 284272343Sngie{ 285272343Sngie 286272343Sngie const char *tmp = 287272343Sngie "0.0000000000000000000000000000000000000000000000000000" 288272343Sngie "000000000000000000000000000000000000000000000000000000" 289272343Sngie "000000000000000000000000000000000000000000000000000000" 290272343Sngie "000000000000000000000000000000000000000000000000000000" 291272343Sngie "000000000000000000000000000000000000000000000000000000" 292272343Sngie "000000000000000000000000000000000000000000000000000000" 293272343Sngie "000000000000000000000000000000000000000000000000000000" 294272343Sngie "000000000000000002"; 295272343Sngie 296272343Sngie errno = 0; 297272343Sngie volatile double d = strtod(tmp, NULL); 298272343Sngie 299272343Sngie if (d != 0 || errno != ERANGE) 300272343Sngie atf_tc_fail("strtod(3) did not detect underflow"); 301272343Sngie} 302272343Sngie 303272343Sngie/* 304272343Sngie * Bug found by Geza Herman. 305272343Sngie * See 306272343Sngie * http://www.exploringbinary.com/a-bug-in-the-bigcomp-function-of-david-gays-strtod/ 307272343Sngie */ 308272343SngieATF_TC(strtod_gherman_bug); 309272343SngieATF_TC_HEAD(strtod_gherman_bug, tc) 310272343Sngie{ 311272343Sngie atf_tc_set_md_var(tc, "descr", "Test a bug found by Geza Herman"); 312272343Sngie} 313272343Sngie 314272343SngieATF_TC_BODY(strtod_gherman_bug, tc) 315272343Sngie{ 316272343Sngie 317272343Sngie const char *str = 318272343Sngie "1.8254370818746402660437411213933955878019332885742187"; 319272343Sngie 320272343Sngie errno = 0; 321272343Sngie volatile double d = strtod(str, NULL); 322272343Sngie 323272343Sngie ATF_CHECK(d == 0x1.d34fd8378ea83p+0); 324272343Sngie} 325272343Sngie 326272343SngieATF_TP_ADD_TCS(tp) 327272343Sngie{ 328272343Sngie 329272343Sngie ATF_TP_ADD_TC(tp, strtod_basic); 330272343Sngie ATF_TP_ADD_TC(tp, strtod_hex); 331272343Sngie ATF_TP_ADD_TC(tp, strtod_inf); 332272343Sngie ATF_TP_ADD_TC(tp, strtof_inf); 333272343Sngie ATF_TP_ADD_TC(tp, strtold_inf); 334272343Sngie ATF_TP_ADD_TC(tp, strtod_nan); 335272343Sngie ATF_TP_ADD_TC(tp, strtof_nan); 336272343Sngie ATF_TP_ADD_TC(tp, strtold_nan); 337272343Sngie ATF_TP_ADD_TC(tp, strtod_round); 338272343Sngie ATF_TP_ADD_TC(tp, strtod_underflow); 339272343Sngie ATF_TP_ADD_TC(tp, strtod_gherman_bug); 340272343Sngie 341272343Sngie return atf_no_error(); 342272343Sngie} 343