tree eeeb622fb5056df2a7f85e117b22e0835f785880
parent 72ff0d557624b2ab90f1244559afc26c44bc378d
author Hana <hyangah@gmail.com> 1647119933 -0500
committer Julie Qiu <julie@golang.org> 1648063232 +0000

vulncheck: fix buildSSA's FileSet handling

The FileSet used when building a new ssa program should be
the same FileSet used when building the Package input
because later Position computation is done using the SSA
program's FileSet.

Moreover, enforce this from the Source API level.
If Packages passed to Source were built with different
FileSets, that is an error.

Cherry-picked: https://go-review.googlesource.com/c/exp/+/392374

Change-Id: Icfed7e76520264d7487dcc8accf1a0b71f7fb74f
Reviewed-on: https://go-review.googlesource.com/c/vuln/+/395062
Trust: Julie Qiu <julie@golang.org>
Run-TryBot: Julie Qiu <julie@golang.org>
Reviewed-by: Jonathan Amsterdam <jba@google.com>