src/third_party/libc++/trunk/test/language.support/support.limits/limits/numeric.limits.members/quiet_NaN.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 // test numeric_limits
  11
  12 // quiet_NaN()
  13
  14 #include <limits>
  15 #include <cmath>
  16 #include <type_traits>
  17 #include <cassert>
  18
  19 template <class T>
  20 void
  21 test_imp(std::true_type)
  22 {
  23     assert(std::isnan(std::numeric_limits<T>::quiet_NaN()));
  24     assert(std::isnan(std::numeric_limits<const T>::quiet_NaN()));
  25     assert(std::isnan(std::numeric_limits<volatile T>::quiet_NaN()));
  26     assert(std::isnan(std::numeric_limits<const volatile T>::quiet_NaN()));
  27 }
  28
  29 template <class T>
  30 void
  31 test_imp(std::false_type)
  32 {
  33     assert(std::numeric_limits<T>::quiet_NaN() == T());
  34     assert(std::numeric_limits<const T>::quiet_NaN() == T());
  35     assert(std::numeric_limits<volatile T>::quiet_NaN() == T());
  36     assert(std::numeric_limits<const volatile T>::quiet_NaN() == T());
  37 }
  38
  39 template <class T>
  40 inline
  41 void
  42 test()
  43 {
  44     test_imp<T>(std::is_floating_point<T>());
  45 }
  46
  47 int main()
  48 {
  49     test<bool>();
  50     test<char>();
  51     test<signed char>();
  52     test<unsigned char>();
  53     test<wchar_t>();
  54 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
  55     test<char16_t>();
  56     test<char32_t>();
  57 #endif  // _LIBCPP_HAS_NO_UNICODE_CHARS
  58     test<short>();
  59     test<unsigned short>();
  60     test<int>();
  61     test<unsigned int>();
  62     test<long>();
  63     test<unsigned long>();
  64     test<long long>();
  65     test<unsigned long long>();
  66     test<float>();
  67     test<double>();
  68     test<long double>();
  69 }