3 // Tests of 'pointsto' query.
4 // See go.tools/guru/guru_test.go for explanation.
5 // See pointsto.golden for expected query results.
7 const pi = 3.141 // @pointsto const "pi"
9 var global = new(string) // NB: ssa.Global is indirect, i.e. **string
15 _ = main // @pointsto func-ref-main "main"
16 _ = (*C).f // @pointsto func-ref-*C.f "..C..f"
17 _ = D.f // @pointsto func-ref-D.f "D.f"
18 _ = I.f // @pointsto func-ref-I.f "I.f"
21 _ = d.f // @pointsto func-ref-d.f "d.f"
22 _ = i.f // @pointsto func-ref-i.f "i.f"
26 _ = d.f // @pointsto ref-lexical-d.f "d.f"
28 _ = anon // @pointsto ref-anon "anon"
29 _ = global // @pointsto ref-global "global"
31 // SSA affords some local flow sensitivity.
33 var x = &a // @pointsto var-def-x-1 "x"
34 _ = x // @pointsto var-ref-x-1 "x"
35 x = &b // @pointsto var-def-x-2 "x"
36 _ = x // @pointsto var-ref-x-2 "x"
38 i = new(C) // @pointsto var-ref-i-C "i"
40 i = D{} // @pointsto var-ref-i-D "i"
42 print(i) // @pointsto var-ref-i "\\bi\\b"
44 m := map[string]*int{"a": &a}
45 mapval, _ := m["a"] // @pointsto map-lookup,ok "m..a.."
46 _ = mapval // @pointsto mapval "mapval"
47 _ = m // @pointsto m "m"
50 panic(3) // @pointsto builtin-panic "panic"
53 // NB: s.f is addressable per (*ssa.Program).VarValue,
54 // but our query concerns the object, not its address.
55 s := struct{ f interface{} }{f: make(chan bool)}
56 print(s.f) // @pointsto var-ref-s-f "s.f"
59 func livecode() {} // @pointsto func-live "livecode"
61 func deadcode() { // @pointsto func-dead "deadcode"
62 // Pointer analysis can't run on dead code.
63 var b = new(int) // @pointsto b "b"