| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | // FIXME: Very incomplete! |
|---|
| 4 | |
|---|
| 5 | // If a program calls for the default initialization of an object of a |
|---|
| 6 | // const-qualified type T, T shall be a class type with a |
|---|
| 7 | // user-provided default constructor, except if T has no uninitialized fields. |
|---|
| 8 | struct MakeNonPOD { MakeNonPOD(); }; |
|---|
| 9 | struct NoUserDefault : public MakeNonPOD { int field; }; |
|---|
| 10 | struct HasUserDefault { HasUserDefault(); }; |
|---|
| 11 | |
|---|
| 12 | void test_const_default_init() { |
|---|
| 13 | const NoUserDefault x1; // expected-error{{default initialization of an object of const type 'const NoUserDefault' without a user-provided default constructor}} |
|---|
| 14 | const HasUserDefault x2; |
|---|
| 15 | const int x3; // expected-error{{default initialization of an object of const type 'const int'}} |
|---|
| 16 | } |
|---|
| 17 | |
|---|
| 18 | // rdar://8501008 |
|---|
| 19 | struct s0 { int field; }; |
|---|
| 20 | struct s1 { static const s0 foo; }; |
|---|
| 21 | const struct s0 s1::foo; // expected-error{{default initialization of an object of const type 'const struct s0' without a user-provided default constructor}} |
|---|
| 22 | |
|---|
| 23 | template<typename T> |
|---|
| 24 | struct s2 { |
|---|
| 25 | static const s0 foo; |
|---|
| 26 | }; |
|---|
| 27 | |
|---|
| 28 | template<> const struct s0 s2<int>::foo; // okay |
|---|
| 29 | |
|---|