| 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() {} |