1  int b;
       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  
      12  int main ()
      13  {
      14    f ();
      15    if (b != 9)
      16      abort ();
      17    return 0;
      18  }
      19