mirror of
https://github.com/golang/go
synced 2024-10-01 07:38:32 -06:00
e99e9a6e01
The compiler renames anonymous and blank result parameters to ~rN or ~bN, but the current semantics for computing N are rather annoying and difficult to reproduce cleanly. They also lead to difficult to read escape analysis results in tests. This CL changes N to always be calculated as the parameter's index within the function's result parameter tuple. E.g., if a function has a single result, it will now always be named "~r0". The normative change to this CL is fairly simple, but it requires updating a lot of test expectations. Change-Id: I58a3c94de00cb822cb94efe52d115531193c993c Reviewed-on: https://go-review.googlesource.com/c/go/+/323010 Trust: Matthew Dempsky <mdempsky@google.com> Trust: Dan Scales <danscales@google.com> Run-TryBot: Matthew Dempsky <mdempsky@google.com> TryBot-Result: Go Bot <gobot@golang.org> Reviewed-by: Dan Scales <danscales@google.com>
31 lines
727 B
Go
31 lines
727 B
Go
// Copyright 2020 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 a
|
|
|
|
type I interface{ M() }
|
|
type T int
|
|
|
|
func (T) M() {} // ERROR "can inline T.M"
|
|
|
|
func E() I { // ERROR "can inline E"
|
|
return T(0) // ERROR "T\(0\) escapes to heap"
|
|
}
|
|
|
|
func F(i I) I { // ERROR "can inline F" "leaking param: i to result ~r0 level=0"
|
|
i = nil
|
|
return i
|
|
}
|
|
|
|
func g() {
|
|
h := E() // ERROR "inlining call to E" "T\(0\) does not escape"
|
|
h.M() // ERROR "devirtualizing h.M to T"
|
|
|
|
// BAD: T(0) could be stack allocated.
|
|
i := F(T(0)) // ERROR "inlining call to F" "T\(0\) escapes to heap"
|
|
|
|
// Testing that we do NOT devirtualize here:
|
|
i.M()
|
|
}
|