// RUN: %clang_cc1 -fsyntax-only -verify %s template<typename T, T Divisor> class X { public: static const T value = 10 / Divisor; // expected-error{{in-class initializer for static data member is not a constant expression}} }; int array1[X<int, 2>::value == 5? 1 : -1]; X<int, 0> xi0; // expected-note{{in instantiation of template class 'X<int, 0>' requested here}} template<typename T> class Y { static const T value = 0; // expected-warning{{in-class initializer for static data member of type 'const float' is a GNU extension}} }; Y<float> fy; // expected-note{{in instantiation of template class 'Y<float>' requested here}} // out-of-line static member variables template<typename T> struct Z { static T value; }; template<typename T> T Z<T>::value; // expected-error{{no matching constructor}} struct DefCon {}; struct NoDefCon { NoDefCon(const NoDefCon&); // expected-note{{candidate constructor}} }; void test() { DefCon &DC = Z<DefCon>::value; NoDefCon &NDC = Z<NoDefCon>::value; // expected-note{{instantiation}} } // PR5609 struct X1 { ~X1(); // The errors won't be triggered without this dtor. }; template <typename T> struct Y1 { static char Helper(T); static const int value = sizeof(Helper(T())); }; struct X2 { virtual ~X2(); }; namespace std { class type_info { }; } template <typename T> struct Y2 { static T &Helper(); static const int value = sizeof(typeid(Helper())); }; template <int> struct Z1 {}; void Test() { Z1<Y1<X1>::value> x; int y[Y1<X1>::value]; Z1<Y2<X2>::value> x2; int y2[Y2<X2>::value]; } // PR5672 template <int n> struct X3 {}; class Y3 { public: ~Y3(); // The error isn't triggered without this dtor. void Foo(X3<1>); }; template <typename T> struct SizeOf { static const int value = sizeof(T); }; void MyTest3() { Y3().Foo(X3<SizeOf<char>::value>()); } namespace PR6449 { template<typename T> struct X0 { static const bool var = false; }; template<typename T> const bool X0<T>::var; template<typename T> struct X1 : public X0<T> { static const bool var = false; }; template<typename T> const bool X1<T>::var; template class X0<char>; template class X1<char>; }