gcc/testsuite/gcc.dg/pr78241.c

   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