for(i=0;i<10;i++)hoge();
この次の行で i=10; である保証はないよね。

でもそれってどの辺に規定されてたっけ・・・