L:
}

// goto into outer block okay
func _() {
	{
		goto L
	}
L:
}

func _() {
	{
		goto L
		goto L1
	}
L: L1:
}

// goto backward into outer block okay
func _() {
L:
	{
		goto L
	}
}

func _() {
L: L1:
	{
		goto L
		goto L1
	}
}

// goto into inner block not okay
func _() {

:stripPomDir
if not "_%POM_DIR:~-1%"=="_\" goto pomDirStripped
set "POM_DIR=%POM_DIR:~0,-1%"
goto stripPomDir
:pomDirStripped
exit /b

:findBaseDir
cd /d "%WDIR%"
set "WDIR=%CD%"
:findBaseDirLoop
if exist ".mvn" goto baseDirFound
cd ..
IF "%WDIR%"=="%CD%" goto baseDirNotFound
set "WDIR=%CD%"
goto findBaseDirLoop

:baseDirFound
set "MAVEN_PROJECTBASEDIR=%WDIR%"
cd /d "%EXEC_DIR%"
goto endDetectBaseDir

set conv=%value:~0,-1%

if "%unit%" == "k" goto kilo
if "%unit%" == "K" goto kilo
if "%unit%" == "m" goto mega
if "%unit%" == "M" goto mega
if "%unit%" == "g" goto giga
if "%unit%" == "G" goto giga

rem no unit found, must be bytes; consider the whole value
set conv=%value%
rem convert to KB
set /a conv=%conv% / 1024
:kilo
rem convert to MB
set /a conv=%conv% / 1024
goto mega
:giga
rem convert to MB

package main

func main() {
	var o any = uint64(5)
	switch o.(type) {
	case int:
		goto ret
	case int8:
		goto ret
	case int16:
		goto ret
	case int32:
		goto ret
	case int64:
		goto ret
	case float32:
		goto ret
	case float64:
		goto ret
	default:
		goto ret
	}
ret:

dist env > env.bat
L23:if errorlevel 1 goto fail
L24:call .\env.bat
L25:del env.bat
L26:
L27:set GOPATH=c:\nonexist-gopath
L28:
L29:if x%1==x--no-rebuild goto norebuild
L30:..\bin\go tool dist test --rebuild
L31:if errorlevel 1 goto fail
L32:goto end
L33:
L34::norebuild
L35:..\bin\go tool dist test
L36:if errorlevel 1 goto fail
L37:goto end
L38:
L39::fail
L40:set GOBUILDFAIL=1
L41:
L42::end
...

script
L38::: unless invoked with --no-local.
L39:if x%1==x-no-local goto nolocal
L40:if x%2==x-no-local goto nolocal
L41:if x%3==x-no-local goto nolocal
L42:if x%4==x-no-local goto nolocal
L43:if x%1==x--no-local goto nolocal
L44:if x%2==x--no-local goto nolocal
L45:if x%3==x--no-local goto nolocal
L46:if x%4==x--no-local goto nolocal
L47:setlocal
L48::nolocal
L49:
L50:set GOBUILDFAIL=0
L51:
L52:if exist make.bat goto ok
L53:echo Must run make.bat from Go src directory.
L54:goto fail
...

	fun := c.Fun("entry",
		Bloc("entry",
			Valu("mem", OpInitMem, types.TypeMem, 0, nil),
			Valu("sb", OpSB, c.config.Types.Uintptr, 0, nil),
			Goto("z0")),
		Bloc("z1",
			Goto("z2")),
		Bloc("z3",
			Goto("exit")),
		Bloc("z2",
			Goto("z3")),
		Bloc("z0",
			Goto("z1")),
		Bloc("exit",
			Exit("mem"),
		))

	CheckFunc(fun.f)
	fuseLate(fun.f)

	for k, b := range fun.blocks {

		if err1 != 0 {
			goto childerror
		}
	}

	// Enable tracing if requested.
	if sys.Ptrace {
		_, _, err1 = RawSyscall(SYS_PTRACE, uintptr(PTRACE_TRACEME), 0, 0)
		if err1 != 0 {
			goto childerror
		}
	}

	// Session ID
	if sys.Setsid {
		_, _, err1 = RawSyscall(SYS_SETSID, 0, 0, 0)
		if err1 != 0 {
			goto childerror
		}
	}

	// Set process group

			_, _, err1 = RawSyscall(SYS_SETGROUPS, ngroups, groups, 0)
			if err1 != 0 {
				goto childerror
			}
		}
		_, _, err1 = RawSyscall(SYS_SETGID, uintptr(cred.Gid), 0, 0)
		if err1 != 0 {
			goto childerror
		}
		_, _, err1 = RawSyscall(SYS_SETUID, uintptr(cred.Uid), 0, 0)
		if err1 != 0 {
			goto childerror
		}
	}

	// Chdir
	if dir != nil {

		continue L1 /* ERROR "invalid continue label L1" */
		continue L2 /* ERROR "invalid continue label L2" */
		continue L3
		goto L1
		goto L2
		goto L3
	}
}

// Blank labels are never declared.

func f4() {
_:
_: // multiple blank labels are ok
	goto _ /* ERROR "label _ not declared" */
}

func f5() {
_:
	for {
		break _ /* ERROR "invalid break label _" */