1 /* { dg-do compile } */
2 /* { dg-options "-O3 -Warray-bounds" } */
3 
4 int a[8];
5 
6 void
test(unsigned int n)7 test(unsigned int n)
8 {
9   unsigned int i;
10   unsigned int j;
11   if (n<8)
12     for (j=0;j<n;j++)
13       {
14 	i = j;
15 	do
16 	  a[i+1]=a[i];
17 	while (i--);
18       }
19 }
20