test/uintptrescapes2.go

   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
   9 package p
  10
  11 import (
  12         "unsafe"
  13 )
  14
  15 //go:uintptrescapes
  16 func F1(a uintptr) {} // ERROR "escaping uintptr"
  17
  18 //go:uintptrescapes
  19 func F2(a ...uintptr) {} // ERROR "escaping ...uintptr"
  20
  21 //go:uintptrescapes
  22 func F3(uintptr) {} // ERROR "escaping uintptr"
  23
  24 //go:uintptrescapes
  25 func F4(...uintptr) {} // ERROR "escaping ...uintptr"
  26
  27 type T struct{}
  28
  29 //go:uintptrescapes
  30 func (T) M1(a uintptr) {} // ERROR "escaping uintptr"
  31
  32 //go:uintptrescapes
  33 func (T) M2(a ...uintptr) {} // ERROR "escaping ...uintptr"
  34
  35 func 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
  40 func 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
  45 func 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
  51 func 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
  56 func 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
  61 func 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 }