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
foo(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
main()21 main ()
22 {
23   foo ();
24   if (a != -13)
25     abort ();
26   return 0;
27 }
28