関数スコープ 付きの ID の唯一の型は、ラベル名です。ラベルは、 その出現によってプログラムのテキスト内で暗黙的に宣言され、ラベルが宣言された関数内で可視になります。
実際のラベルが見える前に、goto 文の中で、そのラベルを使用することができます。
関連参照