1 /* { dg-do run } */
2 /* { dg-options "-O3" } */
3
4 unsigned char b, f;
5 short d[1][8][1], *g = &d[0][3][0];
6
foo()7 void __attribute__((noinline)) foo ()
8 {
9 int k[256] = { 0, 0, 0, 4, 0, 0 };
10 for (int c = 252; c >= 0; c--)
11 {
12 b = f;
13 *g = k[c + 3];
14 k[c + 1] = 0;
15 }
16 for (int i = 0; i < 8; i++)
17 if (d[0][i][0] != 0)
18 __builtin_abort ();
19 }
20
bar()21 void __attribute__((noinline)) bar ()
22 {
23 int k[256] = { 0, 0, 0, 4, 0, 0 };
24 k[255] = 4;
25 for (int c = 0; c <=252; c++)
26 {
27 b = f;
28 *g = k[c + 3];
29 k[c + 1] = 0;
30 }
31 for (int i = 0; i < 8; i++)
32 if ((i == 3 && d[0][i][0] != 4) || (i != 3 && d[0][i][0] != 0))
33 __builtin_abort ();
34 }
35
main()36 int main ()
37 {
38 foo ();
39 bar ();
40 return 0;
41 }
42