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.
8struct MakeNonPOD { MakeNonPOD(); };
9struct NoUserDefault : public MakeNonPOD { };
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}} expected-note {{add an explicit initializer to initialize 'x1'}}
14  const HasUserDefault x2;
15  const int x3; // expected-error{{default initialization of an object of const type 'const int'}} expected-note{{add an explicit initializer to initialize 'x3'}}
16}
17
18// rdar://8501008
19struct s0 {};
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}} expected-note {{add an explicit initializer to initialize 'foo'}}
22
23template<typename T>
24struct s2 {
25  static const s0 foo;
26};
27
28template<> const struct s0 s2<int>::foo; // okay
29