9 Statements [stmt.stmt]

9.6 Jump statements [stmt.jump]

9.6.4 The goto statement [stmt.goto]

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