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