mirror of
https://github.com/golang/go
synced 2024-11-27 05:31:31 -07:00
9a8372f8bd
The previous CL introduced stack objects. This CL removes the old ambiguously live liveness analysis. After this CL we're relying on stack objects exclusively. Update a bunch of liveness tests to reflect the new world. Fixes #22350 Change-Id: I739b26e015882231011ce6bc1a7f426049e59f31 Reviewed-on: https://go-review.googlesource.com/c/134156 Reviewed-by: Austin Clements <austin@google.com> Reviewed-by: Cherry Zhang <cherryyz@google.com>
41 lines
1.2 KiB
Go
41 lines
1.2 KiB
Go
// errorcheck -0 -m -live
|
|
|
|
// +build !windows,!js
|
|
|
|
// Copyright 2015 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.
|
|
|
|
// Test escape analysis and liveness inferred for syscall.Syscall-like functions.
|
|
|
|
package p
|
|
|
|
import (
|
|
"syscall"
|
|
"unsafe"
|
|
)
|
|
|
|
func f(uintptr) // ERROR "f assuming arg#1 is unsafe uintptr"
|
|
|
|
func g() {
|
|
var t int
|
|
f(uintptr(unsafe.Pointer(&t))) // ERROR "live at call to f: .?autotmp" "g &t does not escape" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
|
|
}
|
|
|
|
func h() {
|
|
var v int
|
|
syscall.Syscall(0, 1, uintptr(unsafe.Pointer(&v)), 2) // ERROR "live at call to Syscall: .?autotmp" "h &v does not escape" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
|
|
}
|
|
|
|
func i() {
|
|
var t int
|
|
p := unsafe.Pointer(&t) // ERROR "i &t does not escape"
|
|
f(uintptr(p)) // ERROR "live at call to f: .?autotmp" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
|
|
}
|
|
|
|
func j() {
|
|
var v int
|
|
p := unsafe.Pointer(&v) // ERROR "j &v does not escape"
|
|
syscall.Syscall(0, 1, uintptr(p), 2) // ERROR "live at call to Syscall: .?autotmp" "stack object .autotmp_[0-9]+ unsafe.Pointer$"
|
|
}
|