From f6ad4dcef54c5ce997a4bad5a6d86de229015700 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 16 Apr 2024 21:25:22 +0200 Subject: Adding upstream version 1.22.1. Signed-off-by: Daniel Baumann --- test/fixedbugs/issue27557.go | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 test/fixedbugs/issue27557.go (limited to 'test/fixedbugs/issue27557.go') diff --git a/test/fixedbugs/issue27557.go b/test/fixedbugs/issue27557.go new file mode 100644 index 0000000..f609b27 --- /dev/null +++ b/test/fixedbugs/issue27557.go @@ -0,0 +1,41 @@ +// errorcheck -0 -l -m + +// 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. + +package p + +var sink interface{} + +func f1() { + var t T + f := t.noescape // ERROR "t.noescape does not escape" + f() +} + +func f2() { + var t T // ERROR "moved to heap" + f := t.escape // ERROR "t.escape does not escape" + f() +} + +func f3() { + var t T // ERROR "moved to heap" + f := t.returns // ERROR "t.returns does not escape" + sink = f() +} + +type T struct{} + +func (t *T) noescape() {} // ERROR "t does not escape" +func (t *T) escape() { sink = t } // ERROR "leaking param: t$" +func (t *T) returns() *T { return t } // ERROR "leaking param: t to result ~r0 level=0" + +func (t *T) recursive() { // ERROR "leaking param: t$" + sink = t + + var t2 T // ERROR "moved to heap" + f := t2.recursive // ERROR "t2.recursive does not escape" + f() +} -- cgit v1.2.3