From 12dbfc91fb0ef24727d071d4ed4a54dc912d1122 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 7 Nov 2023 21:56:34 +0100 Subject: [PATCH] fenv-exceptions-state-c99 tests: Add a test of the link dependencies. * tests/test-fenv-except-state-4.c: Renamed from tests/test-fenv-except-state-3.c. * tests/test-fenv-except-state-3.c: Renamed from tests/test-fenv-except-state-2.c. * tests/test-fenv-except-state-2.c: Renamed from tests/test-fenv-except-state-1.c. * tests/test-fenv-except-state-1.c: New file. * modules/fenv-exceptions-state-c23-tests: Update. * modules/fenv-exceptions-state-c99-tests: Update. Add test-fenv-except-state-1 unit test. --- ChangeLog | 14 +++ modules/fenv-exceptions-state-c23-tests | 8 +- modules/fenv-exceptions-state-c99-tests | 12 ++- tests/test-fenv-except-state-1.c | 97 +----------------- tests/test-fenv-except-state-2.c | 126 +++++++++++++++--------- tests/test-fenv-except-state-3.c | 75 +++++++++----- tests/test-fenv-except-state-4.c | 70 +++++++++++++ 7 files changed, 228 insertions(+), 174 deletions(-) create mode 100644 tests/test-fenv-except-state-4.c diff --git a/ChangeLog b/ChangeLog index 0f665556d4..2754d32003 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,17 @@ +2023-11-07 Bruno Haible + + fenv-exceptions-state-c99 tests: Add a test of the link dependencies. + * tests/test-fenv-except-state-4.c: Renamed from + tests/test-fenv-except-state-3.c. + * tests/test-fenv-except-state-3.c: Renamed from + tests/test-fenv-except-state-2.c. + * tests/test-fenv-except-state-2.c: Renamed from + tests/test-fenv-except-state-1.c. + * tests/test-fenv-except-state-1.c: New file. + * modules/fenv-exceptions-state-c23-tests: Update. + * modules/fenv-exceptions-state-c99-tests: Update. Add + test-fenv-except-state-1 unit test. + 2023-11-07 Bruno Haible fenv-exceptions-trapping tests: Comments. diff --git a/modules/fenv-exceptions-state-c23-tests b/modules/fenv-exceptions-state-c23-tests index 3d92a4714f..399908f2ce 100644 --- a/modules/fenv-exceptions-state-c23-tests +++ b/modules/fenv-exceptions-state-c23-tests @@ -1,5 +1,5 @@ Files: -tests/test-fenv-except-state-3.c +tests/test-fenv-except-state-4.c tests/macros.h Depends-on: @@ -8,6 +8,6 @@ fenv-exceptions-tracking-c99 configure.ac: Makefile.am: -TESTS += test-fenv-except-state-3 -check_PROGRAMS += test-fenv-except-state-3 -test_fenv_except_state_3_LDADD = $(LDADD) @FENV_EXCEPTIONS_STATE_LIBM@ $(FENV_EXCEPTIONS_TRACKING_LIBM) +TESTS += test-fenv-except-state-4 +check_PROGRAMS += test-fenv-except-state-4 +test_fenv_except_state_4_LDADD = $(LDADD) @FENV_EXCEPTIONS_STATE_LIBM@ $(FENV_EXCEPTIONS_TRACKING_LIBM) diff --git a/modules/fenv-exceptions-state-c99-tests b/modules/fenv-exceptions-state-c99-tests index 7fd4e24aa1..f737aa6737 100644 --- a/modules/fenv-exceptions-state-c99-tests +++ b/modules/fenv-exceptions-state-c99-tests @@ -1,6 +1,7 @@ Files: tests/test-fenv-except-state-1.c tests/test-fenv-except-state-2.c +tests/test-fenv-except-state-3.c tests/macros.h m4/musl.m4 @@ -14,9 +15,12 @@ gl_MUSL_LIBC Makefile.am: TESTS += \ test-fenv-except-state-1 \ - test-fenv-except-state-2 + test-fenv-except-state-2 \ + test-fenv-except-state-3 check_PROGRAMS += \ test-fenv-except-state-1 \ - test-fenv-except-state-2 -test_fenv_except_state_1_LDADD = $(LDADD) @FENV_EXCEPTIONS_STATE_LIBM@ $(FENV_EXCEPTIONS_TRACKING_LIBM) -test_fenv_except_state_2_LDADD = $(LDADD) @FENV_EXCEPTIONS_STATE_LIBM@ $(FENV_EXCEPTIONS_TRACKING_LIBM) @FPE_TRAPPING_LIBM@ + test-fenv-except-state-2 \ + test-fenv-except-state-3 +test_fenv_except_state_1_LDADD = $(LDADD) @FENV_EXCEPTIONS_STATE_LIBM@ +test_fenv_except_state_2_LDADD = $(LDADD) @FENV_EXCEPTIONS_STATE_LIBM@ $(FENV_EXCEPTIONS_TRACKING_LIBM) +test_fenv_except_state_3_LDADD = $(LDADD) @FENV_EXCEPTIONS_STATE_LIBM@ $(FENV_EXCEPTIONS_TRACKING_LIBM) @FPE_TRAPPING_LIBM@ diff --git a/tests/test-fenv-except-state-1.c b/tests/test-fenv-except-state-1.c index 3b01418d3a..06a7b63d9e 100644 --- a/tests/test-fenv-except-state-1.c +++ b/tests/test-fenv-except-state-1.c @@ -21,103 +21,16 @@ /* Specification. */ #include -#include "macros.h" +/* Test the link dependencies: that $(FENV_EXCEPTIONS_STATE_LIBM) is + sufficient. */ int main () { - fexcept_t saved_flags_1; - fexcept_t saved_flags_2; + fexcept_t saved_flags; - /* Test setting all exception flags. */ - if (feraiseexcept (FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) != 0) - { - fputs ("Skipping test: floating-point exceptions are not supported on this machine.\n", stderr); - return 77; - } - - /* Fill saved_flags_1. */ - ASSERT (fegetexceptflag (&saved_flags_1, - FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) - == 0); - - /* Clear some of the exception flags. */ - ASSERT (feclearexcept (FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) == 0); - /* Here, the set exception flags are FE_INVALID | FE_DIVBYZERO. */ - ASSERT (fetestexcept (FE_INVALID) == FE_INVALID); - ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); - ASSERT (fetestexcept (FE_OVERFLOW) == 0); - ASSERT (fetestexcept (FE_UNDERFLOW) == 0); - ASSERT (fetestexcept (FE_INEXACT) == 0); - - /* Fill saved_flags_2. */ - ASSERT (fegetexceptflag (&saved_flags_2, FE_INVALID | FE_OVERFLOW) == 0); - - /* Restore some of the exception flags. */ - ASSERT (fesetexceptflag (&saved_flags_1, - FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW) == 0); - /* Here, the set exception flags are FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW. */ - ASSERT (fetestexcept (FE_INVALID) == FE_INVALID); - ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); - ASSERT (fetestexcept (FE_OVERFLOW) == FE_OVERFLOW); - ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW); - ASSERT (fetestexcept (FE_INEXACT) == 0); - - /* Clear some more exception flags. */ - ASSERT (feclearexcept (FE_INVALID) == 0); - /* Here, the set exception flags are FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW. */ - ASSERT (fetestexcept (FE_INVALID) == 0); - ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); - ASSERT (fetestexcept (FE_OVERFLOW) == FE_OVERFLOW); - ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW); - ASSERT (fetestexcept (FE_INEXACT) == 0); - - /* Restore some more exception flags. */ - ASSERT (fesetexceptflag (&saved_flags_2, FE_OVERFLOW) == 0); - /* Here, the set exception flags are FE_DIVBYZERO | FE_UNDERFLOW. */ - ASSERT (fetestexcept (FE_INVALID) == 0); - ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); - ASSERT (fetestexcept (FE_OVERFLOW) == 0); - ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW); - ASSERT (fetestexcept (FE_INEXACT) == 0); - - /* Restore some more exception flags. */ - ASSERT (fesetexceptflag (&saved_flags_2, FE_INVALID) == 0); - /* Here, the set exception flags are FE_INVALID | FE_DIVBYZERO | FE_UNDERFLOW. */ - ASSERT (fetestexcept (FE_INVALID) == FE_INVALID); - ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); - ASSERT (fetestexcept (FE_OVERFLOW) == 0); - ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW); - ASSERT (fetestexcept (FE_INEXACT) == 0); - - /* ======================================================================== */ - /* Check that fesetexceptflag clears exception flags in both the 387 unit - and the SSE unit, on i386 and x86_64 CPUs. */ - - fexcept_t saved_flags_3; - - ASSERT (feclearexcept (FE_INVALID) == 0); - - ASSERT (fegetexceptflag (&saved_flags_3, FE_INVALID) == 0); - - /* Set the FE_INVALID flag in the SSE unit. */ - { - static volatile double a, b; - _GL_UNUSED volatile double c; - a = 0.0; b = 0.0; c = a / b; - } - /* Set the FE_INVALID flag in the 387 unit. */ - { - static volatile long double al, bl; - _GL_UNUSED volatile long double cl; - al = 0.0L; bl = 0.0L; cl = al / bl; - } - - /* Use fesetexceptflag to clear the FE_INVALID flag. */ - ASSERT (fesetexceptflag (&saved_flags_3, FE_INVALID) == 0); - - /* Check that it's clear in both units. */ - ASSERT (fetestexcept (FE_INVALID) == 0); + fegetexceptflag (&saved_flags, FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT); + fesetexceptflag (&saved_flags, FE_OVERFLOW | FE_UNDERFLOW); return 0; } diff --git a/tests/test-fenv-except-state-2.c b/tests/test-fenv-except-state-2.c index bebcf5f590..3b01418d3a 100644 --- a/tests/test-fenv-except-state-2.c +++ b/tests/test-fenv-except-state-2.c @@ -21,25 +21,13 @@ /* Specification. */ #include -#include - -#include "fpe-trapping.h" #include "macros.h" -/* musl libc does not support floating-point exception trapping, even where - the hardware supports it. See - */ -#if HAVE_FPE_TRAPPING && (!MUSL_LIBC || GNULIB_FEENABLEEXCEPT) - -/* Check that fesetexceptflag() does not trigger a trap. */ - -static volatile double a, b; -static volatile long double al, bl; - int main () { fexcept_t saved_flags_1; + fexcept_t saved_flags_2; /* Test setting all exception flags. */ if (feraiseexcept (FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) != 0) @@ -53,41 +41,83 @@ main () FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) == 0); - /* Clear exceptions from past operations. */ - feclearexcept (FE_ALL_EXCEPT); - - /* An FE_INVALID exception shall trigger a SIGFPE signal, which by default - terminates the program. */ - if (sigfpe_on_invalid () < 0) - { - fputs ("Skipping test: trapping floating-point exceptions are not supported on this machine.\n", stderr); - return 77; - } - - /* Attempt to set the FE_INVALID exception flag. */ - _GL_UNUSED int rc = fesetexceptflag (&saved_flags_1, FE_INVALID); - /* On older i386 and on PowerPC, there is no way to implement - fesetexceptflag() such that it does not trigger a trap. fesetexceptflag() - is expected to fail in this case. */ -# if !((defined __i386 || defined _M_IX86) || defined __powerpc__) - ASSERT (rc == 0); -# endif - - /* Do a harmless floating-point operation (since on some CPUs, floating-point - exceptions trigger a trap only at the next floating-point operation). */ - a = 1.0; b = a + a; - al = 1.0L; bl = al + al; + /* Clear some of the exception flags. */ + ASSERT (feclearexcept (FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) == 0); + /* Here, the set exception flags are FE_INVALID | FE_DIVBYZERO. */ + ASSERT (fetestexcept (FE_INVALID) == FE_INVALID); + ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); + ASSERT (fetestexcept (FE_OVERFLOW) == 0); + ASSERT (fetestexcept (FE_UNDERFLOW) == 0); + ASSERT (fetestexcept (FE_INEXACT) == 0); + + /* Fill saved_flags_2. */ + ASSERT (fegetexceptflag (&saved_flags_2, FE_INVALID | FE_OVERFLOW) == 0); + + /* Restore some of the exception flags. */ + ASSERT (fesetexceptflag (&saved_flags_1, + FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW) == 0); + /* Here, the set exception flags are FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW. */ + ASSERT (fetestexcept (FE_INVALID) == FE_INVALID); + ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); + ASSERT (fetestexcept (FE_OVERFLOW) == FE_OVERFLOW); + ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW); + ASSERT (fetestexcept (FE_INEXACT) == 0); + + /* Clear some more exception flags. */ + ASSERT (feclearexcept (FE_INVALID) == 0); + /* Here, the set exception flags are FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW. */ + ASSERT (fetestexcept (FE_INVALID) == 0); + ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); + ASSERT (fetestexcept (FE_OVERFLOW) == FE_OVERFLOW); + ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW); + ASSERT (fetestexcept (FE_INEXACT) == 0); + + /* Restore some more exception flags. */ + ASSERT (fesetexceptflag (&saved_flags_2, FE_OVERFLOW) == 0); + /* Here, the set exception flags are FE_DIVBYZERO | FE_UNDERFLOW. */ + ASSERT (fetestexcept (FE_INVALID) == 0); + ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); + ASSERT (fetestexcept (FE_OVERFLOW) == 0); + ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW); + ASSERT (fetestexcept (FE_INEXACT) == 0); + + /* Restore some more exception flags. */ + ASSERT (fesetexceptflag (&saved_flags_2, FE_INVALID) == 0); + /* Here, the set exception flags are FE_INVALID | FE_DIVBYZERO | FE_UNDERFLOW. */ + ASSERT (fetestexcept (FE_INVALID) == FE_INVALID); + ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); + ASSERT (fetestexcept (FE_OVERFLOW) == 0); + ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW); + ASSERT (fetestexcept (FE_INEXACT) == 0); + + /* ======================================================================== */ + /* Check that fesetexceptflag clears exception flags in both the 387 unit + and the SSE unit, on i386 and x86_64 CPUs. */ + + fexcept_t saved_flags_3; + + ASSERT (feclearexcept (FE_INVALID) == 0); + + ASSERT (fegetexceptflag (&saved_flags_3, FE_INVALID) == 0); + + /* Set the FE_INVALID flag in the SSE unit. */ + { + static volatile double a, b; + _GL_UNUSED volatile double c; + a = 0.0; b = 0.0; c = a / b; + } + /* Set the FE_INVALID flag in the 387 unit. */ + { + static volatile long double al, bl; + _GL_UNUSED volatile long double cl; + al = 0.0L; bl = 0.0L; cl = al / bl; + } + + /* Use fesetexceptflag to clear the FE_INVALID flag. */ + ASSERT (fesetexceptflag (&saved_flags_3, FE_INVALID) == 0); + + /* Check that it's clear in both units. */ + ASSERT (fetestexcept (FE_INVALID) == 0); return 0; } - -#else - -int -main () -{ - fputs ("Skipping test: feenableexcept not available\n", stderr); - return 77; -} - -#endif diff --git a/tests/test-fenv-except-state-3.c b/tests/test-fenv-except-state-3.c index b1f72e6b9c..bebcf5f590 100644 --- a/tests/test-fenv-except-state-3.c +++ b/tests/test-fenv-except-state-3.c @@ -21,13 +21,25 @@ /* Specification. */ #include +#include + +#include "fpe-trapping.h" #include "macros.h" +/* musl libc does not support floating-point exception trapping, even where + the hardware supports it. See + */ +#if HAVE_FPE_TRAPPING && (!MUSL_LIBC || GNULIB_FEENABLEEXCEPT) + +/* Check that fesetexceptflag() does not trigger a trap. */ + +static volatile double a, b; +static volatile long double al, bl; + int main () { fexcept_t saved_flags_1; - fexcept_t saved_flags_2; /* Test setting all exception flags. */ if (feraiseexcept (FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) != 0) @@ -40,31 +52,42 @@ main () ASSERT (fegetexceptflag (&saved_flags_1, FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) == 0); - /* Check its contents. */ - ASSERT (fetestexceptflag (&saved_flags_1, - FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) - == (FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT)); - ASSERT (fetestexceptflag (&saved_flags_1, FE_INVALID) == FE_INVALID); - ASSERT (fetestexceptflag (&saved_flags_1, FE_DIVBYZERO) == FE_DIVBYZERO); - ASSERT (fetestexceptflag (&saved_flags_1, FE_OVERFLOW) == FE_OVERFLOW); - ASSERT (fetestexceptflag (&saved_flags_1, FE_UNDERFLOW) == FE_UNDERFLOW); - ASSERT (fetestexceptflag (&saved_flags_1, FE_INEXACT) == FE_INEXACT); - - /* Clear some of the exception flags. */ - ASSERT (feclearexcept (FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) == 0); - /* Here, the set exception flags are FE_INVALID | FE_DIVBYZERO. */ - ASSERT (fetestexcept (FE_INVALID) == FE_INVALID); - ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); - ASSERT (fetestexcept (FE_OVERFLOW) == 0); - ASSERT (fetestexcept (FE_UNDERFLOW) == 0); - ASSERT (fetestexcept (FE_INEXACT) == 0); - - /* Fill saved_flags_2. */ - ASSERT (fegetexceptflag (&saved_flags_2, FE_INVALID | FE_OVERFLOW) == 0); - /* Check its contents. */ - ASSERT (fetestexceptflag (&saved_flags_2, FE_INVALID | FE_OVERFLOW) == FE_INVALID); - ASSERT (fetestexceptflag (&saved_flags_2, FE_INVALID) == FE_INVALID); - ASSERT (fetestexceptflag (&saved_flags_2, FE_OVERFLOW) == 0); + + /* Clear exceptions from past operations. */ + feclearexcept (FE_ALL_EXCEPT); + + /* An FE_INVALID exception shall trigger a SIGFPE signal, which by default + terminates the program. */ + if (sigfpe_on_invalid () < 0) + { + fputs ("Skipping test: trapping floating-point exceptions are not supported on this machine.\n", stderr); + return 77; + } + + /* Attempt to set the FE_INVALID exception flag. */ + _GL_UNUSED int rc = fesetexceptflag (&saved_flags_1, FE_INVALID); + /* On older i386 and on PowerPC, there is no way to implement + fesetexceptflag() such that it does not trigger a trap. fesetexceptflag() + is expected to fail in this case. */ +# if !((defined __i386 || defined _M_IX86) || defined __powerpc__) + ASSERT (rc == 0); +# endif + + /* Do a harmless floating-point operation (since on some CPUs, floating-point + exceptions trigger a trap only at the next floating-point operation). */ + a = 1.0; b = a + a; + al = 1.0L; bl = al + al; return 0; } + +#else + +int +main () +{ + fputs ("Skipping test: feenableexcept not available\n", stderr); + return 77; +} + +#endif diff --git a/tests/test-fenv-except-state-4.c b/tests/test-fenv-except-state-4.c new file mode 100644 index 0000000000..b1f72e6b9c --- /dev/null +++ b/tests/test-fenv-except-state-4.c @@ -0,0 +1,70 @@ +/* Test of saving the floating-point exception status flags. + Copyright (C) 2023 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 . */ + +/* Written by Bruno Haible , 2023. */ + +#include + +/* Specification. */ +#include + +#include "macros.h" + +int +main () +{ + fexcept_t saved_flags_1; + fexcept_t saved_flags_2; + + /* Test setting all exception flags. */ + if (feraiseexcept (FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) != 0) + { + fputs ("Skipping test: floating-point exceptions are not supported on this machine.\n", stderr); + return 77; + } + + /* Fill saved_flags_1. */ + ASSERT (fegetexceptflag (&saved_flags_1, + FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) + == 0); + /* Check its contents. */ + ASSERT (fetestexceptflag (&saved_flags_1, + FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) + == (FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT)); + ASSERT (fetestexceptflag (&saved_flags_1, FE_INVALID) == FE_INVALID); + ASSERT (fetestexceptflag (&saved_flags_1, FE_DIVBYZERO) == FE_DIVBYZERO); + ASSERT (fetestexceptflag (&saved_flags_1, FE_OVERFLOW) == FE_OVERFLOW); + ASSERT (fetestexceptflag (&saved_flags_1, FE_UNDERFLOW) == FE_UNDERFLOW); + ASSERT (fetestexceptflag (&saved_flags_1, FE_INEXACT) == FE_INEXACT); + + /* Clear some of the exception flags. */ + ASSERT (feclearexcept (FE_OVERFLOW | FE_UNDERFLOW | FE_INEXACT) == 0); + /* Here, the set exception flags are FE_INVALID | FE_DIVBYZERO. */ + ASSERT (fetestexcept (FE_INVALID) == FE_INVALID); + ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO); + ASSERT (fetestexcept (FE_OVERFLOW) == 0); + ASSERT (fetestexcept (FE_UNDERFLOW) == 0); + ASSERT (fetestexcept (FE_INEXACT) == 0); + + /* Fill saved_flags_2. */ + ASSERT (fegetexceptflag (&saved_flags_2, FE_INVALID | FE_OVERFLOW) == 0); + /* Check its contents. */ + ASSERT (fetestexceptflag (&saved_flags_2, FE_INVALID | FE_OVERFLOW) == FE_INVALID); + ASSERT (fetestexceptflag (&saved_flags_2, FE_INVALID) == FE_INVALID); + ASSERT (fetestexceptflag (&saved_flags_2, FE_OVERFLOW) == 0); + + return 0; +} -- 2.39.5