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