1 /* { dg-do compile } */
2 
3 char a[1];
4 int b;
fn1()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 }
21