123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206 |
- /* Test fegetexceptflag and fesetexceptflag.
- Copyright (C) 2016-2019 Free Software Foundation, Inc.
- This file is part of the GNU C Library.
- The GNU C Library is free software; you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public
- License as published by the Free Software Foundation; either
- version 2.1 of the License, or (at your option) any later version.
- The GNU C Library 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
- Lesser General Public License for more details.
- You should have received a copy of the GNU Lesser General Public
- License along with the GNU C Library; if not, see
- <http://www.gnu.org/licenses/>. */
- #include <fenv.h>
- #include <stdio.h>
- #include <math-tests.h>
- /* Like feraiseexcept, but raise exactly the specified exceptions EXC,
- without possibly raising "inexact" together with "overflow" or
- "underflow" as permitted by ISO C. (This is not used with traps
- enabled, so side-effects from raising and then clearing "inexact"
- are irrelevant.) */
- static int
- feraiseexcept_exact (int exc)
- {
- #ifdef FE_INEXACT
- int mask = 0;
- #ifdef FE_OVERFLOW
- mask |= FE_OVERFLOW;
- #endif
- #ifdef FE_UNDERFLOW
- mask |= FE_UNDERFLOW;
- #endif
- if ((exc & FE_INEXACT) != 0
- || (exc & mask) == 0
- || fetestexcept (FE_INEXACT) != 0)
- return feraiseexcept (exc);
- int ret = feraiseexcept (exc);
- feclearexcept (FE_INEXACT);
- return ret;
- #else
- return feraiseexcept (exc);
- #endif
- }
- static int
- test_set (int initial, const fexcept_t *saved, int mask, int expected)
- {
- int result = 0;
- feclearexcept (FE_ALL_EXCEPT);
- printf ("Testing set: initial exceptions %x, mask %x, expected %x\n",
- (unsigned int) initial, (unsigned int) mask,
- (unsigned int) expected);
- int ret = feraiseexcept_exact (initial);
- if (ret != 0)
- {
- puts ("feraiseexcept failed");
- if (initial == 0 || EXCEPTION_TESTS (float))
- {
- puts ("failure of feraiseexcept was unexpected");
- result = 1;
- }
- else
- puts ("failure of feraiseexcept OK, skipping further tests");
- return result;
- }
- ret = fesetexceptflag (saved, mask);
- if (ret != 0)
- {
- puts ("fesetexceptflag failed");
- result = 1;
- }
- else
- puts ("fesetexceptflag succeeded");
- ret = fetestexcept (FE_ALL_EXCEPT);
- if (ret != expected)
- {
- printf ("raised exceptions %x, expected %x\n",
- (unsigned int) ret, (unsigned int) expected);
- result = 1;
- }
- return result;
- }
- static int
- test_except (int exc, const char *exc_name)
- {
- int result = 0;
- printf ("Testing %s\n", exc_name);
- feclearexcept (FE_ALL_EXCEPT);
- fexcept_t clear_saved_exc, clear_saved_all;
- int ret = fegetexceptflag (&clear_saved_exc, exc);
- if (ret == 0)
- printf ("fegetexceptflag (%s) succeeded\n", exc_name);
- else
- {
- printf ("fegetexceptflag (%s) failed\n", exc_name);
- result = 1;
- return result;
- }
- ret = fegetexceptflag (&clear_saved_all, FE_ALL_EXCEPT);
- if (ret == 0)
- puts ("fegetexceptflag (FE_ALL_EXCEPT) succeeded");
- else
- {
- puts ("fegetexceptflag (FE_ALL_EXCEPT) failed");
- result = 1;
- return result;
- }
- ret = feraiseexcept_exact (exc);
- if (ret == 0)
- printf ("feraiseexcept (%s) succeeded\n", exc_name);
- else
- {
- printf ("feraiseexcept (%s) failed\n", exc_name);
- if (exc == 0 || EXCEPTION_TESTS (float))
- {
- puts ("failure of feraiseexcept was unexpected");
- result = 1;
- }
- else
- puts ("failure of feraiseexcept OK, skipping further tests");
- return result;
- }
- fexcept_t set_saved_exc, set_saved_all;
- ret = fegetexceptflag (&set_saved_exc, exc);
- if (ret == 0)
- printf ("fegetexceptflag (%s) succeeded\n", exc_name);
- else
- {
- printf ("fegetexceptflag (%s) failed\n", exc_name);
- result = 1;
- return result;
- }
- ret = fegetexceptflag (&set_saved_all, FE_ALL_EXCEPT);
- if (ret == 0)
- puts ("fegetexceptflag (FE_ALL_EXCEPT) succeeded");
- else
- {
- puts ("fegetexceptflag (FE_ALL_EXCEPT) failed");
- result = 1;
- return result;
- }
- result |= test_set (0, &set_saved_exc, exc, exc);
- result |= test_set (0, &set_saved_all, exc, exc);
- result |= test_set (0, &set_saved_all, FE_ALL_EXCEPT, exc);
- result |= test_set (0, &clear_saved_exc, exc, 0);
- result |= test_set (0, &clear_saved_all, exc, 0);
- result |= test_set (0, &clear_saved_all, FE_ALL_EXCEPT, 0);
- result |= test_set (exc, &set_saved_exc, exc, exc);
- result |= test_set (exc, &set_saved_all, exc, exc);
- result |= test_set (exc, &set_saved_all, FE_ALL_EXCEPT, exc);
- result |= test_set (exc, &clear_saved_exc, exc, 0);
- result |= test_set (exc, &clear_saved_all, exc, 0);
- result |= test_set (exc, &clear_saved_all, FE_ALL_EXCEPT, 0);
- result |= test_set (FE_ALL_EXCEPT, &set_saved_exc, exc, FE_ALL_EXCEPT);
- result |= test_set (FE_ALL_EXCEPT, &set_saved_all, exc, FE_ALL_EXCEPT);
- result |= test_set (FE_ALL_EXCEPT, &set_saved_all, FE_ALL_EXCEPT, exc);
- result |= test_set (FE_ALL_EXCEPT, &clear_saved_exc, exc,
- FE_ALL_EXCEPT & ~exc);
- result |= test_set (FE_ALL_EXCEPT, &clear_saved_all, exc,
- FE_ALL_EXCEPT & ~exc);
- result |= test_set (FE_ALL_EXCEPT, &clear_saved_all, FE_ALL_EXCEPT, 0);
- return result;
- }
- static int
- do_test (void)
- {
- int result = 0;
- result |= test_except (0, "0");
- result |= test_except (FE_ALL_EXCEPT, "FE_ALL_EXCEPT");
- #ifdef FE_DIVBYZERO
- result |= test_except (FE_DIVBYZERO, "FE_DIVBYZERO");
- #endif
- #ifdef FE_INEXACT
- result |= test_except (FE_INEXACT, "FE_INEXACT");
- #endif
- #ifdef FE_INVALID
- result |= test_except (FE_INVALID, "FE_INVALID");
- #endif
- #ifdef FE_OVERFLOW
- result |= test_except (FE_OVERFLOW, "FE_OVERFLOW");
- #endif
- #ifdef FE_UNDERFLOW
- result |= test_except (FE_UNDERFLOW, "FE_UNDERFLOW");
- #endif
- return result;
- }
- #define TEST_FUNCTION do_test ()
- #include "../test-skeleton.c"
|