File: iface.go

package info (click to toggle)
golang-golang-x-tools 1%3A0.0~git20190125.d66bd3c%2Bds-4
  • links: PTS, VCS
  • area: main
  • in suites: buster, buster-backports
  • size: 8,912 kB
  • sloc: asm: 1,394; yacc: 155; makefile: 109; sh: 108; ansic: 17; xml: 11
file content (65 lines) | stat: -rw-r--r-- 965 bytes parent folder | download | duplicates (5)
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
//+build ignore

package main

// Test of interface calls.  None of the concrete types are ever
// instantiated or converted to interfaces.

type I interface {
	f()
}

type J interface {
	f()
	g()
}

type C int // implements I

func (*C) f()

type D int // implements I and J

func (*D) f()
func (*D) g()

func one(i I, j J) {
	i.f() // calls *C and *D
}

func two(i I, j J) {
	j.f() // calls *D (but not *C, even though it defines method f)
}

func three(i I, j J) {
	j.g() // calls *D
}

func four(i I, j J) {
	Jf := J.f
	if unknown {
		Jf = nil // suppress SSA constant propagation
	}
	Jf(nil) // calls *D
}

func five(i I, j J) {
	jf := j.f
	if unknown {
		jf = nil // suppress SSA constant propagation
	}
	jf() // calls *D
}

var unknown bool

// WANT:
// Dynamic calls
//   (J).f$bound --> (*D).f
//   (J).f$thunk --> (*D).f
//   five --> (J).f$bound
//   four --> (J).f$thunk
//   one --> (*C).f
//   one --> (*D).f
//   three --> (*D).g
//   two --> (*D).f