+++ /dev/null
--------- @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?)