| 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 | // test numeric_limits |
| 10 | |
| 11 | // traps |
| 12 | |
| 13 | #include <limits> |
| 14 | |
| 15 | #include "test_macros.h" |
| 16 | |
| 17 | #if defined(__i386__) || defined(__x86_64__) || defined(__pnacl__) || \ |
| 18 | defined(__wasm__) |
| 19 | static const bool integral_types_trap = true; |
| 20 | #else |
| 21 | static const bool integral_types_trap = false; |
| 22 | #endif |
| 23 | |
| 24 | template <class T, bool expected> |
| 25 | void |
| 26 | test() |
| 27 | { |
| 28 | static_assert(std::numeric_limits<T>::traps == expected, "traps test 1" ); |
| 29 | static_assert(std::numeric_limits<const T>::traps == expected, "traps test 2" ); |
| 30 | static_assert(std::numeric_limits<volatile T>::traps == expected, "traps test 3" ); |
| 31 | static_assert(std::numeric_limits<const volatile T>::traps == expected, "traps test 4" ); |
| 32 | } |
| 33 | |
| 34 | int main(int, char**) |
| 35 | { |
| 36 | test<bool, false>(); |
| 37 | test<char, integral_types_trap>(); |
| 38 | test<signed char, integral_types_trap>(); |
| 39 | test<unsigned char, integral_types_trap>(); |
| 40 | test<wchar_t, integral_types_trap>(); |
| 41 | #if TEST_STD_VER > 17 && defined(__cpp_char8_t) |
| 42 | test<char8_t, integral_types_trap>(); |
| 43 | #endif |
| 44 | test<char16_t, integral_types_trap>(); |
| 45 | test<char32_t, integral_types_trap>(); |
| 46 | test<short, integral_types_trap>(); |
| 47 | test<unsigned short, integral_types_trap>(); |
| 48 | test<int, integral_types_trap>(); |
| 49 | test<unsigned int, integral_types_trap>(); |
| 50 | test<long, integral_types_trap>(); |
| 51 | test<unsigned long, integral_types_trap>(); |
| 52 | test<long long, integral_types_trap>(); |
| 53 | test<unsigned long long, integral_types_trap>(); |
| 54 | #ifndef TEST_HAS_NO_INT128 |
| 55 | test<__int128_t, integral_types_trap>(); |
| 56 | test<__uint128_t, integral_types_trap>(); |
| 57 | #endif |
| 58 | test<float, false>(); |
| 59 | test<double, false>(); |
| 60 | test<long double, false>(); |
| 61 | |
| 62 | return 0; |
| 63 | } |
| 64 | |