1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -floop-nest-optimize -fdump-tree-graphite-details" } */
       3  
       4  int a[9];
       5  int b, c, d, e;
       6  void
       7  fn1 ()
       8  {
       9    d = 9;
      10    for (; c; c++)
      11      {
      12        ++d;
      13        b = 8;
      14        for (; b; b--)
      15  	{
      16  	  if (d)
      17  	    break;
      18  	  a[b] = e;
      19  	}
      20      }
      21  }
      22  
      23  /* At the moment only ISL figures that if (d) is always true.  We've
      24     run into scheduling issues before here, not being able to handle
      25     empty domains.  */
      26  
      27  /* { dg-final { scan-tree-dump "loop nest optimized" "graphite" } } */