go/callgraph/vta/testdata/src/callgraph_ho.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

func Foo() {}

func Do(b bool) func() {
	if b {
		return Foo
	}
	return func() {}
}

func Finish(h func()) {
	h()
}

func Baz(b bool) {
	Finish(Do(b))
}

// Relevant SSA:
// func Baz(b bool):
//   t0 = Do(b)
//   t1 = Finish(t0)
//   return

// func Do(b bool) func():
//   if b goto 1 else 2
//  1:
//   return Foo
//  2:
//   return Do$1

// func Finish(h func()):
//   t0 = h()
//   return

// WANT:
// Baz: Do(b) -> Do; Finish(t0) -> Finish
// Finish: h() -> Do$1, Foo