diff options
author | Matthew Dempsky <mdempsky@google.com> | 2019-04-16 16:32:26 -0700 |
---|---|---|
committer | Matthew Dempsky <mdempsky@google.com> | 2019-04-17 16:36:30 +0000 |
commit | 52d9ce89ef71d95a4ce5f1a92155bb0c0b811957 (patch) | |
tree | 4692a7760f3d15add410155b6c361eb0d876f127 /test/escape_sync_atomic.go | |
parent | 755b50952c9571202322bf63a42254ea8ea5655c (diff) | |
download | go-52d9ce89ef71d95a4ce5f1a92155bb0c0b811957.tar.gz go-52d9ce89ef71d95a4ce5f1a92155bb0c0b811957.zip |
test: add escape regress tests for runtime and sync atomics
There weren't any tests to make sure these work correctly, and this
led to escape analysis regressions in both linux/s390x and js/wasm.
The underlying issue that cmd/compile is only getting some of these
correct because escape analysis doesn't understand //go:linkname is
still present, but at least this addresses the fragility aspect.
Updates #15283.
Change-Id: I546aee1899d098b2e3de45e9b33c3ca22de485f8
Reviewed-on: https://go-review.googlesource.com/c/go/+/172420
Run-TryBot: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Austin Clements <austin@google.com>
Diffstat (limited to 'test/escape_sync_atomic.go')
-rw-r--r-- | test/escape_sync_atomic.go | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/test/escape_sync_atomic.go b/test/escape_sync_atomic.go new file mode 100644 index 0000000000..8da71a0ccf --- /dev/null +++ b/test/escape_sync_atomic.go @@ -0,0 +1,38 @@ +// errorcheck -0 -m -l + +// Copyright 2019 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 for sync/atomic. + +package escape + +import ( + "sync/atomic" + "unsafe" +) + +// BAD: should be "leaking param content". +func LoadPointer(addr *unsafe.Pointer) unsafe.Pointer { // ERROR "leaking param: addr" + return atomic.LoadPointer(addr) +} + +var ptr unsafe.Pointer + +func StorePointer() { + var x int // ERROR "moved to heap: x" + atomic.StorePointer(&ptr, unsafe.Pointer(&x)) +} + +func SwapPointer() { + var x int // ERROR "moved to heap: x" + atomic.SwapPointer(&ptr, unsafe.Pointer(&x)) +} + +func CompareAndSwapPointer() { + // BAD: x doesn't need to be heap allocated + var x int // ERROR "moved to heap: x" + var y int // ERROR "moved to heap: y" + atomic.CompareAndSwapPointer(&ptr, unsafe.Pointer(&x), unsafe.Pointer(&y)) +} |