X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=tests%2Ftest-trunc1.c;h=6737bbc9a3bd58655823ce55d2ca2ec95afe66d9;hb=1276a2c5f24c0c932426aca9c899fa524d2443f2;hp=0c92cc6e2cccf5640c7bbd06ddd478af7617b361;hpb=89ae4589dd58d12e7cbcf0e92c1d828c1e430f97;p=gnulib.git diff --git a/tests/test-trunc1.c b/tests/test-trunc1.c index 0c92cc6e2..6737bbc9a 100644 --- a/tests/test-trunc1.c +++ b/tests/test-trunc1.c @@ -1,5 +1,5 @@ /* Test of rounding towards zero. - Copyright (C) 2007-2009 Free Software Foundation, Inc. + Copyright (C) 2007-2014 Free Software Foundation, Inc. This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -23,34 +23,18 @@ #include "signature.h" SIGNATURE_CHECK (trunc, double, (double)); -#include -#include - #include "isnand-nolibm.h" +#include "minus-zero.h" +#include "infinity.h" #include "nan.h" - -#define ASSERT(expr) \ - do \ - { \ - if (!(expr)) \ - { \ - fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \ - fflush (stderr); \ - abort (); \ - } \ - } \ - while (0) - -/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0. - So we use -zero instead. */ -double zero = 0.0; +#include "macros.h" int main () { /* Zero. */ ASSERT (trunc (0.0) == 0.0); - ASSERT (trunc (-zero) == 0.0); + ASSERT (trunc (minus_zerod) == 0.0); /* Positive numbers. */ ASSERT (trunc (0.3) == 0.0); ASSERT (trunc (0.7) == 0.0); @@ -72,8 +56,8 @@ main () ASSERT (trunc (-65536.0) == -65536.0); ASSERT (trunc (-2.341e31) == -2.341e31); /* Infinite numbers. */ - ASSERT (trunc (1.0 / 0.0) == 1.0 / 0.0); - ASSERT (trunc (-1.0 / 0.0) == -1.0 / 0.0); + ASSERT (trunc (Infinityd ()) == Infinityd ()); + ASSERT (trunc (- Infinityd ()) == - Infinityd ()); /* NaNs. */ ASSERT (isnand (trunc (NaNd ())));