some deletions
[dotfiles/.git] / .config / coc / extensions / coc-go-data / tools / pkg / mod / golang.org / x / tools@v0.0.0-20201028153306-37f0764111ff / cmd / guru / testdata / src / reflection / main.go
diff --git a/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201028153306-37f0764111ff/cmd/guru/testdata/src/reflection/main.go b/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201028153306-37f0764111ff/cmd/guru/testdata/src/reflection/main.go
deleted file mode 100644 (file)
index 392643b..0000000
+++ /dev/null
@@ -1,30 +0,0 @@
-package main
-
-// This is a test of 'pointsto', but we split it into a separate file
-// so that pointsto.go doesn't have to import "reflect" each time.
-
-import "reflect"
-
-var a int
-var b bool
-
-func main() {
-       m := make(map[*int]*bool)
-       m[&a] = &b
-
-       mrv := reflect.ValueOf(m)
-       if a > 0 {
-               mrv = reflect.ValueOf(&b)
-       }
-       if a > 0 {
-               mrv = reflect.ValueOf(&a)
-       }
-
-       _ = mrv                  // @pointsto mrv "mrv"
-       p1 := mrv.Interface()    // @pointsto p1 "p1"
-       p2 := mrv.MapKeys()      // @pointsto p2 "p2"
-       p3 := p2[0]              // @pointsto p3 "p3"
-       p4 := reflect.TypeOf(p1) // @pointsto p4 "p4"
-
-       _, _, _, _ = p1, p2, p3, p4
-}