5 var unknown bool // defeat dead-code elimination
15 print(a.f) // @pointsto main.p
19 print(a) // @pointsto complit.A@struct1s:9
20 print(a.f) // @pointsto main.p
29 b := &B{ // @line struct1s
35 print(b.h) // @pointsto main.q
36 print(b.f) // @pointsto main.p
37 print(b.g) // @types *B
40 print(*ptr) // @pointsto main.p
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
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
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
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