Add comments.


またここの例だと、if内の"文"で変数を上書きできてしまうので、while() "文" と完全に等しいと言えない気がしました。
以下の方がより等しいでしょうか。
<pre>
label:
    if(T t = x) {                // 条件の有効範囲の開始
        文
        goto label;
    }                            // 条件の有効範囲の終了
</pre>