| // 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 internal/runtime/atomic. |
| |
| package escape |
| |
| import ( |
| "internal/runtime/atomic" |
| "unsafe" |
| ) |
| |
| // BAD: should always be "leaking param: addr to result ~r0 level=1$". |
| func Loadp(addr unsafe.Pointer) unsafe.Pointer { // ERROR "leaking param: addr( to result ~r0 level=1)?$" |
| return atomic.Loadp(addr) |
| } |
| |
| var ptr unsafe.Pointer |
| |
| func Storep() { |
| var x int // ERROR "moved to heap: x" |
| atomic.StorepNoWB(unsafe.Pointer(&ptr), unsafe.Pointer(&x)) |
| } |
| |
| func Casp1() { |
| // BAD: should always be "does not escape" |
| x := new(int) // ERROR "escapes to heap|does not escape" |
| var y int // ERROR "moved to heap: y" |
| atomic.Casp1(&ptr, unsafe.Pointer(x), unsafe.Pointer(&y)) |
| } |