1// +build ignore
2
3package main
4
5var unknown bool // defeat dead-code elimination
6
7var p, q int
8
9type A struct {
10	f *int
11	g interface{}
12}
13
14func (a A) m1() {
15	print(a.f) // @pointsto main.p
16}
17
18func (a *A) m2() {
19	print(a)   // @pointsto complit.A@struct1s:9
20	print(a.f) // @pointsto main.p
21}
22
23type B struct {
24	h *int
25	A
26}
27
28func structs1() {
29	b := &B{ // @line struct1s
30		h: &q,
31	}
32	b.f = &p
33	b.g = b
34
35	print(b.h) // @pointsto main.q
36	print(b.f) // @pointsto main.p
37	print(b.g) // @types *B
38
39	ptr := &b.f
40	print(*ptr) // @pointsto main.p
41
42	b.m1()
43	b.m2()
44}
45
46// @calls main.structs1 -> (main.A).m1
47// @calls main.structs1 -> (*main.A).m2
48// @calls (*main.B).m1 -> (main.A).m1
49// @calls (*main.B).m2 -> (*main.A).m2
50
51type T struct {
52	x int
53	y int
54}
55
56type S struct {
57	a [3]T
58	b *[3]T
59	c [3]*T
60}
61
62func structs2() {
63	var s S          // @line s2s
64	print(&s)        // @pointsto s@s2s:6
65	print(&s.a)      // @pointsto s.a@s2s:6
66	print(&s.a[0])   // @pointsto s.a[*]@s2s:6
67	print(&s.a[0].x) // @pointsto s.a[*].x@s2s:6
68	print(&s.a[0].y) // @pointsto s.a[*].y@s2s:6
69	print(&s.b)      // @pointsto s.b@s2s:6
70	print(&s.b[0])   // @pointsto
71	print(&s.b[0].x) // @pointsto
72	print(&s.b[0].y) // @pointsto
73	print(&s.c)      // @pointsto s.c@s2s:6
74	print(&s.c[0])   // @pointsto s.c[*]@s2s:6
75	print(&s.c[0].x) // @pointsto
76	print(&s.c[0].y) // @pointsto
77
78	var s2 S          // @line s2s2
79	s2.b = new([3]T)  // @line s2s2b
80	print(s2.b)       // @pointsto new@s2s2b:12
81	print(&s2.b)      // @pointsto s2.b@s2s2:6
82	print(&s2.b[0])   // @pointsto new[*]@s2s2b:12
83	print(&s2.b[0].x) // @pointsto new[*].x@s2s2b:12
84	print(&s2.b[0].y) // @pointsto new[*].y@s2s2b:12
85	print(&s2.c[0].x) // @pointsto
86	print(&s2.c[0].y) // @pointsto
87
88	var s3 S          // @line s2s3
89	s3.c[2] = new(T)  // @line s2s3c
90	print(&s3.c)      // @pointsto s3.c@s2s3:6
91	print(s3.c[1])    // @pointsto new@s2s3c:15
92	print(&s3.c[1])   // @pointsto s3.c[*]@s2s3:6
93	print(&s3.c[1].x) // @pointsto new.x@s2s3c:15
94	print(&s3.c[1].y) // @pointsto new.y@s2s3c:15
95}
96
97func main() {
98	structs1()
99	structs2()
100}
101