diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 13:14:23 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 13:14:23 +0000 |
commit | 73df946d56c74384511a194dd01dbe099584fd1a (patch) | |
tree | fd0bcea490dd81327ddfbb31e215439672c9a068 /test/escape_indir.go | |
parent | Initial commit. (diff) | |
download | golang-1.16-73df946d56c74384511a194dd01dbe099584fd1a.tar.xz golang-1.16-73df946d56c74384511a194dd01dbe099584fd1a.zip |
Adding upstream version 1.16.10.upstream/1.16.10upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | test/escape_indir.go | 160 |
1 files changed, 160 insertions, 0 deletions
diff --git a/test/escape_indir.go b/test/escape_indir.go new file mode 100644 index 0000000..12005e3 --- /dev/null +++ b/test/escape_indir.go @@ -0,0 +1,160 @@ +// errorcheck -0 -m -l + +// 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 when assigning to indirections. + +package escape + +var sink interface{} + +type ConstPtr struct { + p *int + c ConstPtr2 + x **ConstPtr +} + +type ConstPtr2 struct { + p *int + i int +} + +func constptr0() { + i := 0 // ERROR "moved to heap: i" + x := &ConstPtr{} // ERROR "&ConstPtr{} does not escape" + // BAD: i should not escape here + x.p = &i + _ = x +} + +func constptr01() *ConstPtr { + i := 0 // ERROR "moved to heap: i" + x := &ConstPtr{} // ERROR "&ConstPtr{} escapes to heap" + x.p = &i + return x +} + +func constptr02() ConstPtr { + i := 0 // ERROR "moved to heap: i" + x := &ConstPtr{} // ERROR "&ConstPtr{} does not escape" + x.p = &i + return *x +} + +func constptr03() **ConstPtr { + i := 0 // ERROR "moved to heap: i" + x := &ConstPtr{} // ERROR "&ConstPtr{} escapes to heap" "moved to heap: x" + x.p = &i + return &x +} + +func constptr1() { + i := 0 // ERROR "moved to heap: i" + x := &ConstPtr{} // ERROR "&ConstPtr{} escapes to heap" + x.p = &i + sink = x +} + +func constptr2() { + i := 0 // ERROR "moved to heap: i" + x := &ConstPtr{} // ERROR "&ConstPtr{} does not escape" + x.p = &i + sink = *x // ERROR "\*x escapes to heap" +} + +func constptr4() *ConstPtr { + p := new(ConstPtr) // ERROR "new\(ConstPtr\) escapes to heap" + *p = *&ConstPtr{} // ERROR "&ConstPtr{} does not escape" + return p +} + +func constptr5() *ConstPtr { + p := new(ConstPtr) // ERROR "new\(ConstPtr\) escapes to heap" + p1 := &ConstPtr{} // ERROR "&ConstPtr{} does not escape" + *p = *p1 + return p +} + +// BAD: p should not escape here +func constptr6(p *ConstPtr) { // ERROR "leaking param content: p" + p1 := &ConstPtr{} // ERROR "&ConstPtr{} does not escape" + *p1 = *p + _ = p1 +} + +func constptr7() **ConstPtr { + p := new(ConstPtr) // ERROR "new\(ConstPtr\) escapes to heap" "moved to heap: p" + var tmp ConstPtr2 + p1 := &tmp + p.c = *p1 + return &p +} + +func constptr8() *ConstPtr { + p := new(ConstPtr) // ERROR "new\(ConstPtr\) escapes to heap" + var tmp ConstPtr2 + p.c = *&tmp + return p +} + +func constptr9() ConstPtr { + p := new(ConstPtr) // ERROR "new\(ConstPtr\) does not escape" + var p1 ConstPtr2 + i := 0 // ERROR "moved to heap: i" + p1.p = &i + p.c = p1 + return *p +} + +func constptr10() ConstPtr { + x := &ConstPtr{} // ERROR "moved to heap: x" "&ConstPtr{} escapes to heap" + i := 0 // ERROR "moved to heap: i" + var p *ConstPtr + p = &ConstPtr{p: &i, x: &x} // ERROR "&ConstPtr{...} does not escape" + var pp **ConstPtr + pp = &p + return **pp +} + +func constptr11() *ConstPtr { + i := 0 // ERROR "moved to heap: i" + p := new(ConstPtr) // ERROR "new\(ConstPtr\) escapes to heap" + p1 := &ConstPtr{} // ERROR "&ConstPtr{} does not escape" + p1.p = &i + *p = *p1 + return p +} + +func foo(p **int) { // ERROR "p does not escape" + i := 0 // ERROR "moved to heap: i" + y := p + *y = &i +} + +func foo1(p *int) { // ERROR "p does not escape" + i := 0 // ERROR "moved to heap: i" + y := &p + *y = &i +} + +func foo2() { + type Z struct { + f **int + } + x := new(int) // ERROR "moved to heap: x" "new\(int\) escapes to heap" + sink = &x + var z Z + z.f = &x + p := z.f + i := 0 // ERROR "moved to heap: i" + *p = &i +} + +var global *byte + +func f() { + var x byte // ERROR "moved to heap: x" + global = &*&x +} |