From: Robert Griesemer <gri@golang.org>
Date: Tue, 7 Jan 2025 00:22:10 +0000 (-0800)
Subject: cmd/compile/internal/syntax: add test case for invalid label use
X-Git-Tag: go1.24rc2~6^2~8
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=9d0772b23ed8dae1667a3328a72f384eccf812d7;p=gostls13.git

cmd/compile/internal/syntax: add test case for invalid label use

This case is not properly handled by the type checkers (see issue)
but the compiler uses the parser's label checking so it works as
expected.

For #70974.

Change-Id: I0849376bf7514a9a7730846649c3fe28c91f44ca
Reviewed-on: https://go-review.googlesource.com/c/go/+/640895
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Alan Donovan <adonovan@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
---

diff --git a/src/cmd/compile/internal/syntax/testdata/issue70974.go b/src/cmd/compile/internal/syntax/testdata/issue70974.go
new file mode 100644
index 0000000000..ebc69eda95
--- /dev/null
+++ b/src/cmd/compile/internal/syntax/testdata/issue70974.go
@@ -0,0 +1,17 @@
+// Copyright 2025 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.
+
+package p
+
+func _() {
+M:
+L:
+	for range 0 {
+		break L
+		break /* ERROR invalid break label M */ M
+	}
+	for range 0 {
+		break /* ERROR invalid break label L */ L
+	}
+}