diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-16 19:23:18 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-16 19:23:18 +0000 |
commit | 43a123c1ae6613b3efeed291fa552ecd909d3acf (patch) | |
tree | fd92518b7024bc74031f78a1cf9e454b65e73665 /test/escape_unsafe.go | |
parent | Initial commit. (diff) | |
download | golang-1.20-43a123c1ae6613b3efeed291fa552ecd909d3acf.tar.xz golang-1.20-43a123c1ae6613b3efeed291fa552ecd909d3acf.zip |
Adding upstream version 1.20.14.upstream/1.20.14upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | test/escape_unsafe.go | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/test/escape_unsafe.go b/test/escape_unsafe.go new file mode 100644 index 0000000..56c536f --- /dev/null +++ b/test/escape_unsafe.go @@ -0,0 +1,69 @@ +// 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 unsafe.Pointer rules. + +package escape + +import ( + "reflect" + "unsafe" +) + +// (1) Conversion of a *T1 to Pointer to *T2. + +func convert(p *float64) *uint64 { // ERROR "leaking param: p to result ~r0 level=0$" + return (*uint64)(unsafe.Pointer(p)) +} + +// (3) Conversion of a Pointer to a uintptr and back, with arithmetic. + +func arithAdd() unsafe.Pointer { + var x [2]byte // ERROR "moved to heap: x" + return unsafe.Pointer(uintptr(unsafe.Pointer(&x[0])) + 1) +} + +func arithSub() unsafe.Pointer { + var x [2]byte // ERROR "moved to heap: x" + return unsafe.Pointer(uintptr(unsafe.Pointer(&x[1])) - 1) +} + +func arithMask() unsafe.Pointer { + var x [2]byte // ERROR "moved to heap: x" + return unsafe.Pointer(uintptr(unsafe.Pointer(&x[1])) &^ 1) +} + +// (5) Conversion of the result of reflect.Value.Pointer or +// reflect.Value.UnsafeAddr from uintptr to Pointer. + +// BAD: should be "leaking param: p to result ~r0 level=0$" +func valuePointer(p *int) unsafe.Pointer { // ERROR "leaking param: p$" + return unsafe.Pointer(reflect.ValueOf(p).Pointer()) +} + +// BAD: should be "leaking param: p to result ~r0 level=0$" +func valueUnsafeAddr(p *int) unsafe.Pointer { // ERROR "leaking param: p$" + return unsafe.Pointer(reflect.ValueOf(p).Elem().UnsafeAddr()) +} + +// (6) Conversion of a reflect.SliceHeader or reflect.StringHeader +// Data field to or from Pointer. + +func fromSliceData(s []int) unsafe.Pointer { // ERROR "leaking param: s to result ~r0 level=0$" + return unsafe.Pointer((*reflect.SliceHeader)(unsafe.Pointer(&s)).Data) +} + +func fromStringData(s string) unsafe.Pointer { // ERROR "leaking param: s to result ~r0 level=0$" + return unsafe.Pointer((*reflect.StringHeader)(unsafe.Pointer(&s)).Data) +} + +func toSliceData(s *[]int, p unsafe.Pointer) { // ERROR "s does not escape" "leaking param: p$" + (*reflect.SliceHeader)(unsafe.Pointer(s)).Data = uintptr(p) +} + +func toStringData(s *string, p unsafe.Pointer) { // ERROR "s does not escape" "leaking param: p$" + (*reflect.StringHeader)(unsafe.Pointer(s)).Data = uintptr(p) +} |