1 // Test that we properly extend the lifetime of the initializer_list
2 // array even if the initializer_list is a subobject.
3 // { dg-do run { target c++11 } }
4
5 #include <initializer_list>
6
7 extern "C" void abort();
8 bool ok;
9
10 bool do_throw;
11
12 struct A {
AA13 A(int) { if (do_throw) throw 42; }
~AA14 ~A() { if (!ok) abort(); }
15 };
16
17 typedef std::initializer_list<A> AL;
18 typedef std::initializer_list<AL> AL2;
19 typedef std::initializer_list<AL2> AL3;
20
21 struct B {
22 AL al;
23 const AL& alr;
24 };
25
26 struct A2
27 {
28 const A& a1;
29 const A& a2;
30 };
31
32 struct C {
33 AL ar[2];
34 B b;
35 AL3 al3;
36 A2 a2;
37 A2 a2r[2];
CC38 C():
39 ar{{1,2},{3,4}},
40 b{{5,6},{7,8}},
41 al3{{{1},{2},{3}}},
42 a2{1,2},
43 a2r{{1,2},{3,4}}
44 { ok = true; }
45 };
46
47 struct D {
48 AL ar[2] = {{1,2},{3,4}};
49 B b = {{5,6},{7,8}};
50 AL3 al3 = {{{1},{2},{3}}};
51 A2 a2 = {1,2};
52 A2 a2r[2] = {{1,2},{3,4}};
DD53 D() { ok = true; }
54 };
55
56 volatile bool always_false = false;
57
main(int argc,const char ** argv)58 int main(int argc, const char** argv)
59 {
60 do_throw = always_false; // always false, but optimizer can't tell
61 ok = false;
62 C c;
63 ok = false;
64 D d;
65 }
66