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