tree 9e42b08ad5f81ccf2e1c9958226616d594ea2c87
parent 6f095b4f2ae61fc6789e92f8b43cf0541e23531c
author Tim King <taking@google.com> 1673922027 -0800
committer Tim King <taking@google.com> 1673976744 +0000

go/ssa: sanity check the types of phi nodes

Adds a sanity check that the types of phi edges are types.Identical
to the Phi instruction.

This would have caught golang/go#57790.

Change-Id: I9818fc47fda368bfc009bfe4de66e23de759f6ca
Reviewed-on: https://go-review.googlesource.com/c/tools/+/462050
gopls-CI: kokoro <noreply+kokoro@google.com>
Reviewed-by: Alan Donovan <adonovan@google.com>
Run-TryBot: Tim King <taking@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>