math/test-fenv.c

   1 /* Test for exception handling functions of libm */
   2
   3 #ifndef _GNU_SOURCE
   4 # define _GNU_SOURCE
   5 #endif
   6
   7 #include <complex.h>
   8 #include <math.h>
   9 #include <float.h>
  10 #include <fenv.h>
  11
  12 #include <errno.h>
  13 #include <stdlib.h>
  14 #include <stdio.h>
  15 #include <string.h>
  16
  17 /*
  18   Since not all architectures might define all exceptions, we define
  19   a private set and map accordingly.
  20 */
  21 #define NO_EXC 0
  22 #define INEXACT_EXC 0x1
  23 #define DIVBYZERO_EXC 0x2
  24 #define UNDERFLOW_EXC 0x04
  25 #define OVERFLOW_EXC 0x08
  26 #define INVALID_EXC 0x10
  27 #define ALL_EXC \
  28         (INEXACT_EXC | DIVBYZERO_EXC | UNDERFLOW_EXC | OVERFLOW_EXC | \
  29          INVALID_EXC)
  30
  31 static int count_errors;
  32
  33 /* Test whether a given exception was raised.  */
  34 static void
  35 test_single_exception (short int exception,
  36                        short int exc_flag,
  37                        fexcept_t fe_flag,
  38                        const char *flag_name)
  39 {
  40   if (exception & exc_flag)
  41     {
  42       if (fetestexcept (fe_flag))
  43         printf ("  Pass: Exception \"%s\" is set\n", flag_name);
  44       else
  45         {
  46           printf ("  Fail: Exception \"%s\" is not set\n", flag_name);
  47           ++count_errors;
  48         }
  49     }
  50   else
  51     {
  52       if (fetestexcept (fe_flag))
  53         {
  54           printf ("  Fail: Exception \"%s\" is set\n", flag_name);
  55           ++count_errors;
  56         }
  57       else
  58         {
  59           printf ("  Pass: Exception \"%s\" is not set\n", flag_name);
  60         }
  61     }
  62 }
  63
  64 static void
  65 test_exceptions (const char *test_name, short int exception)
  66 {
  67   printf ("Test: %s\n", test_name);
  68 #ifdef FE_DIVBYZERO
  69   test_single_exception (exception, DIVBYZERO_EXC, FE_DIVBYZERO,
  70                          "DIVBYZERO");
  71 #endif
  72 #ifdef FE_INVALID
  73   test_single_exception (exception, INVALID_EXC, FE_INVALID,
  74                          "INVALID");
  75 #endif
  76 #ifdef FE_INEXACT
  77   test_single_exception (exception, INEXACT_EXC, FE_INEXACT,
  78                          "INEXACT");
  79 #endif
  80 #ifdef FE_UNDERFLOW
  81   test_single_exception (exception, UNDERFLOW_EXC, FE_UNDERFLOW,
  82                          "UNDERFLOW");
  83 #endif
  84 #ifdef FE_OVERFLOW
  85   test_single_exception (exception, OVERFLOW_EXC, FE_OVERFLOW,
  86                          "OVERFLOW");
  87 #endif
  88 }
  89
  90
  91 static void
  92 set_single_exc (const char *test_name, int fe_exc, fexcept_t exception)
  93 {
  94   char str[200];
  95
  96   strcpy (str, test_name);
  97   strcat (str, ": set flag, with rest not set");
  98   feclearexcept (FE_ALL_EXCEPT);
  99   feraiseexcept (exception);
 100   test_exceptions (str, fe_exc);
 101
 102   strcpy (str, test_name);
 103   strcat (str, ": clear flag, rest also unset");
 104   feclearexcept (exception);
 105   test_exceptions (str, NO_EXC);
 106
 107   strcpy (str, test_name);
 108   strcat (str, ": set flag, with rest set");
 109   feraiseexcept (FE_ALL_EXCEPT ^ exception);
 110   feraiseexcept (exception);
 111   test_exceptions (str, ALL_EXC);
 112
 113   strcpy (str, test_name);
 114   strcat (str, ": clear flag, leave rest set");
 115   feclearexcept (exception);
 116   test_exceptions (str, ALL_EXC ^ fe_exc);
 117 }
 118
 119 static void
 120 fe_tests (void)
 121 {
 122   /* clear all exceptions and test if all are cleared */
 123   feclearexcept (FE_ALL_EXCEPT);
 124   test_exceptions ("feclearexcept (FE_ALL_EXCEPT) clears all exceptions",
 125                    NO_EXC);
 126
 127   /* raise all exceptions and test if all are raised */
 128   feraiseexcept (FE_ALL_EXCEPT);
 129   test_exceptions ("feraiseexcept (FE_ALL_EXCEPT) raises all exceptions",
 130                    ALL_EXC);
 131   feclearexcept (FE_ALL_EXCEPT);
 132
 133
 134 #ifdef FE_DIVBYZERO
 135   set_single_exc ("Set/Clear FE_DIVBYZERO", DIVBYZERO_EXC, FE_DIVBYZERO);
 136 #endif
 137 #ifdef FE_INVALID
 138   set_single_exc ("Set/Clear FE_INVALID", INVALID_EXC, FE_INVALID);
 139 #endif
 140 #ifdef FE_INEXACT
 141   set_single_exc ("Set/Clear FE_INEXACT", INEXACT_EXC, FE_INEXACT);
 142 #endif
 143 #ifdef FE_UNDERFLOW
 144   set_single_exc ("Set/Clear FE_UNDERFLOW", UNDERFLOW_EXC, FE_UNDERFLOW);
 145 #endif
 146 #ifdef FE_OVERFLOW
 147   set_single_exc ("Set/Clear FE_OVERFLOW", OVERFLOW_EXC, FE_OVERFLOW);
 148 #endif
 149 }
 150
 151 int
 152 main (void)
 153 {
 154   fe_tests ();
 155   /* _LIB_VERSION = _SVID;*/
 156
 157   if (count_errors)
 158     {
 159       printf ("\n%d errors occured.\n", count_errors);
 160       exit (1);
 161     }
 162   printf ("\n All tests passed successfully.\n");
 163   exit (0);
 164 }