Да. goto label и метка label: допустимы в пределах одной функции. Нельзя перейти в другой блок (например, внутрь или поверх объявления переменной, если она остаётся в области видимости). Часто используют для выхода из вложенных циклов или централизованной обработки ошибок.