1  /* { dg-do run } */
       2  /* { dg-options "-O3 -fsplit-loops" } */
       3  
       4  int a, b, c;
       5  
       6  int main ()
       7  {
       8    int d;
       9    for (; c < 1; c++)
      10      for (d = 0; d < 3; d++)
      11        for (b = 0; b < 1; b++)
      12  	if (c >= d)
      13  	  a = 1;
      14  
      15    if (a != 1)
      16      __builtin_abort ();
      17  
      18    return 0;
      19  }