summaryrefslogtreecommitdiffstats
path: root/test/fixedbugs/issue20250.go
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-16 19:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-16 19:19:13 +0000
commitccd992355df7192993c666236047820244914598 (patch)
treef00fea65147227b7743083c6148396f74cd66935 /test/fixedbugs/issue20250.go
parentInitial commit. (diff)
downloadgolang-1.21-ccd992355df7192993c666236047820244914598.tar.xz
golang-1.21-ccd992355df7192993c666236047820244914598.zip
Adding upstream version 1.21.8.upstream/1.21.8
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'test/fixedbugs/issue20250.go')
-rw-r--r--test/fixedbugs/issue20250.go27
1 files changed, 27 insertions, 0 deletions
diff --git a/test/fixedbugs/issue20250.go b/test/fixedbugs/issue20250.go
new file mode 100644
index 0000000..c739b6f
--- /dev/null
+++ b/test/fixedbugs/issue20250.go
@@ -0,0 +1,27 @@
+// errorcheck -0 -live -l
+
+//go:build !goexperiment.cgocheck2
+// +build !goexperiment.cgocheck2
+
+// 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 20250: liveness differed with concurrent compilation
+// due to propagation of addrtaken to outer variables for
+// closure variables.
+
+package p
+
+type T struct {
+ s [2]string
+}
+
+func f(a T) { // ERROR "live at entry to f: a$"
+ var e interface{} // ERROR "stack object e interface \{\}$"
+ func() { // ERROR "live at entry to f.func1: &e a$"
+ e = a.s // ERROR "live at call to convT: &e$" "stack object a T$"
+ }()
+ // Before the fix, both a and e were live at the previous line.
+ _ = e
+}