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' requires 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 {}; 20struct s1 { static const s0 foo; }; 21const struct s0 s1::foo; // expected-error{{default initialization of an object of const type 'const struct s0' requires 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