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

source code of libcxx/test/std/language.support/support.limits/limits/numeric.limits.members/is_exact.pass.cpp