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 // is_modulo
13
14 #include <limits>
15
16 template <class T, bool expected>
17 void
test()18 test()
19 {
20 static_assert(std::numeric_limits<T>::is_modulo == expected, "is_modulo test 1");
21 static_assert(std::numeric_limits<const T>::is_modulo == expected, "is_modulo test 2");
22 static_assert(std::numeric_limits<volatile T>::is_modulo == expected, "is_modulo test 3");
23 static_assert(std::numeric_limits<const volatile T>::is_modulo == expected, "is_modulo test 4");
24 }
25
main()26 int main()
27 {
28 test<bool, false>();
29 // test<char, false>(); // don't know
30 test<signed char, false>();
31 test<unsigned char, true>();
32 // test<wchar_t, false>(); // don't know
33 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
34 test<char16_t, true>();
35 test<char32_t, true>();
36 #endif // _LIBCPP_HAS_NO_UNICODE_CHARS
37 test<short, false>();
38 test<unsigned short, true>();
39 test<int, false>();
40 test<unsigned int, true>();
41 test<long, false>();
42 test<unsigned long, true>();
43 test<long long, false>();
44 test<unsigned long long, true>();
45 #ifndef _LIBCPP_HAS_NO_INT128
46 test<__int128_t, false>();
47 test<__uint128_t, true>();
48 #endif
49 test<float, false>();
50 test<double, false>();
51 test<long double, false>();
52 }
53