| // Copyright 2021 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| // go:build ignore |
| |
| package testdata |
| |
| type I interface { |
| Foo() |
| } |
| |
| type A struct { |
| f *I |
| } |
| |
| func (a A) Foo() {} |
| |
| type B struct{} |
| |
| func (b B) Foo() {} |
| |
| func Do(a A, i I, c bool) *I { |
| if c { |
| *a.f = a |
| } else { |
| a.f = &i |
| } |
| (*a.f).Foo() |
| return &i |
| } |
| |
| func Baz(a A, b B, c bool) { |
| x := Do(a, b, c) |
| (*x).Foo() |
| } |
| |
| // The command a.f = &i introduces aliasing that results in |
| // A and B reaching both *A.f and return value of Do(a, b, c). |
| |
| // WANT: |
| // Baz: Do(a, t0, c) -> Do; invoke t2.Foo() -> A.Foo, B.Foo |
| // Do: invoke t8.Foo() -> A.Foo, B.Foo |
