// 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 {
	I
}

func (a *A) Do() {
	a.Foo()
}

type B struct{}

func (b B) Foo() {}

func NewA(b B) *A {
	return &A{I: &b}
}

func Baz(b B) {
	a := NewA(b)
	a.Do()
}

// Relevant SSA:
// func Baz(b B):
//        t0 = local B (b)
//        *t0 = b
//        t1 = *t0
//        t2 = NewA(t1)
//        t3 = (*A).Do(t2)
//        return
//
// func (a *A) Do():
//        t0 = &a.I [#0]
//        t1 = *t0
//        t2 = invoke t1.Foo()
//        return
//
// Name: (testdata.A).Foo
// Synthetic: wrapper for func (testdata.I).Foo()
// Location: testdata/callgraph_fields.go:10:2
// func (arg0 testdata.A) Foo():
//	  t0 = local testdata.A ()
//        *t0 = arg0
//        t1 = &t0.I [#0]
//        t2 = *t1
//        t3 = invoke t2.Foo()
//        return
//
// Name: (*testdata.A).Foo
// Synthetic: wrapper for func (testdata.I).Foo()
// Location: testdata/callgraph_fields.go:10:2
// func (arg0 *testdata.A) Foo():
//        t0 = &arg0.I [#0]
//        t1 = *t0
//        t2 = invoke t1.Foo()
//        return
//
// func (b B) Foo():
//        t0 = local B (b)
//        *t0 = b
//        return
//
// func (b *testdata.B) Foo():
//        t0 = ssa:wrapnilchk(b, "testdata.B":string, "Foo":string)
//        t1 = *t0
//        t2 = (testdata.B).Foo(t1)
//        return
//
// func NewA(b B) *A:
//        t0 = new B (b)
//        *t0 = b
//        t1 = new A (complit)
//        t2 = &t1.I [#0]
//        t3 = make I <- *B (t0)
//        *t2 = t3
//        return t1

// WANT:
// Baz: (*A).Do(t2) -> A.Do; NewA(t1) -> NewA
// A.Do: invoke t1.Foo() -> B.Foo