Gecko [ 167.86.127.34 ]

Name	Size	Permission
blank.src	203 B	-rw-r--r--
builtins.src	23.77 KB	-rw-r--r--
const0.src	8.32 KB	-rw-r--r--
const1.src	8.04 KB	-rw-r--r--
constdecl.src	3.02 KB	-rw-r--r--
conversions.src	1.71 KB	-rw-r--r--
conversions2.src	5.07 KB	-rw-r--r--
cycles.src	2.79 KB	-rw-r--r--
cycles1.src	781 B	-rw-r--r--
cycles2.src	1.21 KB	-rw-r--r--
cycles3.src	675 B	-rw-r--r--
cycles4.src	1.76 KB	-rw-r--r--
cycles5.src	2.91 KB	-rw-r--r--
decls0.src	3.91 KB	-rw-r--r--
decls1.src	3.57 KB	-rw-r--r--
decls2a.src	3.11 KB	-rw-r--r--
decls2b.src	1.87 KB	-rw-r--r--
decls3.src	4.17 KB	-rw-r--r--
decls4.src	2.99 KB	-rw-r--r--
decls5.src	363 B	-rw-r--r--
errors.src	1.9 KB	-rw-r--r--
expr0.src	3.39 KB	-rw-r--r--
expr1.src	2.57 KB	-rw-r--r--
expr2.src	4.63 KB	-rw-r--r--
expr3.src	14.87 KB	-rw-r--r--
gotos.src	5.77 KB	-rw-r--r--
importC.src	1.21 KB	-rw-r--r--
importdecl0a.src	1.24 KB	-rw-r--r--
importdecl0b.src	1000 B	-rw-r--r--
importdecl1a.src	521 B	-rw-r--r--
importdecl1b.src	260 B	-rw-r--r--
init0.src	1.91 KB	-rw-r--r--
init1.src	1.46 KB	-rw-r--r--
init2.src	3.51 KB	-rw-r--r--
issue23203a.src	306 B	-rw-r--r--
issue23203b.src	306 B	-rw-r--r--
issue25008a.src	260 B	-rw-r--r--
issue25008b.src	198 B	-rw-r--r--
issue26390.src	241 B	-rw-r--r--
issue28251.src	1.23 KB	-rw-r--r--
issue6977.src	2.33 KB	-rw-r--r--
issues.src	9.83 KB	-rw-r--r--
labels.src	3.25 KB	-rw-r--r--
literals.src	2.35 KB	-rw-r--r--
methodsets.src	3.16 KB	-rw-r--r--
shifts.src	12.02 KB	-rw-r--r--
stmt0.src	17.79 KB	-rw-r--r--
stmt1.src	3.31 KB	-rw-r--r--
vardecl.src	5.27 KB	-rw-r--r--

Code Editor : gotos.src

// Copyright 2011 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// This file is a modified copy of $GOROOT/test/goto.go.

package gotos

var (
	i, n int
	x    []int
	c    chan int
	m    map[int]int
	s    string
)

// goto after declaration okay
func _() {
	x := 1
	goto L
L:
	_ = x
}

// goto before declaration okay
func _() {
	goto L
L:
	x := 1
	_ = x
}

// goto across declaration not okay
func _() {
	goto L /* ERROR "goto L jumps over variable declaration at line 36" */
	x := 1
	_ = x
L:
}

// goto across declaration in inner scope okay
func _() {
	goto L
	{
		x := 1
		_ = x
	}
L:
}

// goto across declaration after inner scope not okay
func _() {
	goto L /* ERROR "goto L jumps over variable declaration at line 58" */
	{
		x := 1
		_ = x
	}
	x := 1
	_ = x
L:
}

// goto across declaration in reverse okay
func _() {
L:
	x := 1
	_ = x
	goto L
}

func _() {
L: L1:
	x := 1
	_ = x
	goto L
	goto L1
}

// error shows first offending variable
func _() {
	goto L /* ERROR "goto L jumps over variable declaration at line 84" */
	x := 1
	_ = x
	y := 1
	_ = y
L:
}

// goto not okay even if code path is dead
func _() {
	goto L /* ERROR "goto L jumps over variable declaration" */
	x := 1
	_ = x
	y := 1
	_ = y
	return
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 _() {
	goto L /* ERROR "goto L jumps into block" */
	{
	L:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	goto L1 /* ERROR "goto L1 jumps into block" */
	{
	L: L1:
	}
}

// goto backward into inner block still not okay
func _() {
	{
	L:
	}
	goto L /* ERROR "goto L jumps into block" */
}

func _() {
	{
	L: L1:
	}
	goto L /* ERROR "goto L jumps into block" */
	goto L1 /* ERROR "goto L1 jumps into block" */
}

// error shows first (outermost) offending block
func _() {
	goto L /* ERROR "goto L jumps into block" */
	{
		{
			{
			L:
			}
		}
	}
}

// error prefers block diagnostic over declaration diagnostic
func _() {
	goto L /* ERROR "goto L jumps into block" */
	x := 1
	_ = x
	{
	L:
	}
}

// many kinds of blocks, all invalid to jump into or among,
// but valid to jump out of

// if

func _() {
L:
	if true {
		goto L
	}
}

func _() {
L:
	if true {
		goto L
	} else {
	}
}

func _() {
L:
	if false {
	} else {
		goto L
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	if true {
	L:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	if true {
	L:
	} else {
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	if true {
	} else {
	L:
	}
}

func _() {
	if false {
	L:
	} else {
		goto L /* ERROR "goto L jumps into block" */
	}
}

func _() {
	if true {
		goto L /* ERROR "goto L jumps into block" */
	} else {
	L:
	}
}

func _() {
	if true {
		goto L /* ERROR "goto L jumps into block" */
	} else if false {
	L:
	}
}

func _() {
	if true {
		goto L /* ERROR "goto L jumps into block" */
	} else if false {
	L:
	} else {
	}
}

func _() {
	if true {
		goto L /* ERROR "goto L jumps into block" */
	} else if false {
	} else {
	L:
	}
}

func _() {
	if true {
		goto L /* ERROR "goto L jumps into block" */
	} else {
		L:
	}
}

func _() {
	if true {
		L:
	} else {
		goto L /* ERROR "goto L jumps into block" */
	}
}

// for

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

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

func _() {
	for {
	L:
	}
	goto L /* ERROR "goto L jumps into block" */
}

func _() {
	for {
		goto L
	L1:
	}
L:
	goto L1 /* ERROR "goto L1 jumps into block" */
}

func _() {
	for i < n {
	L:
	}
	goto L /* ERROR "goto L jumps into block" */
}

func _() {
	for i = 0; i < n; i++ {
	L:
	}
	goto L /* ERROR "goto L jumps into block" */
}

func _() {
	for i = range x {
	L:
	}
	goto L /* ERROR "goto L jumps into block" */
}

func _() {
	for i = range c {
	L:
	}
	goto L /* ERROR "goto L jumps into block" */
}

func _() {
	for i = range m {
	L:
	}
	goto L /* ERROR "goto L jumps into block" */
}

func _() {
	for i = range s {
	L:
	}
	goto L /* ERROR "goto L jumps into block" */
}

// switch

func _() {
L:
	switch i {
	case 0:
		goto L
	}
}

func _() {
L:
	switch i {
	case 0:

default:
		goto L
	}
}

func _() {
	switch i {
	case 0:

default:
	L:
		goto L
	}
}

func _() {
	switch i {
	case 0:

default:
		goto L
	L:
	}
}

func _() {
	switch i {
	case 0:
		goto L
	L:
		;
	default:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	switch i {
	case 0:
	L:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	switch i {
	case 0:
	L:
		;
	default:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	switch i {
	case 0:
	default:
	L:
	}
}

func _() {
	switch i {
	default:
		goto L /* ERROR "goto L jumps into block" */
	case 0:
	L:
	}
}

func _() {
	switch i {
	case 0:
	L:
		;
	default:
		goto L /* ERROR "goto L jumps into block" */
	}
}

// select
// different from switch.  the statement has no implicit block around it.

func _() {
L:
	select {
	case <-c:
		goto L
	}
}

func _() {
L:
	select {
	case c <- 1:

default:
		goto L
	}
}

func _() {
	select {
	case <-c:

default:
	L:
		goto L
	}
}

func _() {
	select {
	case c <- 1:

default:
		goto L
	L:
	}
}

func _() {
	select {
	case <-c:
		goto L
	L:
		;
	default:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	select {
	case c <- 1:
	L:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	select {
	case c <- 1:
	L:
		;
	default:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	select {
	case <-c:
	default:
	L:
	}
}

func _() {
	select {
	default:
		goto L /* ERROR "goto L jumps into block" */
	case <-c:
	L:
	}
}

func _() {
	select {
	case <-c:
	L:
		;
	default:
		goto L /* ERROR "goto L jumps into block" */
	}
}

${this.title}

Code Editor : gotos.src