В goto безоговорочном передает управляющий оператор в оператор , помеченный идентификатором. Идентификатор должен находиться label в текущей функции.