1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
2 
3 struct NonLit { // expected-note 3{{no constexpr constructors}}
4   NonLit();
5 };
6 
7 struct S {
8   static constexpr int a = 0;
9   static constexpr int b; // expected-error {{declaration of constexpr static data member 'b' requires an initializer}}
10 
11   static constexpr int c = 0;
12   static const int d;
13   static const int d2 = 0;
14 
15   static constexpr double e = 0.0; // ok
16   static const double f = 0.0; // expected-error {{requires 'constexpr' specifier}} expected-note {{add 'constexpr'}}
17   static char *const g = 0; // expected-error {{requires 'constexpr' specifier}}
18   static const NonLit h = NonLit(); // expected-error {{must be initialized out of line}}
19 };
20 
21 constexpr int S::a;
22 constexpr int S::b = 0;
23 
24 const int S::c;
25 constexpr int S::d = 0;
26 constexpr int S::d2;
27 
28 template<typename T>
29 struct U {
30   static constexpr int a = 0;
31   static constexpr int b; // expected-error {{declaration of constexpr static data member 'b' requires an initializer}}
32   static constexpr NonLit h = NonLit(); // expected-error {{cannot have non-literal type 'const NonLit'}}
33   static constexpr T c = T(); // expected-error {{cannot have non-literal type}}
34   static const T d;
35 };
36 
37 template<typename T> constexpr T U<T>::d = T(); // expected-error {{non-literal type 'const NonLit'}}
38 
39 U<int> u1;
40 U<NonLit> u2; // expected-note {{here}}
41 
42 static_assert(U<int>::a == 0, "");
43 
44 constexpr int outofline = (U<NonLit>::d, 0); // expected-note {{here}} expected-warning {{unused}}
45