blob: 461f5c7a553e8fdc6e8ee90ccd0ab357f79cab46 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
// 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 main
import "./a"
func main() {
// Test that inlined type switches without short variable
// declarations work correctly.
check(0, a.F(nil)) // ERROR "inlining call to a.F"
check(1, a.F(0)) // ERROR "inlining call to a.F" "does not escape"
check(2, a.F(0.0)) // ERROR "inlining call to a.F" "does not escape"
check(3, a.F("")) // ERROR "inlining call to a.F" "does not escape"
// Test that inlined type switches with short variable
// declarations work correctly.
_ = a.G(nil).(*interface{}) // ERROR "inlining call to a.G"
_ = a.G(1).(*int) // ERROR "inlining call to a.G" "does not escape"
_ = a.G(2.0).(*float64) // ERROR "inlining call to a.G" "does not escape"
_ = (*a.G("").(*interface{})).(string) // ERROR "inlining call to a.G" "does not escape"
_ = (*a.G(([]byte)(nil)).(*interface{})).([]byte) // ERROR "inlining call to a.G" "does not escape"
_ = (*a.G(true).(*interface{})).(bool) // ERROR "inlining call to a.G" "does not escape"
}
//go:noinline
func check(want, got int) {
if want != got {
println("want", want, "but got", got)
}
}
|