diff options
Diffstat (limited to 'test/SemaTemplate/instantiate-var-template.cpp')
-rw-r--r-- | test/SemaTemplate/instantiate-var-template.cpp | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/test/SemaTemplate/instantiate-var-template.cpp b/test/SemaTemplate/instantiate-var-template.cpp new file mode 100644 index 000000000000..bd7c43334f7d --- /dev/null +++ b/test/SemaTemplate/instantiate-var-template.cpp @@ -0,0 +1,36 @@ +// RUN: %clang_cc1 -verify -std=c++1y %s + +namespace PR17846 { + template <typename T> constexpr T pi = T(3.14); + template <typename T> constexpr T tau = 2 * pi<T>; + constexpr double tau_double = tau<double>; + static_assert(tau_double == 6.28, ""); +} + +namespace PR17848 { + template<typename T> constexpr T var = 12345; + template<typename T> constexpr T f() { return var<T>; } + constexpr int k = f<int>(); + static_assert(k == 12345, ""); +} + +namespace NonDependent { + template<typename T> constexpr T a = 0; + template<typename T> constexpr T b = a<int>; + static_assert(b<int> == 0, ""); +} + +namespace InstantiationDependent { + int f(int); + void f(char); + + template<int> constexpr int a = 1; + template<typename T> constexpr T b = a<sizeof(sizeof(f(T())))>; // expected-error {{invalid application of 'sizeof' to an incomplete type 'void'}} + + static_assert(b<int> == 1, ""); + static_assert(b<char> == 1, ""); // expected-note {{in instantiation of}} expected-error {{not an integral constant}} + + template<typename T> void f() { + static_assert(a<sizeof(sizeof(f(T())))> == 0, ""); // expected-error {{static_assert failed}} + } +} |