summaryrefslogtreecommitdiffstats
path: root/test/escape_sync_atomic.go
diff options
context:
space:
mode:
Diffstat (limited to 'test/escape_sync_atomic.go')
-rw-r--r--test/escape_sync_atomic.go38
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 0000000..e509b37
--- /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: addr to result ~r1 level=1$".
+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))
+}