1  /* { dg-do compile } */
       2  
       3  unsigned a, b, c[1];
       4  void __assert_fail() __attribute__((__noreturn__));
       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  }