1  /* { dg-do compile } */
       2  
       3  char a[1];
       4  int b;
       5  void fn1()
       6  {
       7    int i;
       8    for (;;)
       9      {
      10        i = 0;
      11        for (; i < 6; i++)
      12  	{
      13  	  if (b)
      14  	    for (;;)
      15  	      ;
      16  	  int c = a[i];
      17  	  __builtin_printf("", i);
      18  	}
      19      }
      20  }