1  /* { dg-do run } */
       2  /* { dg-options "-O -fno-tree-dominator-opts -fgraphite-identity" } */
       3  
       4  int a, b, c;
       5  int d[14];
       6  
       7  int
       8  main (void)
       9  {
      10    short e;
      11    char f;
      12  
      13    for (; b >= 0; b--)
      14      {
      15        e = 0;
      16        for (; e < 2; e++)
      17  	{
      18  	  a = 0;
      19  	  for (; a < 7; a++)
      20  	    d[a] = 1;
      21  	}
      22        if (c)
      23  	{
      24  	  f = 0;
      25  	  for (; f >= 0; f--)
      26  	    ;
      27  	}
      28      }
      29  
      30    if (a != 7)
      31      __builtin_abort ();
      32  
      33    return 0;
      34  }