Labels имеют function scope и могут использоваться в любом месте функции, в которой они объявлены. Только ярлыки имеют область действия.