1651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// RUN: %clang_cc1 -verify -std=c++1y %s 2651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 3651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesnamespace PR17846 { 4651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template <typename T> constexpr T pi = T(3.14); 5651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template <typename T> constexpr T tau = 2 * pi<T>; 6651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines constexpr double tau_double = tau<double>; 7651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines static_assert(tau_double == 6.28, ""); 8651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 9651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 10651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesnamespace PR17848 { 11651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template<typename T> constexpr T var = 12345; 12651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template<typename T> constexpr T f() { return var<T>; } 13651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines constexpr int k = f<int>(); 14651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines static_assert(k == 12345, ""); 15651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 16651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 17651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesnamespace NonDependent { 18651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template<typename T> constexpr T a = 0; 19651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template<typename T> constexpr T b = a<int>; 20651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines static_assert(b<int> == 0, ""); 21651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 22651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 23651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesnamespace InstantiationDependent { 24651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines int f(int); 25651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines void f(char); 26651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 27651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template<int> constexpr int a = 1; 28651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template<typename T> constexpr T b = a<sizeof(sizeof(f(T())))>; // expected-error {{invalid application of 'sizeof' to an incomplete type 'void'}} 29651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 30651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines static_assert(b<int> == 1, ""); 31651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines static_assert(b<char> == 1, ""); // expected-note {{in instantiation of}} expected-error {{not an integral constant}} 32651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 33651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines template<typename T> void f() { 34651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines static_assert(a<sizeof(sizeof(f(T())))> == 0, ""); // expected-error {{static_assert failed}} 35651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 36651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 3787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 3887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarnamespace PR24483 { 3987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar template<typename> struct A; 4087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar template<typename... T> A<T...> models; 4187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar template<> struct B models<>; // expected-error {{incomplete type 'struct B'}} expected-note {{forward declaration}} 4287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar} 43