tree 4a2a33f72113d549a16292bda164a749d368315a
parent e0b9cf74f60215fbb96eab9fc3c7e2ee2de2df71
author Zvonimir Pavlinovic <zpavlinovic@google.com> 1622068339 -0700
committer Zvonimir Pavlinovic <zpavlinovic@google.com> 1623257588 +0000

vta: adds VTA graph propagation functionality

The propagation consists of two steps. First, VTA graph is converted to
a DAG by computing SCCs (resolving any graph loops) and then types and
higher-order functions are propagated through the DAG.

The results of this propagation are used in the final step to create a
call graph. That CL comes after this one.

Change-Id: Ib66a9401885d4105f3b6a68d5a0007f306882144
Reviewed-on: https://go-review.googlesource.com/c/tools/+/323050
Run-TryBot: Zvonimir Pavlinovic <zpavlinovic@google.com>
gopls-CI: kokoro <noreply+kokoro@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Trust: Zvonimir Pavlinovic <zpavlinovic@google.com>
Reviewed-by: Roland Shoemaker <roland@golang.org>