1  /* { dg-do compile } */
       2  
       3  int *a;
       4  void
       5  foo ()
       6  {
       7    do
       8      {
       9        a[16] = (a[1] ^ a[0]) << 1 | a[1];
      10        a[17] = (a[0] ^ a[1]) << 1 | a[0];
      11        a[18] = (a[0] ^ a[1]) << 1 | a[0];
      12        a[19] = (a[0] ^ a[1]) << 1 | a[0];
      13        a[20] = (a[0] ^ a[1]) << 1 | a[0];
      14        a[21] = (a[0] ^ a[1]) << 1 | a[0];
      15        a[22] = (a[0] ^ a[1]) << 1 | a[0];
      16        a[23] = (a[20] ^ a[1]) << 1 | a[9];
      17        a += 8;
      18      }
      19    while (1);
      20  }