package p

var f func(int)

func Crash() {
l1:
	i := 0
	goto l1
l2:
	f(i)
	goto l2
}

./2.go:5:6: internal compiler error: no witness for reachable phi v8

goroutine 1 [running]:
runtime/debug.Stack(0x0, 0x0, 0x0)
	/home/alberto/go/src/runtime/debug/stack.go:24 +0x79
cmd/compile/internal/gc.Fatalf(0xace2fc, 0x1f, 0xc420014d70, 0x1, 0x1)
	/home/alberto/go/src/cmd/compile/internal/gc/subr.go:175 +0x230
cmd/compile/internal/gc.(*ssafn).Fatalf(0xc4202d87e0, 0x50600000001, 0xace2fc, 0x1f, 0xc420014d70, 0x1, 0x1)
	/home/alberto/go/src/cmd/compile/internal/gc/ssa.go:4892 +0x67
cmd/compile/internal/gc.(*state).Fatalf(0xc4200f60e0, 0xace2fc, 0x1f, 0xc420014d70, 0x1, 0x1)
	/home/alberto/go/src/cmd/compile/internal/gc/ssa.go:286 +0x98
cmd/compile/internal/gc.(*simplePhiState).insertPhis(0xc4203097e0)
	/home/alberto/go/src/cmd/compile/internal/gc/phi.go:499 +0x4a9
cmd/compile/internal/gc.(*state).insertPhis(0xc4200f60e0)
	/home/alberto/go/src/cmd/compile/internal/gc/phi.go:34 +0x172
cmd/compile/internal/gc.buildssa(0xc4200b2140, 0x0)
	/home/alberto/go/src/cmd/compile/internal/gc/ssa.go:185 +0x8a3
cmd/compile/internal/gc.compile(0xc4200b2140)
	/home/alberto/go/src/cmd/compile/internal/gc/pgen.go:302 +0x119
cmd/compile/internal/gc.funccompile(0xc4200b2140)
	/home/alberto/go/src/cmd/compile/internal/gc/dcl.go:1172 +0xb7
cmd/compile/internal/gc.Main(0xada2d8)
	/home/alberto/go/src/cmd/compile/internal/gc/main.go:511 +0x230c
main.main()
	/home/alberto/go/src/cmd/compile/main.go:49 +0x95