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// quiet_NaN()
12
13#include <limits>
14#include <cmath>
15#include <type_traits>
16#include <cassert>
17
18#include "test_macros.h"
19
20template <class T>
21void
22test_imp(std::true_type)
23{
24 assert(std::isnan(std::numeric_limits<T>::quiet_NaN()));
25 assert(std::isnan(std::numeric_limits<const T>::quiet_NaN()));
26 assert(std::isnan(std::numeric_limits<volatile T>::quiet_NaN()));
27 assert(std::isnan(std::numeric_limits<const volatile T>::quiet_NaN()));
28}
29
30template <class T>
31void
32test_imp(std::false_type)
33{
34 assert(std::numeric_limits<T>::quiet_NaN() == T());
35 assert(std::numeric_limits<const T>::quiet_NaN() == T());
36 assert(std::numeric_limits<volatile T>::quiet_NaN() == T());
37 assert(std::numeric_limits<const volatile T>::quiet_NaN() == T());
38}
39
40template <class T>
41inline
42void
43test()
44{
45 test_imp<T>(std::is_floating_point<T>());
46}
47
48int main(int, char**)
49{
50 test<bool>();
51 test<char>();
52 test<signed char>();
53 test<unsigned char>();
54 test<wchar_t>();
55#if TEST_STD_VER > 17 && defined(__cpp_char8_t)
56 test<char8_t>();
57#endif
58 test<char16_t>();
59 test<char32_t>();
60 test<short>();
61 test<unsigned short>();
62 test<int>();
63 test<unsigned int>();
64 test<long>();
65 test<unsigned long>();
66 test<long long>();
67 test<unsigned long long>();
68#ifndef TEST_HAS_NO_INT128
69 test<__int128_t>();
70 test<__uint128_t>();
71#endif
72 test<float>();
73 test<double>();
74 test<long double>();
75
76 return 0;
77}
78

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