diff options
Diffstat (limited to 'go/pointer/testdata/context.go')
-rw-r--r-- | go/pointer/testdata/context.go | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/go/pointer/testdata/context.go b/go/pointer/testdata/context.go index ed616e7ec..b76c20070 100644 --- a/go/pointer/testdata/context.go +++ b/go/pointer/testdata/context.go @@ -1,3 +1,4 @@ +//go:build ignore // +build ignore package main @@ -16,29 +17,29 @@ func context1() { var t1, t2 T t1.SetX(&a) t2.SetX(&b) - print(t1.GetX()) // @pointsto main.a - print(t2.GetX()) // @pointsto main.b + print(t1.GetX()) // @pointsto command-line-arguments.a + print(t2.GetX()) // @pointsto command-line-arguments.b } func context2() { id := func(x *int) *int { - print(x) // @pointsto main.a | main.b + print(x) // @pointsto command-line-arguments.a | command-line-arguments.b return x } - print(id(&a)) // @pointsto main.a - print(id(&b)) // @pointsto main.b + print(id(&a)) // @pointsto command-line-arguments.a + print(id(&b)) // @pointsto command-line-arguments.b // Same again, but anon func has free vars. var c int // @line context2c id2 := func(x *int) (*int, *int) { - print(x) // @pointsto main.a | main.b + print(x) // @pointsto command-line-arguments.a | command-line-arguments.b return x, &c } p, q := id2(&a) - print(p) // @pointsto main.a + print(p) // @pointsto command-line-arguments.a print(q) // @pointsto c@context2c:6 r, s := id2(&b) - print(r) // @pointsto main.b + print(r) // @pointsto command-line-arguments.b print(s) // @pointsto c@context2c:6 } |