mirror of
https://github.com/golang/go
synced 2024-11-17 09:04:44 -07:00
4a90cdb03d
This CL interleaves devirtualization and inlining, so that devirtualized calls can be inlined. Fixes #52193. Change-Id: I681e7c55bdb90ebf6df315d334e7a58f05110d9c Reviewed-on: https://go-review.googlesource.com/c/go/+/528321 Auto-Submit: Matthew Dempsky <mdempsky@google.com> Reviewed-by: Than McIntosh <thanm@google.com> Reviewed-by: Cherry Mui <cherryyz@google.com> TryBot-Bypass: Matthew Dempsky <mdempsky@google.com>
47 lines
1.1 KiB
Go
47 lines
1.1 KiB
Go
// errorcheck -0 -m
|
|
|
|
// Copyright 2023 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
|
|
|
|
import (
|
|
"crypto/ecdh"
|
|
"crypto/rand"
|
|
)
|
|
|
|
func F(peerShare []byte) ([]byte, error) { // ERROR "leaking param: peerShare"
|
|
p256 := ecdh.P256() // ERROR "inlining call to ecdh.P256"
|
|
|
|
ourKey, err := p256.GenerateKey(rand.Reader) // ERROR "devirtualizing p256.GenerateKey" "inlining call to ecdh.*GenerateKey"
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
peerPublic, err := p256.NewPublicKey(peerShare) // ERROR "devirtualizing p256.NewPublicKey" "inlining call to ecdh.*NewPublicKey"
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
return ourKey.ECDH(peerPublic)
|
|
}
|
|
|
|
// Test that inlining doesn't break if devirtualization exposes a new
|
|
// inlinable callee.
|
|
|
|
func f() { // ERROR "can inline f"
|
|
var i interface{ m() } = T(0) // ERROR "T\(0\) does not escape"
|
|
i.m() // ERROR "devirtualizing i.m"
|
|
}
|
|
|
|
type T int
|
|
|
|
func (T) m() { // ERROR "can inline T.m"
|
|
if never {
|
|
f() // ERROR "inlining call to f" "devirtualizing i.m" "T\(0\) does not escape"
|
|
}
|
|
}
|
|
|
|
var never bool
|