ああ、やっと意味が分かりました。
ループ範囲が空文だからwhileを抜けると間違った解釈をしていました。
これは継続条件式がループしてるんですね。