1 /* { dg-do compile } */
2 
3 unsigned a, b, c[1];
4 void __assert_fail() __attribute__((__noreturn__));
fn1()5 void fn1()
6 {
7   int d;
8   unsigned e;
9   for (;;)
10     {
11       d = 0;
12       for (; d <= 6; d++)
13 	c[d] || a ? 0 : __assert_fail();
14       for (; e <= 5; e++)
15 	a = b;
16     }
17 }
18