| -------- @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 any 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?) |