-------- @pointsto const -------- Error: pointer analysis wants an expression of reference type; got untyped float -------- @pointsto func-ref-main -------- this func() may point to these objects: pointsto.main -------- @pointsto func-ref-*C.f -------- this func() may point to these objects: (*pointsto.C).f -------- @pointsto func-ref-D.f -------- this func() may point to these objects: (pointsto.D).f -------- @pointsto func-ref-I.f -------- Error: func (pointsto.I).f() is an interface method -------- @pointsto func-ref-d.f -------- this func() may point to these objects: (pointsto.D).f -------- @pointsto func-ref-i.f -------- Error: func (pointsto.I).f() is an interface method -------- @pointsto ref-lexical-d.f -------- this func() may point to these objects: (pointsto.D).f -------- @pointsto ref-anon -------- this func() may point to these objects: pointsto.main$1 -------- @pointsto ref-global -------- this *string may point to these objects: new -------- @pointsto var-def-x-1 -------- this *int may point to these objects: a -------- @pointsto var-ref-x-1 -------- this *int may point to these objects: a -------- @pointsto var-def-x-2 -------- this *int may point to these objects: b -------- @pointsto var-ref-x-2 -------- this *int may point to these objects: b -------- @pointsto var-ref-i-C -------- this I may contain these dynamic types: *C, may point to: new -------- @pointsto var-ref-i-D -------- this I may contain these dynamic types: D -------- @pointsto var-ref-i -------- this I may contain these dynamic types: *C, may point to: new D -------- @pointsto map-lookup,ok -------- Error: pointer analysis wants an expression of reference type; got (*int, bool) -------- @pointsto mapval -------- this *int may point to these objects: a -------- @pointsto m -------- this map[string]*int may point to these objects: makemap -------- @pointsto builtin-panic -------- Error: pointer analysis wants an expression of reference type; got () -------- @pointsto var-ref-s-f -------- this interface{} may contain these dynamic types: chan bool, may point to: makechan -------- @pointsto func-live -------- Error: pointer analysis did not find expression (dead code?) -------- @pointsto func-dead -------- Error: pointer analysis did not find expression (dead code?) -------- @pointsto b -------- Error: pointer analysis did not find expression (dead code?)