From 73df946d56c74384511a194dd01dbe099584fd1a Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 28 Apr 2024 15:14:23 +0200 Subject: Adding upstream version 1.16.10. Signed-off-by: Daniel Baumann --- test/fixedbugs/issue19012.go | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 test/fixedbugs/issue19012.go (limited to 'test/fixedbugs/issue19012.go') diff --git a/test/fixedbugs/issue19012.go b/test/fixedbugs/issue19012.go new file mode 100644 index 0000000..158618a --- /dev/null +++ b/test/fixedbugs/issue19012.go @@ -0,0 +1,25 @@ +// errorcheck + +// Copyright 2017 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. + +// Issue 19012: if we have any unknown type at a call site, +// we must ensure that we return to the user a suppressed +// error message saying instead of including in +// the message. + +package main + +func f(x int, y uint) { + if true { + return "a" > 10 // ERROR "^too many arguments to return$|return with value in function with no return|mismatched types" + } + return "gopher" == true, 10 // ERROR "^too many arguments to return$|return with value in function with no return|mismatched types" +} + +func main() { + f(2, 3 < "x", 10) // ERROR "too many arguments|invalid operation|incompatible type" + + f(10, 10, "a") // ERROR "too many arguments" +} -- cgit v1.2.3