1 files changed, 26 insertions, 0 deletions
diff --git a/test/fixedbugs/issue20250.go b/test/fixedbugs/issue20250.go
new file mode 100644
index 0000000..7c6e796
--- /dev/null
+++ b/test/fixedbugs/issue20250.go
@@ -0,0 +1,26 @@
+// errorcheck -0 -live -l
+
+// 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 \{\}$"
+	// TODO(go.dev/issue/54402): Investigate why "live at entry to
+	// f.func1" is sensitive to regabi.
+	func() { // ERROR "live at entry to f.func1: (a &e|&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
+}