1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
// PR c++/86769
// { dg-do run }
int d, e, f, g, h;
struct A {
int a;
A (int x) : a(x) { ++d; ++h; }
~A () { --d; ++h; }
A (const A &x) : a(x.a) { ++d; ++h; }
operator bool () { return a != 0; }
};
struct B {
B () { ++e; ++h; }
~B () { --e; ++h; }
B (const B &) { ++e; ++h; }
};
B k;
int
foo (B, int x)
{
if (e != 1)
__builtin_abort ();
if (f ? x - 1 != (f - 1) % 3 : x)
__builtin_abort ();
++f;
if (x == 1)
return ++g < 3;
return 0;
}
int
bar (int n)
{
if (e != 0 || d != n)
__builtin_abort ();
return 0;
}
int
main ()
{
if (e != 1 || h != 1)
__builtin_abort ();
e = 0; h = 0;
for (A a = (bar (0), foo (k, 0));
A b = (bar (1), foo (k, 1));
bar (2), foo (k, 3))
A c = (bar (2), foo (k, 2));
if (f != 8 || h != 28 || d || e)
__builtin_abort ();
f = 0; g = -2; h = 0;
for (A a = (bar (0), foo (k, 0));
A b = (bar (1), foo (k, 1));
bar (2), foo (k, 3))
{
A c = (bar (2), foo (k, 2));
bar (3);
}
if (f != 14 || h != 48 || d || e)
__builtin_abort ();
f = 0; g = 0; h = 0;
{
A a = (bar (0), foo (k, 0));
while (A b = (bar (1), foo (k, 1)))
{
A c = (bar (2), foo (k, 2));
bar (3);
foo (k, 3);
}
}
if (f != 8 || h != 28 || d || e)
__builtin_abort ();
f = 0; g = -5; h = 0;
for (A a = (bar (0), foo (k, 0));
A b = (bar (1), foo (k, 1));
bar (2), foo (k, 3))
{
if (f == 5)
{
bar (2);
foo (k, 2);
bar (2);
continue;
}
if (f == 11)
break;
A c = (bar (2), foo (k, 2));
bar (3);
}
if (f != 11 || h != 36 || d || e)
__builtin_abort ();
f = 0; g = -5; h = 0;
{
A a = (bar (0), foo (k, 0));
while (A b = (bar (1), foo (k, 1)))
{
if (f == 5)
{
bar (2);
foo (k, 2);
bar (2);
foo (k, 3);
bar (2);
continue;
}
else if (f == 11)
break;
A c = (bar (2), foo (k, 2));
bar (3);
foo (k, 3);
}
}
if (f != 11 || h != 36 || d || e)
__builtin_abort ();
}
|
