blob: e9c6f862ebad51db0d7c9ffa698e623d2e77601c (
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
33
34
35
36
37
38
39
40
|
// run
// Copyright 2016 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.
// This checks partially initialized structure literals
// used to create value.method functions have their
// non-initialized fields properly zeroed/nil'd
package main
type X struct {
A, B, C *int
}
//go:noinline
func (t X) Print() {
if t.B != nil {
panic("t.B must be nil")
}
}
//go:noinline
func caller(f func()) {
f()
}
//go:noinline
func test() {
var i, j int
x := X{A: &i, C: &j}
caller(func() { X{A: &i, C: &j}.Print() })
caller(X{A: &i, C: &j}.Print)
caller(x.Print)
}
func main() {
test()
}
|
