math/test-fexcept.c

   1 /* Test fegetexceptflag and fesetexceptflag.
   2    Copyright (C) 2016-2020 Free Software Foundation, Inc.
   3    This file is part of the GNU C Library.
   4
   5    The GNU C Library is free software; you can redistribute it and/or
   6    modify it under the terms of the GNU Lesser General Public
   7    License as published by the Free Software Foundation; either
   8    version 2.1 of the License, or (at your option) any later version.
   9
  10    The GNU C Library is distributed in the hope that it will be useful,
  11    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13    Lesser General Public License for more details.
  14
  15    You should have received a copy of the GNU Lesser General Public
  16    License along with the GNU C Library; if not, see
  17    <https://www.gnu.org/licenses/>.  */
  18
  19 #include <fenv.h>
  20 #include <stdio.h>
  21 #include <math-tests.h>
  22
  23 /* Like feraiseexcept, but raise exactly the specified exceptions EXC,
  24    without possibly raising "inexact" together with "overflow" or
  25    "underflow" as permitted by ISO C.  (This is not used with traps
  26    enabled, so side-effects from raising and then clearing "inexact"
  27    are irrelevant.)  */
  28
  29 static int
  30 feraiseexcept_exact (int exc)
  31 {
  32 #ifdef FE_INEXACT
  33   int mask = 0;
  34 #ifdef FE_OVERFLOW
  35   mask |= FE_OVERFLOW;
  36 #endif
  37 #ifdef FE_UNDERFLOW
  38   mask |= FE_UNDERFLOW;
  39 #endif
  40   if ((exc & FE_INEXACT) != 0
  41       || (exc & mask) == 0
  42       || fetestexcept (FE_INEXACT) != 0)
  43     return feraiseexcept (exc);
  44   int ret = feraiseexcept (exc);
  45   feclearexcept (FE_INEXACT);
  46   return ret;
  47 #else
  48   return feraiseexcept (exc);
  49 #endif
  50 }
  51
  52 static int
  53 test_set (int initial, const fexcept_t *saved, int mask, int expected)
  54 {
  55   int result = 0;
  56   feclearexcept (FE_ALL_EXCEPT);
  57   printf ("Testing set: initial exceptions %x, mask %x, expected %x\n",
  58           (unsigned int) initial, (unsigned int) mask,
  59           (unsigned int) expected);
  60   int ret = feraiseexcept_exact (initial);
  61   if (ret != 0)
  62     {
  63       puts ("feraiseexcept failed");
  64       if (initial == 0 || EXCEPTION_TESTS (float))
  65         {
  66           puts ("failure of feraiseexcept was unexpected");
  67           result = 1;
  68         }
  69       else
  70         puts ("failure of feraiseexcept OK, skipping further tests");
  71       return result;
  72     }
  73   ret = fesetexceptflag (saved, mask);
  74   if (ret != 0)
  75     {
  76       puts ("fesetexceptflag failed");
  77       result = 1;
  78     }
  79   else
  80     puts ("fesetexceptflag succeeded");
  81   ret = fetestexcept (FE_ALL_EXCEPT);
  82   if (ret != expected)
  83     {
  84       printf ("raised exceptions %x, expected %x\n",
  85               (unsigned int) ret, (unsigned int) expected);
  86       result = 1;
  87     }
  88   return result;
  89 }
  90
  91 static int
  92 test_except (int exc, const char *exc_name)
  93 {
  94   int result = 0;
  95
  96   printf ("Testing %s\n", exc_name);
  97   feclearexcept (FE_ALL_EXCEPT);
  98
  99   fexcept_t clear_saved_exc, clear_saved_all;
 100   int ret = fegetexceptflag (&clear_saved_exc, exc);
 101   if (ret == 0)
 102     printf ("fegetexceptflag (%s) succeeded\n", exc_name);
 103   else
 104     {
 105       printf ("fegetexceptflag (%s) failed\n", exc_name);
 106       result = 1;
 107       return result;
 108     }
 109   ret = fegetexceptflag (&clear_saved_all, FE_ALL_EXCEPT);
 110   if (ret == 0)
 111     puts ("fegetexceptflag (FE_ALL_EXCEPT) succeeded");
 112   else
 113     {
 114       puts ("fegetexceptflag (FE_ALL_EXCEPT) failed");
 115       result = 1;
 116       return result;
 117     }
 118
 119   ret = feraiseexcept_exact (exc);
 120   if (ret == 0)
 121     printf ("feraiseexcept (%s) succeeded\n", exc_name);
 122   else
 123     {
 124       printf ("feraiseexcept (%s) failed\n", exc_name);
 125       if (exc == 0 || EXCEPTION_TESTS (float))
 126         {
 127           puts ("failure of feraiseexcept was unexpected");
 128           result = 1;
 129         }
 130       else
 131         puts ("failure of feraiseexcept OK, skipping further tests");
 132       return result;
 133     }
 134
 135   fexcept_t set_saved_exc, set_saved_all;
 136   ret = fegetexceptflag (&set_saved_exc, exc);
 137   if (ret == 0)
 138     printf ("fegetexceptflag (%s) succeeded\n", exc_name);
 139   else
 140     {
 141       printf ("fegetexceptflag (%s) failed\n", exc_name);
 142       result = 1;
 143       return result;
 144     }
 145   ret = fegetexceptflag (&set_saved_all, FE_ALL_EXCEPT);
 146   if (ret == 0)
 147     puts ("fegetexceptflag (FE_ALL_EXCEPT) succeeded");
 148   else
 149     {
 150       puts ("fegetexceptflag (FE_ALL_EXCEPT) failed");
 151       result = 1;
 152       return result;
 153     }
 154
 155   result |= test_set (0, &set_saved_exc, exc, exc);
 156   result |= test_set (0, &set_saved_all, exc, exc);
 157   result |= test_set (0, &set_saved_all, FE_ALL_EXCEPT, exc);
 158   result |= test_set (0, &clear_saved_exc, exc, 0);
 159   result |= test_set (0, &clear_saved_all, exc, 0);
 160   result |= test_set (0, &clear_saved_all, FE_ALL_EXCEPT, 0);
 161   result |= test_set (exc, &set_saved_exc, exc, exc);
 162   result |= test_set (exc, &set_saved_all, exc, exc);
 163   result |= test_set (exc, &set_saved_all, FE_ALL_EXCEPT, exc);
 164   result |= test_set (exc, &clear_saved_exc, exc, 0);
 165   result |= test_set (exc, &clear_saved_all, exc, 0);
 166   result |= test_set (exc, &clear_saved_all, FE_ALL_EXCEPT, 0);
 167   result |= test_set (FE_ALL_EXCEPT, &set_saved_exc, exc, FE_ALL_EXCEPT);
 168   result |= test_set (FE_ALL_EXCEPT, &set_saved_all, exc, FE_ALL_EXCEPT);
 169   result |= test_set (FE_ALL_EXCEPT, &set_saved_all, FE_ALL_EXCEPT, exc);
 170   result |= test_set (FE_ALL_EXCEPT, &clear_saved_exc, exc,
 171                       FE_ALL_EXCEPT & ~exc);
 172   result |= test_set (FE_ALL_EXCEPT, &clear_saved_all, exc,
 173                       FE_ALL_EXCEPT & ~exc);
 174   result |= test_set (FE_ALL_EXCEPT, &clear_saved_all, FE_ALL_EXCEPT, 0);
 175
 176   return result;
 177 }
 178
 179 static int
 180 do_test (void)
 181 {
 182   int result = 0;
 183
 184   result |= test_except (0, "0");
 185   result |= test_except (FE_ALL_EXCEPT, "FE_ALL_EXCEPT");
 186 #ifdef FE_DIVBYZERO
 187   result |= test_except (FE_DIVBYZERO, "FE_DIVBYZERO");
 188 #endif
 189 #ifdef FE_INEXACT
 190   result |= test_except (FE_INEXACT, "FE_INEXACT");
 191 #endif
 192 #ifdef FE_INVALID
 193   result |= test_except (FE_INVALID, "FE_INVALID");
 194 #endif
 195 #ifdef FE_OVERFLOW
 196   result |= test_except (FE_OVERFLOW, "FE_OVERFLOW");
 197 #endif
 198 #ifdef FE_UNDERFLOW
 199   result |= test_except (FE_UNDERFLOW, "FE_UNDERFLOW");
 200 #endif
 201
 202   return result;
 203 }
 204
 205 #define TEST_FUNCTION do_test ()
 206 #include "../test-skeleton.c"