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 // UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
10 // UNSUPPORTED: libcpp-no-concepts
11 
12 #include <numbers>
13 
14 // We are testing if these are defined by taking an address. Don't care if the result is unused.
15 #if defined(__clang__)
16 #   pragma clang diagnostic ignored "-Wunused-variable"
17 #endif
18 
19 constexpr bool tests() {
20   const double* dd0{&std::numbers::e};
21   const double* dd1{&std::numbers::log2e};
22   const double* dd2{&std::numbers::log10e};
23   const double* dd3{&std::numbers::pi};
24   const double* dd4{&std::numbers::inv_pi};
25   const double* dd5{&std::numbers::inv_sqrtpi};
26   const double* dd6{&std::numbers::ln2};
27   const double* dd7{&std::numbers::ln10};
28   const double* dd8{&std::numbers::sqrt2};
29   const double* dd9{&std::numbers::sqrt3};
30   const double* dd10{&std::numbers::inv_sqrt3};
31   const double* dd11{&std::numbers::egamma};
32   const double* dd12{&std::numbers::phi};
33 
34   const float* f0{&std::numbers::e_v<float>};
35   const float* f1{&std::numbers::log2e_v<float>};
36   const float* f2{&std::numbers::log10e_v<float>};
37   const float* f3{&std::numbers::pi_v<float>};
38   const float* f4{&std::numbers::inv_pi_v<float>};
39   const float* f5{&std::numbers::inv_sqrtpi_v<float>};
40   const float* f6{&std::numbers::ln2_v<float>};
41   const float* f7{&std::numbers::ln10_v<float>};
42   const float* f8{&std::numbers::sqrt2_v<float>};
43   const float* f9{&std::numbers::sqrt3_v<float>};
44   const float* f10{&std::numbers::inv_sqrt3_v<float>};
45   const float* f11{&std::numbers::egamma_v<float>};
46   const float* f12{&std::numbers::phi_v<float>};
47 
48   const double* d0{&std::numbers::e_v<double>};
49   const double* d1{&std::numbers::log2e_v<double>};
50   const double* d2{&std::numbers::log10e_v<double>};
51   const double* d3{&std::numbers::pi_v<double>};
52   const double* d4{&std::numbers::inv_pi_v<double>};
53   const double* d5{&std::numbers::inv_sqrtpi_v<double>};
54   const double* d6{&std::numbers::ln2_v<double>};
55   const double* d7{&std::numbers::ln10_v<double>};
56   const double* d8{&std::numbers::sqrt2_v<double>};
57   const double* d9{&std::numbers::sqrt3_v<double>};
58   const double* d10{&std::numbers::inv_sqrt3_v<double>};
59   const double* d11{&std::numbers::egamma_v<double>};
60   const double* d12{&std::numbers::phi_v<double>};
61 
62   const long double* ld0{&std::numbers::e_v<long double>};
63   const long double* ld1{&std::numbers::log2e_v<long double>};
64   const long double* ld2{&std::numbers::log10e_v<long double>};
65   const long double* ld3{&std::numbers::pi_v<long double>};
66   const long double* ld4{&std::numbers::inv_pi_v<long double>};
67   const long double* ld5{&std::numbers::inv_sqrtpi_v<long double>};
68   const long double* ld6{&std::numbers::ln2_v<long double>};
69   const long double* ld7{&std::numbers::ln10_v<long double>};
70   const long double* ld8{&std::numbers::sqrt2_v<long double>};
71   const long double* ld9{&std::numbers::sqrt3_v<long double>};
72   const long double* ld10{&std::numbers::inv_sqrt3_v<long double>};
73   const long double* ld11{&std::numbers::egamma_v<long double>};
74   const long double* ld12{&std::numbers::phi_v<long double>};
75 
76   return true;
77 }
78 
79 static_assert(tests());
80 
81 int main() { tests(); }
82