gcc/testsuite/gcc.dg/tree-ssa/pr41497.c

   1 /* { dg-do run } */
   2 /* { dg-options "-Os" } */
   3
   4 extern void abort (void);
   5
   6 unsigned int a;
   7 int b, c;
   8
   9 void
  10 foo (void)
  11 {
  12   b = 0;
  13   do {
  14     for (a = -13; a == 0; a = (unsigned short)a)
  15       c = 1;
  16     b++;
  17   } while (b == 0);
  18 }
  19
  20 int
  21 main ()
  22 {
  23   foo ();
  24   if (a != -13)
  25     abort ();
  26   return 0;
  27 }