Giant blob of minor changes

[dotfiles/.git] / .config / coc / extensions / coc-go-data / tools / pkg / mod / golang.org / x / tools@v0.0.0-20201105173854-bc9fc8d8c4bc / go / pointer / testdata / structs.go

diff --git a/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201105173854-bc9fc8d8c4bc/go/pointer/testdata/structs.go b/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201105173854-bc9fc8d8c4bc/go/pointer/testdata/structs.go
new file mode 100644 (file)
index 0000000..9036d60
--- /dev/null
+++ b/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201105173854-bc9fc8d8c4bc/go/pointer/testdata/structs.go
@@ -0,0 +1,100 @@
+// +build ignore
+
+package main
+
+var unknown bool // defeat dead-code elimination
+
+var p, q int
+
+type A struct {
+       f *int
+       g interface{}
+}
+
+func (a A) m1() {
+       print(a.f) // @pointsto main.p
+}
+
+func (a *A) m2() {
+       print(a)   // @pointsto complit.A@struct1s:9
+       print(a.f) // @pointsto main.p
+}
+
+type B struct {
+       h *int
+       A
+}
+
+func structs1() {
+       b := &B{ // @line struct1s
+               h: &q,
+       }
+       b.f = &p
+       b.g = b
+
+       print(b.h) // @pointsto main.q
+       print(b.f) // @pointsto main.p
+       print(b.g) // @types *B
+
+       ptr := &b.f
+       print(*ptr) // @pointsto main.p
+
+       b.m1()
+       b.m2()
+}
+
+// @calls main.structs1 -> (main.A).m1
+// @calls main.structs1 -> (*main.A).m2
+// @calls (*main.B).m1 -> (main.A).m1
+// @calls (*main.B).m2 -> (*main.A).m2
+
+type T struct {
+       x int
+       y int
+}
+
+type S struct {
+       a [3]T
+       b *[3]T
+       c [3]*T
+}
+
+func structs2() {
+       var s S          // @line s2s
+       print(&s)        // @pointsto s@s2s:6
+       print(&s.a)      // @pointsto s.a@s2s:6
+       print(&s.a[0])   // @pointsto s.a[*]@s2s:6
+       print(&s.a[0].x) // @pointsto s.a[*].x@s2s:6
+       print(&s.a[0].y) // @pointsto s.a[*].y@s2s:6
+       print(&s.b)      // @pointsto s.b@s2s:6
+       print(&s.b[0])   // @pointsto
+       print(&s.b[0].x) // @pointsto
+       print(&s.b[0].y) // @pointsto
+       print(&s.c)      // @pointsto s.c@s2s:6
+       print(&s.c[0])   // @pointsto s.c[*]@s2s:6
+       print(&s.c[0].x) // @pointsto
+       print(&s.c[0].y) // @pointsto
+
+       var s2 S          // @line s2s2
+       s2.b = new([3]T)  // @line s2s2b
+       print(s2.b)       // @pointsto new@s2s2b:12
+       print(&s2.b)      // @pointsto s2.b@s2s2:6
+       print(&s2.b[0])   // @pointsto new[*]@s2s2b:12
+       print(&s2.b[0].x) // @pointsto new[*].x@s2s2b:12
+       print(&s2.b[0].y) // @pointsto new[*].y@s2s2b:12
+       print(&s2.c[0].x) // @pointsto
+       print(&s2.c[0].y) // @pointsto
+
+       var s3 S          // @line s2s3
+       s3.c[2] = new(T)  // @line s2s3c
+       print(&s3.c)      // @pointsto s3.c@s2s3:6
+       print(s3.c[1])    // @pointsto new@s2s3c:15
+       print(&s3.c[1])   // @pointsto s3.c[*]@s2s3:6
+       print(&s3.c[1].x) // @pointsto new.x@s2s3c:15
+       print(&s3.c[1].y) // @pointsto new.y@s2s3c:15
+}
+
+func main() {
+       structs1()
+       structs2()
+}