1// errorcheck -0 -l -m -live
2
3// Copyright 2016 The Go Authors. All rights reserved.
4// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
7// Test escape analysis and liveness inferred for uintptrescapes functions.
8
9package p
10
11import (
12	"unsafe"
13)
14
15//go:uintptrescapes
16func F1(a uintptr) {} // ERROR "escaping uintptr"
17
18//go:uintptrescapes
19func F2(a ...uintptr) {} // ERROR "escaping ...uintptr"
20
21//go:uintptrescapes
22func F3(uintptr) {} // ERROR "escaping uintptr"
23
24//go:uintptrescapes
25func F4(...uintptr) {} // ERROR "escaping ...uintptr"
26
27type T struct{}
28
29//go:uintptrescapes
30func (T) M1(a uintptr) {} // ERROR "escaping uintptr"
31
32//go:uintptrescapes
33func (T) M2(a ...uintptr) {} // ERROR "escaping ...uintptr"
34
35func TestF1() {
36	var t int                        // ERROR "moved to heap"
37	F1(uintptr(unsafe.Pointer(&t)))  // ERROR "live at call to F1: .?autotmp" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
38}
39
40func TestF3() {
41	var t2 int                       // ERROR "moved to heap"
42	F3(uintptr(unsafe.Pointer(&t2))) // ERROR "live at call to F3: .?autotmp" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
43}
44
45func TestM1() {
46	var t T
47	var v int                         // ERROR "moved to heap"
48	t.M1(uintptr(unsafe.Pointer(&v))) // ERROR "live at call to T.M1: .?autotmp" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
49}
50
51func TestF2() {
52	var v int                                 // ERROR "moved to heap"
53	F2(0, 1, uintptr(unsafe.Pointer(&v)), 2)  // ERROR "live at call to newobject: .?autotmp" "live at call to F2: .?autotmp" "escapes to heap" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
54}
55
56func TestF4() {
57	var v2 int                                // ERROR "moved to heap"
58	F4(0, 1, uintptr(unsafe.Pointer(&v2)), 2) // ERROR "live at call to newobject: .?autotmp" "live at call to F4: .?autotmp" "escapes to heap" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
59}
60
61func TestM2() {
62	var t T
63	var v int                                  // ERROR "moved to heap"
64	t.M2(0, 1, uintptr(unsafe.Pointer(&v)), 2) // ERROR "live at call to newobject: .?autotmp" "live at call to T.M2: .?autotmp"  "escapes to heap" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
65}
66