6 Statements [stmt.stmt]

6.6 Jump statements [stmt.jump]

6.6.4 The goto statement [stmt.goto]

1

The goto statement unconditionally transfers control to the statement labeled by the identifier. The identifier shall be a label ([stmt.label]) located in the current function.