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
|
/* { dg-do run } */
/* { dg-options "-g" } */
void __attribute__((noinline))
optimize_me_not ()
{
__asm__ volatile ("" : : : "memory");
}
char c, d = 22, f;
short e, g;
int h;
char(a)() {}
char(b)() { return 0; }
void i() {
char j;
for (; h < 1;) {
short k[9] = {1, 1, 1, 1, 1, 1, 1, 1, 1};
int l, i = 5;
short m[3] = {0, 0, 0};
for (; h < 7; h++)
for (; d >= 33;) {
++k[8];
f = (c || a()) && g;
}
i++;
j = b() || m[2];
l = 0;
for (; l <= 6; l = d)
e = k[8];
/* i may very well be optimized out, so we cannot test for i == 6.
Instead test i + 1 which will make the test UNSUPPORTED if i
is optimized out. Since the test previously had wrong debug
with i == 5 this is acceptable. Optimally we'd produce a
debug stmt for the final value of the loop which would fix
the UNSUPPORTED cases. */
optimize_me_not(); /* { dg-final { gdb-test . "i + 1" "7" } } */
}
}
int main() { i(); }
|
