if (A) { goto Y; }
X:
　〜S〜
　goto Y;
Y:
　〜T〜
　goto X;

この構造でgotolessにするにはコードのコピーが必要。
この還元不能が有名かな。

けど実際こんなケースはまったく遭遇しなくて、
例外処理の大域脱出、(これは例外や多段breakで済む場合が多い)
エラー処理の一本化、状態マシン実装くらいじゃないかな?
後はCでの多段continue。