test/fixedbugs/issue20250.go

// 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
}