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