From: Bruno Haible <bruno@clisp.org>
Date: Tue, 7 Nov 2023 20:56:34 +0000 (+0100)
Subject: fenv-exceptions-state-c99 tests: Add a test of the link dependencies.
X-Git-Tag: v1.0~622
X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=12dbfc91fb0ef24727d071d4ed4a54dc912d1122;p=gnulib.git

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.
---

diff --git a/ChangeLog b/ChangeLog
index 0f665556d4..2754d32003 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,17 @@
+2023-11-07  Bruno Haible  <bruno@clisp.org>
+
+	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  <bruno@clisp.org>
 
 	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 <fenv.h>
 
-#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 <fenv.h>
 
-#include <stdio.h>
-
-#include "fpe-trapping.h"
 #include "macros.h"
 
-/* musl libc does not support floating-point exception trapping, even where
-   the hardware supports it.  See
-   <https://wiki.musl-libc.org/functional-differences-from-glibc.html>  */
-#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 <fenv.h>
 
+#include <stdio.h>
+
+#include "fpe-trapping.h"
 #include "macros.h"
 
+/* musl libc does not support floating-point exception trapping, even where
+   the hardware supports it.  See
+   <https://wiki.musl-libc.org/functional-differences-from-glibc.html>  */
+#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 <https://www.gnu.org/licenses/>.  */
+
+/* Written by Bruno Haible <bruno@clisp.org>, 2023.  */
+
+#include <config.h>
+
+/* Specification.  */
+#include <fenv.h>
+
+#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;
+}