1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -Warray-bounds" } */
       3  
       4  int a[8];
       5  
       6  void
       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  }