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