1  /* { dg-do compile } */
       2  /* { dg-options "-O3" } */
       3  
       4  unsigned __attribute__ ((noinline))
       5  foo (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned n)
       6  {
       7    while (n < ++l)
       8      *a++ = *b++ + 1;
       9    return l;
      10  }
      11  
      12  volatile int a[1];
      13  unsigned b;
      14  int c;
      15  
      16  int
      17  check ()
      18  {
      19    int d;
      20    for (; b > 1; b++)
      21      for (c = 0; c < 2; c++)
      22        for (d = 0; d < 2; d++)
      23  	a[0];
      24    return 0;
      25  }
      26  
      27  char **clip_image_gfi_0;
      28  int clip_image_y, clip_image_shift;
      29  void
      30  clip_image ()
      31  {
      32    for (; clip_image_y >= clip_image_shift; clip_image_y++)
      33      clip_image_gfi_0[clip_image_shift]
      34        = clip_image_gfi_0[clip_image_y];
      35  }