8 Statements [stmt.stmt]

8.6 Jump statements [stmt.jump]

8.6.5 The goto statement [stmt.goto]

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