Mercurial > gnulib
view tests/test-fma-ieee.h @ 40214:452ab00796c7
Fix undefined behaviour.
* lib/bitrotate.h (rotl16, rotr16, rotl8, rotr8): Case x to
'unsigned int', to avoid shift operations on 'int'.
* lib/xmemdup0.c (xmemdup0): Don't invoke memcpy with a zero size.
* tests/test-count-leading-zeros.c (main): Use a random number that has
as many bits as TYPE, not only 2*15 or 2*31 bits.
* tests/test-count-trailing-zeros.c (main): Likewise.
* tests/test-count-one-bits.c (main): Likewise.
* tests/test-memmem.c: Don't include "null-ptr.h".
(main): Use zerosize_ptr() instead of null_ptr().
* modules/memmem-tests (Files): Remove tests/null-ptr.h.
author | Bruno Haible <bruno@clisp.org> |
---|---|
date | Sat, 09 Mar 2019 20:32:25 +0100 |
parents | b06060465f09 |
children |
line wrap: on
line source
/* Test of ldexp*() function family. Copyright (C) 2012-2019 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 the Free Software Foundation; either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <https://www.gnu.org/licenses/>. */ static void test_function (void) { /* [MX] shaded specification in POSIX. */ /* NaN. */ ASSERT (ISNAN (FMA (NAN, L_(3.0), L_(5.0)))); ASSERT (ISNAN (FMA (NAN, L_(0.0), L_(5.0)))); ASSERT (ISNAN (FMA (L_(2.0), NAN, L_(5.0)))); ASSERT (ISNAN (FMA (L_(0.0), NAN, L_(5.0)))); ASSERT (ISNAN (FMA (NAN, NAN, L_(5.0)))); ASSERT (ISNAN (FMA (NAN, L_(3.0), NAN))); ASSERT (ISNAN (FMA (NAN, L_(0.0), NAN))); ASSERT (ISNAN (FMA (L_(2.0), NAN, NAN))); ASSERT (ISNAN (FMA (L_(0.0), NAN, NAN))); ASSERT (ISNAN (FMA (NAN, NAN, NAN))); /* Infinity. */ ASSERT (ISNAN (FMA (INFINITY, L_(2.0), - INFINITY))); ASSERT (ISNAN (FMA (INFINITY, - L_(2.0), INFINITY))); ASSERT (ISNAN (FMA (- INFINITY, L_(2.0), INFINITY))); ASSERT (ISNAN (FMA (- INFINITY, - L_(2.0), - INFINITY))); ASSERT (ISNAN (FMA (L_(2.0), INFINITY, - INFINITY))); ASSERT (ISNAN (FMA (L_(2.0), - INFINITY, INFINITY))); ASSERT (ISNAN (FMA (- L_(2.0), INFINITY, INFINITY))); ASSERT (ISNAN (FMA (- L_(2.0), - INFINITY, - INFINITY))); ASSERT (FMA (INFINITY, L_(2.0), INFINITY) == INFINITY); ASSERT (FMA (INFINITY, - L_(2.0), - INFINITY) == - INFINITY); ASSERT (FMA (- INFINITY, L_(2.0), - INFINITY) == - INFINITY); ASSERT (FMA (- INFINITY, - L_(2.0), INFINITY) == INFINITY); ASSERT (FMA (L_(2.0), INFINITY, INFINITY) == INFINITY); ASSERT (FMA (L_(2.0), - INFINITY, - INFINITY) == - INFINITY); ASSERT (FMA (- L_(2.0), INFINITY, - INFINITY) == - INFINITY); ASSERT (FMA (- L_(2.0), - INFINITY, INFINITY) == INFINITY); /* Infinity times zero is NaN. */ ASSERT (ISNAN (FMA (INFINITY, L_(0.0), L_(7.0)))); ASSERT (ISNAN (FMA (INFINITY, L_(0.0), INFINITY))); ASSERT (ISNAN (FMA (INFINITY, L_(0.0), NAN))); ASSERT (ISNAN (FMA (- INFINITY, L_(0.0), L_(7.0)))); ASSERT (ISNAN (FMA (- INFINITY, L_(0.0), INFINITY))); ASSERT (ISNAN (FMA (- INFINITY, L_(0.0), NAN))); ASSERT (ISNAN (FMA (L_(0.0), INFINITY, L_(7.0)))); ASSERT (ISNAN (FMA (L_(0.0), INFINITY, INFINITY))); ASSERT (ISNAN (FMA (L_(0.0), INFINITY, NAN))); ASSERT (ISNAN (FMA (L_(0.0), - INFINITY, L_(7.0)))); ASSERT (ISNAN (FMA (L_(0.0), - INFINITY, INFINITY))); ASSERT (ISNAN (FMA (L_(0.0), - INFINITY, NAN))); /* NaN in the z argument. */ ASSERT (ISNAN (FMA (L_(2.0), L_(3.0), NAN))); ASSERT (ISNAN (FMA (L_(2.0), INFINITY, NAN))); ASSERT (ISNAN (FMA (INFINITY, L_(3.0), NAN))); ASSERT (ISNAN (FMA (INFINITY, INFINITY, NAN))); }