|
150
|
1 // RUN: %clang_cc1 -std=c++17 -verify %s
|
|
|
2 // expected-no-diagnostics
|
|
|
3 template<bool> struct DominatorTreeBase {
|
|
|
4 static constexpr bool IsPostDominator = true;
|
|
|
5 };
|
|
|
6 extern template class DominatorTreeBase<false>;
|
|
|
7 constexpr bool k = DominatorTreeBase<false>::IsPostDominator;
|
|
|
8
|
|
|
9 namespace CompleteType {
|
|
|
10 template<unsigned N> constexpr int f(const bool (&)[N]) { return 0; }
|
|
|
11
|
|
|
12 template<bool ...V> struct X {
|
|
|
13 static constexpr bool arr[] = {V...};
|
|
|
14 static constexpr int value = f(arr);
|
|
|
15 };
|
|
|
16
|
|
|
17 constexpr int n = X<true>::value;
|
|
|
18 }
|
|
|
19
|
|
|
20 template <typename T> struct A {
|
|
|
21 static const int n;
|
|
|
22 static const int m;
|
|
|
23 constexpr int f() { return n; }
|
|
|
24 constexpr int g() { return n; }
|
|
|
25 };
|
|
|
26 template <typename T> constexpr int A<T>::n = sizeof(A) + sizeof(T);
|
|
|
27 template <typename T> inline constexpr int A<T>::m = sizeof(A) + sizeof(T);
|
|
|
28 static_assert(A<int>().f() == 5);
|
|
|
29 static_assert(A<int>().g() == 5);
|
