File: issue20250.go

package info (click to toggle)
golang-1.10 1.10.7-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 91,752 kB
  • sloc: asm: 66,540; ansic: 8,037; sh: 1,283; perl: 1,137; xml: 623; python: 309; makefile: 119; cpp: 22; f90: 8; awk: 7
file content (28 lines) | stat: -rw-r--r-- 905 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
// errorcheck -0 -live -l -d=compilelater,eagerwb

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

// TODO(austin): This expects function calls to the write barrier, so
// we enable the legacy eager write barrier. Fix this once the
// buffered write barrier works on all arches.

package p

type T struct {
	s string
}

func f(a T) { // ERROR "live at entry to f: a"
	var e interface{}
	func() { // ERROR "live at entry to f.func1: a &e"
		e = a.s // ERROR "live at call to convT2Estring: a &e" "live at call to writebarrierptr: a"
	}() // ERROR "live at call to f.func1: e$"
	// Before the fix, both a and e were live at the previous line.
	_ = e
}