go/callgraph/vta/testdata/maps.go

// 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)