Adding upstream version 1.17.13.upstream/1.17.13upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 67 insertions, 0 deletions

diff --git a/test/declbad.go b/test/declbad.go
new file mode 100644
index 0000000..b978652
--- /dev/null
+++ b/test/declbad.go
@@ -0,0 +1,67 @@
+// errorcheck
+
+// Copyright 2009 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.
+
+// Test that incorrect short declarations and redeclarations are detected.
+// Does not compile.
+
+package main
+
+func f1() int                    { return 1 }
+func f2() (float32, int)         { return 1, 2 }
+func f3() (float32, int, string) { return 1, 2, "3" }
+
+func main() {
+	{
+		// simple redeclaration
+		i := f1()
+		i := f1() // ERROR "redeclared|no new"
+		_ = i
+	}
+	{
+		// change of type for f
+		i, f, s := f3()
+		f, g, t := f3() // ERROR "redeclared|cannot assign|incompatible|cannot use"
+		_, _, _, _, _ = i, f, s, g, t
+	}
+	{
+		// change of type for i
+		i, f, s := f3()
+		j, i, t := f3() // ERROR "redeclared|cannot assign|incompatible|cannot use"
+		_, _, _, _, _ = i, f, s, j, t
+	}
+	{
+		// no new variables
+		i, f, s := f3()
+		i, f := f2() // ERROR "redeclared|no new"
+		_, _, _ = i, f, s
+	}
+	{
+		// multiline no new variables
+		i := f1
+		i := func() int { // ERROR "redeclared|no new|incompatible"
+			return 0
+		}
+		_ = i
+	}
+	{
+		// single redeclaration
+		i, f, s := f3()
+		i := 1 // ERROR "redeclared|no new|incompatible"
+		_, _, _ = i, f, s
+	}
+	// double redeclaration
+	{
+		i, f, s := f3()
+		i, f := f2() // ERROR "redeclared|no new"
+		_, _, _ = i, f, s
+	}
+	{
+		// triple redeclaration
+		i, f, s := f3()
+		i, f, s := f3() // ERROR "redeclared|no new"
+		_, _, _ = i, f, s
+	}
+}