19ca5c425SRichard Smith // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s 262f19e70SRichard Smith // RUN: %clang_cc1 -fsyntax-only -verify -std=c++1z %s 32316cd8bSRichard Smith 46331c408SRichard Smith struct NonLit { // expected-note 3{{no constexpr constructors}} 52316cd8bSRichard Smith NonLit(); 62316cd8bSRichard Smith }; 72316cd8bSRichard Smith 82316cd8bSRichard Smith struct S { 92316cd8bSRichard Smith static constexpr int a = 0; 1062f19e70SRichard Smith static constexpr int b; // expected-error {{initializ}} expected-note 0-1{{previous}} 112316cd8bSRichard Smith 122316cd8bSRichard Smith static constexpr int c = 0; 132316cd8bSRichard Smith static const int d; 1443a87fe8SRichard Smith static const int d2 = 0; 152316cd8bSRichard Smith 162316cd8bSRichard Smith static constexpr double e = 0.0; // ok 178505c295SDavid Blaikie static const double f = 0.0; // expected-error {{requires 'constexpr' specifier}} expected-note {{add 'constexpr'}} 18256336d9SRichard Smith static char *const g = 0; // expected-error {{requires 'constexpr' specifier}} 192316cd8bSRichard Smith static const NonLit h = NonLit(); // expected-error {{must be initialized out of line}} 2062f19e70SRichard Smith 2162f19e70SRichard Smith static inline int i; // expected-note {{previous}} expected-warning 0-1{{extension}} 2262f19e70SRichard Smith static inline int j; // expected-note {{previous}} expected-warning 0-1{{extension}} 2362f19e70SRichard Smith static constexpr int k = 0; 242316cd8bSRichard Smith }; 252316cd8bSRichard Smith 2643a87fe8SRichard Smith constexpr int S::a; 2762f19e70SRichard Smith constexpr int S::b = 0; // expected-error 0-1{{redefinition}} 282316cd8bSRichard Smith 292316cd8bSRichard Smith const int S::c; 302316cd8bSRichard Smith constexpr int S::d = 0; 3143a87fe8SRichard Smith constexpr int S::d2; 3245bb4552SRichard Smith 3362f19e70SRichard Smith int S::i; // expected-error {{redefinition}} 3462f19e70SRichard Smith int S::j; // expected-error {{redefinition}} 3562f19e70SRichard Smith const int S::k; // ok (deprecated) 3662f19e70SRichard Smith 3745bb4552SRichard Smith template<typename T> 3845bb4552SRichard Smith struct U { 3945bb4552SRichard Smith static constexpr int a = 0; 4062f19e70SRichard Smith static constexpr int b; // expected-error {{initializ}} 413607ffeeSRichard Smith static constexpr NonLit h = NonLit(); // expected-error {{cannot have non-literal type 'const NonLit'}} 426331c408SRichard Smith static constexpr T c = T(); // expected-error {{cannot have non-literal type}} 43ab3fe0f9SRichard Smith static const T d; 4445bb4552SRichard Smith }; 4545bb4552SRichard Smith 466331c408SRichard Smith template<typename T> constexpr T U<T>::d = T(); // expected-error {{non-literal type 'const NonLit'}} 47ab3fe0f9SRichard Smith 483607ffeeSRichard Smith U<int> u1; 4945bb4552SRichard Smith U<NonLit> u2; // expected-note {{here}} 5045bb4552SRichard Smith 5145bb4552SRichard Smith static_assert(U<int>::a == 0, ""); 52ab3fe0f9SRichard Smith 53*263a0a33SRichard Smith constexpr int outofline = (U<NonLit>::d, 0); // expected-note {{here}} 54