1 // RUN: %clang_cc1 %s -Wno-uninitialized -std=c++11 -fsyntax-only -verify
2
3 struct A {
AA4 constexpr A() : a(b + 1), b(a + 1) {} // expected-note {{outside its lifetime}}
5 int a;
6 int b;
7 };
8 struct B {
9 A a;
10 };
11
12 constexpr A a; // ok, zero initialization precedes static initialization
f()13 void f() {
14 constexpr A a; // expected-error {{constant expression}} expected-note {{in call to 'A()'}}
15 }
16
17 constexpr B b1; // ok
18 constexpr B b2 = B(); // ok
19 static_assert(b2.a.a == 1, "");
20 static_assert(b2.a.b == 2, "");
21
22 struct C {
23 int c;
24 };
25 struct D : C { int d; };
26 constexpr C c1; // expected-error {{without a user-provided default constructor}}
27 constexpr C c2 = C(); // ok
28 constexpr D d1; // expected-error {{without a user-provided default constructor}}
29 constexpr D d2 = D(); // ok with DR1452
30 static_assert(D().c == 0, "");
31 static_assert(D().d == 0, "");
32
33 struct V : virtual C {};
34 template<typename T> struct Z : T {
ZZ35 constexpr Z() : V() {}
36 };
37 constexpr int n = Z<V>().c; // expected-error {{constant expression}} expected-note {{non-literal type 'Z<V>'}}
38
39 struct E {
40 A a[2];
41 };
42 constexpr E e; // ok
43 static_assert(e.a[0].a == 1, "");
44 static_assert(e.a[0].b == 2, "");
45 static_assert(e.a[1].a == 1, "");
46 static_assert(e.a[1].b == 2, "");
47