1 int b;
f()2 void f ()
3 {
4   int i = 0;
5   if (b == 0)
6     do {
7       b = i;
8       i++;
9     } while (i < 10);
10 }
11 
main()12 int main ()
13 {
14   f ();
15   if (b != 9)
16     abort ();
17   return 0;
18 }
19 
20