>xが9の時、 x++されて xが10になり、
この直後に終了条件の判定が入ります。
そして、条件が成立していれば、その後に
> y =y+x
が実行されます。