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.
8struct MakeNonPOD { MakeNonPOD(); };
9struct NoUserDefault : public MakeNonPOD { int field; };
10struct HasUserDefault { HasUserDefault(); };
11
12void 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
19struct s0 { int field; };
20struct s1 { static const s0 foo; };
21const struct s0 s1::foo; // expected-error{{default initialization of an object of const type 'const struct s0' without a user-provided default constructor}}
22
23template<typename T>
24struct s2 {
25  static const s0 foo;
26};
27
28template<> const struct s0 s2<int>::foo; // okay
29