| // 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() string |
| } |
| |
| type J interface { |
| Foo() string |
| Bar() |
| } |
| |
| type B struct { |
| p string |
| } |
| |
| func (b B) Foo() string { return b.p } |
| func (b B) Bar() {} |
| |
| func Baz(m map[I]I, b1, b2 B, n map[string]*J) *J { |
| m[b1] = b2 |
| |
| return n[b1.Foo()] |
| } |
| |
| // Relevant SSA: |
| // func Baz(m map[I]I, b1 B, b2 B, n map[string]*J) *J: |
| // t0 = local B (b1) |
| // *t0 = b1 |
| // t1 = local B (b2) |
| // *t1 = b2 |
| // t2 = *t0 |
| // t3 = make I <- B (t2) |
| // t4 = *t1 |
| // t5 = make I <- B (t4) |
| // m[t3] = t5 |
| // t6 = *t0 |
| // t7 = (B).Foo(t6) |
| // t8 = n[t7] |
| // return t8 |
| |
| // WANT: |
| // Local(t4) -> Local(t5) |
| // Local(t5) -> MapValue(testdata.I) |
| // Local(t3) -> MapKey(testdata.I) |
| // Local(t8) -> MapValue(*testdata.J) |
| // MapValue(*testdata.J) -> Local(t8) |
