From 47ab3d4a42e9ab51c465c4322d2ec233f6324e6b Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 28 Apr 2024 15:16:40 +0200 Subject: Adding upstream version 1.18.10. Signed-off-by: Daniel Baumann --- test/fixedbugs/issue14006.go | 67 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100644 test/fixedbugs/issue14006.go (limited to 'test/fixedbugs/issue14006.go') diff --git a/test/fixedbugs/issue14006.go b/test/fixedbugs/issue14006.go new file mode 100644 index 0000000..9cad2b4 --- /dev/null +++ b/test/fixedbugs/issue14006.go @@ -0,0 +1,67 @@ +// errorcheck + +// Copyright 2016 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. + +// Literals that happen to resolve to named constants +// may be used as label names (see issue 13684). Make +// sure that other literals don't crash the compiler. + +package main + +const labelname = 1 + +func main() { + goto labelname +labelname: +} + +func f() { + var x int + switch x { + case 1: + 2: // ERROR "unexpected :|expected .*;.* or .*}.* or newline|value computed is not used" + case 2: + } + + switch x { + case 1: + 2: ; // ERROR "unexpected :|expected .*;.* or .*}.* or newline|value computed is not used" + case 2: + } + + var y string + switch y { + case "foo": + "bar": // ERROR "unexpected :|expected .*;.* or .*}.* or newline|value computed is not used" + case "bar": + } + + switch y { + case "foo": + "bar": ; // ERROR "unexpected :|expected .*;.* or .*}.* or newline|value computed is not used" + case "bar": + } + + var z bool + switch { + case z: + labelname: // ERROR "missing statement after label" + case false: + } +} + +func g() { + var z bool + switch { + case z: + labelname: // ERROR "label labelname defined and not used|previous definition|defined and not used" + } + + switch { + case z: + labelname: ; // ERROR "label labelname already defined at LINE-5|label .*labelname.* already defined" + case false: + } +} -- cgit v1.2.3