goto утверждения (goto statements)

Утверждение "goto" передает управление в утверждение с соответствующей меткой в той же функции.

GotoStmt = "goto" Label .

goto Error

Выполнение утверждения "goto" не должно приводить к появлению в области видимости каких-либо переменных, которые еще не находились в области видимости на момент перехода. Например, этот пример:

  goto L  // плохо
  v := 3
L:

ошибочен, потому что переход к метке L пропускает создание v.

Утверждение "goto" вне блока не может перейти к метке внутри этого блока. Например, этот пример:

if n%2 == 1 {
  goto L1
}
for n > 0 {
  f()
  n--
L1:
  f()
  n--
}

ошибочен, потому что метка L1 находится внутри блока утверждения "for", а goto нет.