Home | History | Annotate | Download | only in test 
      1 // errorcheck
      2 
      3 // Copyright 2011 The Go Authors. All rights reserved.
      4 // Use of this source code is governed by a BSD-style
      5 // license that can be found in the LICENSE file.
      6 
      7 // Verify that erroneous labels are caught by the compiler.
      8 // This set is caught by pass 2. That's why this file is label1.go.
      9 // Does not compile.
     10 
     11 package main
     12 
     13 var x int
     14 
     15 func f1() {
     16 	switch x {
     17 	case 1:
     18 		continue // ERROR "continue is not in a loop$"
     19 	}
     20 	select {
     21 	default:
     22 		continue // ERROR "continue is not in a loop$"
     23 	}
     24 
     25 }
     26 
     27 func f2() {
     28 L1:
     29 	for {
     30 		if x == 0 {
     31 			break L1
     32 		}
     33 		if x == 1 {
     34 			continue L1
     35 		}
     36 		goto L1
     37 	}
     38 
     39 L2:
     40 	select {
     41 	default:
     42 		if x == 0 {
     43 			break L2
     44 		}
     45 		if x == 1 {
     46 			continue L2 // ERROR "invalid continue label .*L2|continue is not in a loop$"
     47 		}
     48 		goto L2
     49 	}
     50 
     51 	for {
     52 		if x == 1 {
     53 			continue L2 // ERROR "invalid continue label .*L2"
     54 		}
     55 	}
     56 
     57 L3:
     58 	switch {
     59 	case x > 10:
     60 		if x == 11 {
     61 			break L3
     62 		}
     63 		if x == 12 {
     64 			continue L3 // ERROR "invalid continue label .*L3|continue is not in a loop$"
     65 		}
     66 		goto L3
     67 	}
     68 
     69 L4:
     70 	if true {
     71 		if x == 13 {
     72 			break L4 // ERROR "invalid break label .*L4"
     73 		}
     74 		if x == 14 {
     75 			continue L4 // ERROR "invalid continue label .*L4|continue is not in a loop$"
     76 		}
     77 		if x == 15 {
     78 			goto L4
     79 		}
     80 	}
     81 
     82 L5:
     83 	f2()
     84 	if x == 16 {
     85 		break L5 // ERROR "invalid break label .*L5"
     86 	}
     87 	if x == 17 {
     88 		continue L5 // ERROR "invalid continue label .*L5|continue is not in a loop$"
     89 	}
     90 	if x == 18 {
     91 		goto L5
     92 	}
     93 
     94 	for {
     95 		if x == 19 {
     96 			break L1 // ERROR "invalid break label .*L1"
     97 		}
     98 		if x == 20 {
     99 			continue L1 // ERROR "invalid continue label .*L1"
    100 		}
    101 		if x == 21 {
    102 			goto L1
    103 		}
    104 	}
    105 
    106 	continue // ERROR "continue is not in a loop$"
    107 	for {
    108 		continue on // ERROR "continue label not defined: on"
    109 	}
    110 
    111 	break // ERROR "break is not in a loop, switch, or select"
    112 	for {
    113 		break dance // ERROR "break label not defined: dance"
    114 	}
    115 
    116 	for {
    117 		switch x {
    118 		case 1:
    119 			continue
    120 		}
    121 	}
    122 }
    123