comparison clang/test/SemaTemplate/cxx17-inline-variables.cpp @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children
comparison
equal deleted inserted replaced
147:c2174574ed3a 150:1d019706d866
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);