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