+++ /dev/null
-package main
-
-// Tests of 'pointsto' queries, -format=json.
-// See go.tools/guru/guru_test.go for explanation.
-// See pointsto-json.golden for expected query results.
-
-func main() { //
- var s struct{ x [3]int }
- p := &s.x[0] // @pointsto val-p "p"
- _ = p
-
- var i I = C(0)
- if i == nil {
- i = new(D)
- }
- print(i) // @pointsto val-i "\\bi\\b"
-}
-
-type I interface {
- f()
-}
-
-type C int
-type D struct{}
-
-func (c C) f() {}
-func (d *D) f() {}