1  /* { dg-do run } */
       2  /* { dg-options "-Og -funroll-loops" } */
       3  
       4  static __attribute__((noinline, noclone)) unsigned
       5  foo (unsigned x)
       6  {
       7    do
       8      x++;
       9    while (x <= 15);
      10    return x;
      11  }
      12  
      13  int main ()
      14  {
      15    unsigned x = foo (-2);
      16    if (x != (unsigned)-1)
      17      __builtin_abort();
      18    return 0;
      19  }
      20