NGというパターン
{
goto foo;
int x;
foo: 0;
}
は、問題ないみたいですよ。
ただ、
{
goto foo;
int x = 1;
foo: 0;
}
はダメでした。
つまり、定義ではなく、初期化を飛び越すのがダメみたいですね。
初期化子やコンストラクタ呼び出しが該当するようです。
つまり、飛び越された場合、初期化はされてないけど、同じスコープだから
そのインスタンスは使用可能。こういう状況を避けたいがための、エラー
なのかもしれませんね。なんか納得できたかもしれません。