1  /* { dg-do compile } */
       2  
       3  void
       4  foo (void)
       5  {
       6    char a[1024];
       7    char *p = &a[0];
       8    char *p2;
       9  
      10    p2 = p + 1024;
      11    do
      12      {
      13        p += 2;
      14        *(p-2) = 1;
      15        *(p-1) = 1;
      16      } while (p < p2);
      17  }
      18  
      19  
      20