libcxx/test/std/numerics/cfenv/cfenv.syn/cfenv.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 // <cfenv>
  10
  11 #include <cfenv>
  12 #include <type_traits>
  13
  14 #include "test_macros.h"
  15
  16 #ifndef FE_DIVBYZERO
  17 #error FE_DIVBYZERO not defined
  18 #endif
  19
  20 #ifndef FE_INEXACT
  21 #error FE_INEXACT not defined
  22 #endif
  23
  24 #ifndef FE_INVALID
  25 #error FE_INVALID not defined
  26 #endif
  27
  28 #ifndef FE_OVERFLOW
  29 #error FE_OVERFLOW not defined
  30 #endif
  31
  32 #ifndef FE_UNDERFLOW
  33 #error FE_UNDERFLOW not defined
  34 #endif
  35
  36 #ifndef FE_ALL_EXCEPT
  37 #error FE_ALL_EXCEPT not defined
  38 #endif
  39
  40 #ifndef FE_DOWNWARD
  41 #error FE_DOWNWARD not defined
  42 #endif
  43
  44 #ifndef FE_TONEAREST
  45 #error FE_TONEAREST not defined
  46 #endif
  47
  48 #ifndef FE_TOWARDZERO
  49 #error FE_TOWARDZERO not defined
  50 #endif
  51
  52 #ifndef FE_UPWARD
  53 #error FE_UPWARD not defined
  54 #endif
  55
  56 #ifndef FE_DFL_ENV
  57 #error FE_DFL_ENV not defined
  58 #endif
  59
  60 int main(int, char**)
  61 {
  62     std::fenv_t fenv;
  63     std::fexcept_t fex;
  64     ((void)fenv); // Prevent unused warning
  65     ((void)fex); // Prevent unused warning
  66     static_assert((std::is_same<decltype(std::feclearexcept(0)), int>::value), "");
  67     static_assert((std::is_same<decltype(std::fegetexceptflag(&fex, 0)), int>::value), "");
  68     static_assert((std::is_same<decltype(std::feraiseexcept(0)), int>::value), "");
  69     static_assert((std::is_same<decltype(std::fesetexceptflag(&fex, 0)), int>::value), "");
  70     static_assert((std::is_same<decltype(std::fetestexcept(0)), int>::value), "");
  71     static_assert((std::is_same<decltype(std::fegetround()), int>::value), "");
  72     static_assert((std::is_same<decltype(std::fesetround(0)), int>::value), "");
  73     static_assert((std::is_same<decltype(std::fegetenv(&fenv)), int>::value), "");
  74     static_assert((std::is_same<decltype(std::feholdexcept(&fenv)), int>::value), "");
  75     static_assert((std::is_same<decltype(std::fesetenv(&fenv)), int>::value), "");
  76     static_assert((std::is_same<decltype(std::feupdateenv(&fenv)), int>::value), "");
  77
  78   return 0;
  79 }